August 2004 - PPL-devel - BUGSENG Mailman

ppl/src Makefile.am
by Enea Zaffanella 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-13 12:00:19 Modified files: src : Makefile.am Log message: ppl.hh and ppl_install.hh also depend on version.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl NEWS
by Roberto Bagnara 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-13 11:33:09 Modified files: . : NEWS Log message: Fixed a bug in the Prolog interface predicate ppl_Polyhedron_get_bounding_box/3 whereby a wrong result was sometimes computed in the case of an empty polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.91…

1 0

ppl/src BoundingBox.inlines.hh
by Roberto Bagnara 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-13 11:29:28 Modified files: src : BoundingBox.inlines.hh Log message: BoundingBox::set_empty() now empties all the intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.di…

1 0

ppl/tests boundingbox1.cc boundingbox2.cc boun ...
by Roberto Bagnara 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-13 11:28:48 Modified files: tests : boundingbox1.cc boundingbox2.cc boundingbox3.cc boundingbox4.cc Log message: Comments fixed. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cv…

1 0

ppl/tests Makefile.am boundingbox5.cc
by Roberto Bagnara 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-13 11:26:57 Modified files: tests : Makefile.am Added files: tests : boundingbox5.cc Log message: New test for Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox5.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-13 10:38:04 Modified files: interfaces/Prolog: pl_check.pl Log message: Improved comments and better sequence of tests for the widening and extrapolation operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-13 08:41:27 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: Use the `:=' operator to PREDEFINE __P: this prevents the definition to be undefined by `#undef'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-13 08:14:08 Modified files: interfaces/Prolog: pl_check.pl Log message: Added simpler test defined by predicate boundingbox_test/0 to show bug in ppl_Polyhedron_get_bounding_box/3 predicate when the polyhedron is empty. Test can be run using check_noisy/0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl ./README doc/devref-browse.doxyconf-latex. ...
by Roberto Bagnara 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-13 00:57:11 Modified files: . : README doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: The file statistics.hh has been removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl TODO
by Enea Zaffanella 13 Aug '04

13 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-13 00:32:30 Modified files: . : TODO Log message: Harmonization of methods Polyhedron::throw_*() dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.78…

1 0