October 2002 - PPL-devel - BUGSENG Mailman

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

w3ppl/htdocs Documentation/bibliography.raw Li ...
by Roberto Bagnara 31 Oct '02

31 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-31 06:59:48 Modified files: htdocs/Documentation: bibliography.raw htdocs/Links : Links.raw Log message: Added a link to "Ada 95 Quality and Style: Guidelines for Professional Programmers". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-30 21:23:26 Modified files: src : Polyhedron.inlines.hh Log message: Two problems with the current implementation of Polyhedron::shrink_bounding_box() flagged. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl ./NEWS src/Polyhedron.defs.hh src/Polyhedr ...
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-30 21:20:10 Modified files: . : NEWS src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: New boolean parameter for template <typename Box> void Polyhedron::shrink_bounding_box(Box& box, bool polynomial) const: when true it specifies the bounding box must be shrunk in polynomial time. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.46… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: roberto(a)cs.unipr.it 2002-10-30 17:36:55 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : Makefile.am Removed files: tests : stronglyminimize1.cc stronglyminimize2.cc stronglyminimize3.cc Log message: Got rid of Polyhedron::strongly_minimize(). Patches: 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… 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/stronglyminimize1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize3.cc.di…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-30 17:32:50 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : Makefile.am Removed files: tests : stronglyminimize1.cc stronglyminimize2.cc stronglyminimize3.cc Log message: Got rid of Polyhedron::strongly_minimize(). Patches: 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… 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/stronglyminimize1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize3.cc.di…

1 0

ppl/tests NNCminimize5.cc NNCminimize6.cc addc ...
by Elisa Ricci 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-30 17:24:16 Modified files: tests : NNCminimize5.cc NNCminimize6.cc addconstraints3.cc generators1.cc h79widening2.cc h79widening3.cc Log message: Now these tests verify if the used methods do the right thing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize5.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints3.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening3.cc.diff?cv…

1 0

ppl/tests Makefile.am writerelation1.cc operat ...
by Elisa Ricci 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-30 17:18:09 Modified files: tests : Makefile.am Added files: tests : writerelation1.cc operator1.cc Removed files: tests : ascii_dump1.cc Log message: The test ascii_dump1.cc now is called writerealtion1.cc, because it verifies operator<< of Poly_Gen_Relation and Poly_Con_Relation. In operator1.cc put the tests to verify operator>=(const Polyhedron& x, const Polyhedron& y), operator>(const Polyhedron& x, const Polyhedron& y), operator!=(const Polyhedron& x, const Polyhedron& y) and operator<(const Polyhedron& x, const Polyhedron& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writerelation1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/operator1.cc?cvsroot=pp… 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/ascii_dump1.cc.diff?cvs…

1 0

ppl/src Variable.defs.hh
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-30 16:29:50 Modified files: src : Variable.defs.hh Log message: Duplicate `public' specification removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0