April 2004 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-04-26 22:41:09 Modified files: interfaces/Prolog: pl_check.pl Log message: Bug fixed in "format_banner" code. Definitions of "make_noisy" and "make_quiet" corrected. Added a new top-level predicate "check_noisy/0" since "check_all" is now forced to be quiet. A redundant temporary test removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Patricia Hill 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-04-26 22:36:50 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Removed unwanted line in ..._relations_with_constraints procedure. Modified .._relations_with_generator procedure to be in line with changes to ..._relations_with_constraints procedure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-26 17:56:45 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Do not call any Prolog_put_*() function on a destination term that does not represent a free variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-26 17:53:45 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Infrastructure for automatic testing with pl_check.pl completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog/XSB xsb_pl_check.P
by Roberto Bagnara 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-26 17:37:42 Modified files: interfaces/Prolog/XSB: xsb_pl_check.P Log message: Initial goal fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_…

1 0

ppl/interfaces/Prolog/XSB Makefile.am xsb_pl_c ...
by Roberto Bagnara 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-26 15:08:03 Modified files: interfaces/Prolog/XSB: Makefile.am Added files: interfaces/Prolog/XSB: xsb_pl_check.P Log message: Use also pl_check.pl when testing the XSB interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-26 15:07:02 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Some assertion fixed: we cannot assume XSB's TRUE evaluates to C++'s true. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog pl_check.pl
by Roberto Bagnara 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-26 14:56:01 Modified files: interfaces/Prolog: pl_check.pl Log message: A predicate is either static or dynamic (noisy/1). The predicate retractall/1 is non-standard: do not use it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_prolog.icc
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:41:25 Modified files: interfaces/Prolog: exceptions.hh ppl_prolog.icc Log message: New error handling code completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl ./depcomp ./install-sh ./mkinstalldirs Wat ...
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:13:40 Modified files: . : depcomp install-sh mkinstalldirs Watchdog : depcomp install-sh mkinstalldirs Log message: Updated from Automake 1.8.4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/depcomp.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/mkinstalldirs.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/depcomp.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/mkinstalldirs.diff?c…

1 0