- PPL-devel - BUGSENG Mailman

ppl/src ConSys.defs.hh Constraint.defs.hh GenS ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

1 0

ppl TODO
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 18:36:35 Modified files: . : TODO Log message: There must be a more efficient way to implement bool are_disjoint(const Polyhedron&, const Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/tests NNCminimize1.cc NNCminimize2.cc NNCm ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

1 0

ppl ./NEWS src/AskTell.defs.hh src/AskTell.inl ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

1 0

ppl/src Makefile.am
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 14:38:35 Modified files: src : Makefile.am Log message: Exclude Topology.hh from the generation of user's documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests Makefile.am boundingbox1.cc bounding ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 14:32:35 Modified files: tests : Makefile.am boundingbox1.cc boundingbox2.cc boundingbox3.cc Added files: tests : BBox.cc BBox.hh Log message: Avoid code duplication and some spaghetti-code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc?cvsroot=ppl&rev… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.hh?cvsroot=ppl&rev… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… 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…

1 0

ppl/tests boundingbox1.cc boundingbox3.cc
by Elisa Ricci 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-01 12:03:19 Modified files: tests : boundingbox1.cc boundingbox3.cc Log message: Added operator<=(const BInterval& x, const BInterval& y) and operator<=(const BBox& x, const BBox& y). In the tests, now we verify also if nbox <= pbox. 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/boundingbox3.cc.diff?cv…

1 0

ppl/src Interval.cc
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 10:03:18 Modified files: src : Interval.cc Log message: Always include <iostream>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=…

1 0

ppl/tests Makefile.am boundingbox1.cc bounding ...
by Elisa Ricci 31 Oct '02

31 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-31 18:08:18 Modified files: tests : Makefile.am boundingbox1.cc Added files: tests : boundingbox3.cc Log message: Modified the test boundingbox1.cc to use only necessarily closed polyhedron and to test also Polyhedron::shrink_bounding_box(Box& box, bool polynomial) when polynomial is "true". Put the tests with not necessarily closed polyhedra into boundingbox3.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl/src Interval.cc Interval.inlines.hh Interv ...
by Elisa Ricci 31 Oct '02

31 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-31 18:02:58 Modified files: src : Interval.cc Interval.inlines.hh Interval.defs.hh Polyhedron.inlines.hh Log message: Added :operator<<(std::ostream& s, const ExtendedRational& x). In ExtendedRational(const Integer& num, const Integer& den) we temporary use `canonicalize()'. Added the part that we use if the bounding box must be shrunk in polynomial time (if the generator system of the polyhedron is not up-to-date). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=… 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/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0