March 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am exceptions1.cc
by Elisa Ricci 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-03-07 12:24:56 Modified files: tests : Makefile.am Added files: tests : exceptions1.cc Log message: All the tests for the exceptions are now put in this file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/interfaces/Prolog check_script clpq.pl SIC ...
by Roberto Bagnara 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-07 12:11:50 Modified files: interfaces/Prolog: check_script clpq.pl interfaces/Prolog/SICStus: sp_clpq.pl interfaces/Prolog/SWI: Makefile.am pl_clpq.pl Added files: interfaces/Prolog/SWI: pl_clpq.cc Log message: The CLP(Q) interpreter now behaves the same under SICStus and SWI-Prolog. The two version now implement the same `make check' procedure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/check_scrip… 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/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/pl_clpq… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/pl_clpq…

1 0

ppl NEWS
by Enea Zaffanella 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-07 11:52:28 Modified files: . : NEWS Log message: Corrected a cut&paste error and added a note on the bug fixed in Polyhedron::add_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh G ...
by Roberto Bagnara 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-07 11:32:44 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/GNU: ppl_gprolog.cc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: Makefile.am ppl_swiprolog.cc Log message: Use the names Prolog_is_cons and Prolog_get_cons instead of the ambiguous Prolog_is_list and Prolog_get_list. Bugs fixed. The CLP(Q) interpreter now works also under SWI-Prolog. 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/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-07 11:21:35 Modified files: src : GenSys.cc Log message: Adjusted a few comments in GenSys::relation_with(c). Also avoided using the boolean variable first_vertex_or_nonsaturating_ray when c is an equality constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl src/GenSys.cc tests/satisfies4.cc
by Enea Zaffanella 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-07 10:10:44 Modified files: src : GenSys.cc tests : satisfies4.cc Log message: Method Polyhedron::relation_with(c) corrected to work as expected when c is an equality. Test satisfies4, modified to test for the right thing, now is correctly handled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies4.cc.diff?cvsr…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-07 08:39:48 Modified files: src : Polyhedron.cc Log message: "steel" corrected to "steal". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog Makefile.am clpq.pl clpq ...
by Roberto Bagnara 06 Mar '02

06 Mar '02

1 0

ppl src/Polyhedron.defs.hh tests/error21.cc te ...
by Enea Zaffanella 06 Mar '02

06 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-06 19:22:13 Modified files: src : Polyhedron.defs.hh tests : error21.cc error22.cc includes1.cc includes2.cc includes3.cc includes4.cc Log message: Small fix in a comment of Polyhedron.defs.hh. Modified a few tests to let them compile after the API changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error21.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error22.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes1.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes2.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes3.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes4.cc.diff?cvsro…

1 0

ppl ./NEWS src/relations.hh
by Enea Zaffanella 06 Mar '02

06 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-06 15:20:18 Modified files: . : NEWS src : relations.hh Log message: Small change in a comment to enum Relation_Poly_Con. Added to NEWS information about the replacement of includes() and satisfies() by methods relation_with(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/relations.hh.diff?cvsroot…

1 0