June 2002 - PPL-devel - BUGSENG Mailman

ppl interfaces/Prolog/ppl_prolog.icc src/Bound ...
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 11:07:59 Modified files: interfaces/Prolog: ppl_prolog.icc src : BoundingBox.hh ConSys.defs.hh Constraint.defs.hh GenSys.defs.hh Log message: ppl_new_Polyhedron_from_bounding_box/3 sketched. Class Parma_Polyhedra_Library::BoundingBox fixed. Inserted several temporary kludges related to the interaction of templates, access control, and the way we produce ppl_install.hh. 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/src/BoundingBox.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… 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/GenSys.defs.hh.diff?cvsro…

1 0

ppl/interfaces/Prolog clpq2.pl
by Patricia Hill 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-10 10:31:02 Modified files: interfaces/Prolog: clpq2.pl Log message: clpq2.pl now can handle strict constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/src BoundingBox.hh
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 10:13:19 Modified files: src : BoundingBox.hh Log message: Complete this implementation of bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.hh.diff?cvsro…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 10:03:22 Modified files: src : Polyhedron.defs.hh Log message: Fix the comment fix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 10:02:23 Modified files: src : Polyhedron.defs.hh Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests boundingbox1.cc
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 09:56:58 Modified files: tests : boundingbox1.cc Log message: Added operator==() and operator!=() for BInterval and BBox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 09:40:26 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Formatting changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/tests boundingbox1.cc
by Patricia Hill 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-10 09:13:49 Modified files: tests : boundingbox1.cc Log message: Further small improvements to test file boundingbox1.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl tests/boundingbox1.cc interfaces/Prolog/cl ...
by Patricia Hill 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-10 08:41:43 Modified files: tests : boundingbox1.cc interfaces/Prolog: clpq2.pl Log message: boundingbox1.cc is improved but needs further testing. clpq2.pl now works with changed interface predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/tests print.hh
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 08:32:40 Modified files: tests : print.hh Log message: Only declarations here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0