March 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-18 11:20:17 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Be more general with respect to different ways of raising Prolog exceptions in C code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-18 10:47:32 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Bug in comment for ppl_Polyhedron_OK fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-18 10:22:07 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Repeated declaration removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-18 08:57:26 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Bug fixed in documentation of ppl_Polyhedron_OK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Patricia Hill 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-18 08:38:38 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Bug fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-18 08:25:26 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: The "with_token" predicates added for the extrapolation operators. The ppl_Polyhedron_OK predicate added. The documentation predicates reorganised to match the standard ordering. Tests added for the new predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 17 Mar '03

17 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-17 09:31:38 Modified files: interfaces/C : ppl_c.h Log message: Comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 17 Mar '03

17 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-17 09:05:56 Modified files: interfaces/Prolog: pl_check.pl Log message: Many improvements and extra tests added. 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 Roberto Bagnara 16 Mar '03

16 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-16 22:35:16 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Default arguments are only permitted on functions. 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 16 Mar '03

16 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-16 22:26:45 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Prefer anonymous namespaces to static linkage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0