- PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am exceptions1.cc exception ...
by Elisa Ricci 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-10 16:46:59 Modified files: tests : Makefile.am exceptions1.cc exceptions2.cc Added files: tests : addgenerator1.cc addgenerator2.cc addgenerators10.cc h79widening4.cc Log message: Added some other tests to verify the functions of Polyhedron.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator2.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators10.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening4.cc.diff?cv… 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/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-09-10 14:50:22 Modified files: src : Polyhedron.cc Log message: Parma_Polyhedra_Library::dimension_type is undefined in PPL 0.4.x. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests bounds2.cc polydifference5.cc polydi ...
by Elisa Ricci 10 Sep '02

10 Sep '02

1 0

ppl ./NEWS src/Polyhedron.cc
by Enea Zaffanella 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-09-10 13:30:17 Modified files: . : NEWS src : Polyhedron.cc Log message: The correction of the bug affecting Polyhedron::operator<=() reported on the ppl_0_4-branch. Bug correction notified in the NEWS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.33… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-10 13:24:24 Modified files: htdocs/Bugs : Bugs.raw Log message: Notified the correction of the bug in Polyhedron::operator<=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl/tests CbecomesNNC1.cc Makefile.am addconst ...
by Elisa Ricci 10 Sep '02

10 Sep '02

1 0

ppl/tests adddimensions10.cc
by Enea Zaffanella 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-10 12:11:10 Modified files: tests : adddimensions10.cc Log message: The old `known_result' was wrong. This was masking the bug in Polyhedron::operator<=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions10.cc.diff…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-10 12:09:55 Modified files: src : Polyhedron.cc Log message: Correcting the bug in operator<=() pointed out by test inclusion2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am inclusion2.cc
by Roberto Bagnara 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-09-10 11:53:29 Modified files: tests : Makefile.am Added files: tests : inclusion2.cc Log message: New test showing a bug in Polyhedron::operator<=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inclusion2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am exceptions1.cc exception ...
by Elisa Ricci 09 Sep '02

09 Sep '02

1 0