- PPL-devel - BUGSENG Mailman

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

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 18:32:05 Modified files: tests : boundingbox1.cc Log message: Made it quiet and corrected a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

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

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 18:24:54 Modified files: tests : boundingbox1.cc boundingbox2.cc Log message: Test file boundingbox1.cc tidied. Small changes to comments in boundingbox2.cc. 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/tests/boundingbox2.cc.diff?cv…

1 0

ppl/src BoundingBox.cc Interval.defs.hh Interv ...
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 17:45:20 Modified files: src : BoundingBox.cc Interval.defs.hh Interval.inlines.hh Makefile.am Polyhedron.inlines.hh Added files: src : BoundingBox.defs.hh BoundingBox.inlines.hh BoundingBox.types.hh Removed files: src : BoundingBox.hh Log message: template <class Box> void Polyhedron::shrink_bounding_box(Box&) redesigned and simplified. Many other improvements in the code for dealing with bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.hh.diff?cvsro…

1 0

ppl/tests boundingbox2.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 17:32:03 Modified files: tests : boundingbox2.cc Log message: Made boundingbox2.cc quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl/tests boundingbox2.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 16:29:23 Modified files: tests : boundingbox2.cc Log message: Some tidying of the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl doc/definitions.dox src/Polyhedron.cc src/ ...
by Enea Zaffanella 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-14 14:49:53 Modified files: doc : definitions.dox src : Polyhedron.cc Polyhedron.defs.hh Log message: Removed strange mixing of short and detailed style doxygen comments, that was causing a warning when building the documentation. Improved the user introduction, adding definition of poly-differences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… 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 ppl_prolog.icc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 12:45:34 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Added to term_to_boundary checks that the input numerator and denominator are integers and that the denominator is positive. 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 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 10:20:52 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: ppl_new_Polyhedron_from_bounding_box() fixed and simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 10:15:09 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added a short description for new_Polyhedron_from_bounding_box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.icc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 09:52:14 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc Log message: Some tidying of the code for ppl_new_Polyhedron_from_bounding_box. Patches: 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.…

1 0