- PPL-devel - BUGSENG Mailman

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

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
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 10:08:04 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: extra_linker_opts/1 directive added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/tests Makefile.am writevariable1.cc writeg ...
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 09:58:52 Modified files: tests : Makefile.am Added files: tests : writevariable1.cc Removed files: tests : writegensys4.cc Log message: Properly test operator<<(std::ostream& s, const Variable& v) and the related machinery. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writevariable1.cc?cvsro… 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/writegensys4.cc.diff?cv…

1 0