April 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 15:18:45 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Now constraint_term() supports strict inequalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/tests inclusion1.cc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 15:03:14 Modified files: tests : inclusion1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inclusion1.cc.diff?cvsr…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 14:58:07 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: a_strictly_greater_than and a_strictly_less_than renamed a_greater_than and a_less_than. 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 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 14:50:30 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Throw an exception instead of aborting in generator_term(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc GNU/ppl_g ...
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 14:13:25 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/GNU: ppl_gprolog.cc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: General cleanup. 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/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/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog clpq.pl ppl_prolog.icc
by Patricia Hill 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-19 13:45:56 Modified files: interfaces/Prolog: clpq.pl ppl_prolog.icc Log message: The order of arguments in the revised predicates is input followed by output. The ppl_prolog.icc now has code to handle strict inequalities and closure points. clpq.pl has been updated to use the revised predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 11:52:49 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: ppl_delete_polyhedron/2 renamed ppl_delete_Polyhedron/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog ppl_prolog.icc SICStus/p ...
by Patricia Hill 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-19 11:44:07 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: The code for ppl_new_NNC_Polyhedron_from_GenSys uncommented. 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/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/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog ppl_prolog.icc SICStus/p ...
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 10:45:15 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: ppl_delete_polyhedron renamed ppl_delete_Polyhedron. SP_STUB_0 macro fixed. 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/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 10:44:00 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Added missing semicolons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0