October 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus ppl_check.pl ppl ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 17:59:57 Modified files: interfaces/Prolog/SICStus: ppl_check.pl ppl_sicstus.cc ppl_sicstus.pl Log message: ppl_new_polyhedron/1 replaced with ppl_new_polyhedron/2 and ppl_new_empty_polyhedron/2. Patches: 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/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

`space_dim' branch merged back
by Roberto Bagnara 27 Oct '01

27 Oct '01

Dear all, the `space_dim' branch has been merged back to the main trunk. In order to avoid confusion, the best thing to do is not to use that branch any longer. In any case, I have tagged both the branch and the trunk so that the occasional commit to the dead branch will not be lost. Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl doc/definitions.dox src/Constraint.defs.hh ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-27 15:30:16 Modified files: src : Polyhedron.cc Log message: In Polyhedron::insert(const Generator&) added generator type check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Enea Zaffanella 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-27 15:24:36 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Polyhedron.cc Polyhedron.defs.hh Log message: Default constructor for Constraint is now private and not implemented. In Polyhedron::insert(const Generator&) we should check that the generator is a vertex if the polyhedron is empty (we cannot add just a ray or a line). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc p ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 15:12:18 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl Log message: ppl_widening_assign/2 added. Patches: 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/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc p ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 15:00:43 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl Log message: ppl_intersection_assign/2 and ppl_convex_hull_assign/2 added. Try to be as const-correct as possible. Patches: 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/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus ppl_check.pl ppl ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 14:45:48 Modified files: interfaces/Prolog/SICStus: ppl_check.pl ppl_sicstus.cc ppl_sicstus.pl Log message: ppl_check_empty/1 added. Patches: 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/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 14:31:13 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: SP_register_atom() and SP_unregister_atom() can fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus ppl_check.pl ppl ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 14:14:06 Modified files: interfaces/Prolog/SICStus: ppl_check.pl ppl_sicstus.cc ppl_sicstus.pl Log message: ppl_insert_generator/2 added. Patches: 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/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0