- PPL-devel - BUGSENG Mailman

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Enea Zaffanella 01 Oct '02

01 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-01 21:04:36 Modified files: src : Polyhedron.cc tests : Makefile.am Added files: tests : generalizedaffineimage6.cc Log message: Added a first draft implementation for method Polyhedron::generalized_affine_image(const LinExpression& lhs, const char* relation, const LinExpression& rhs, const Integer& denominator); Added a first test to check if it works. 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/tests/generalizedaffineimage6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl doc/definitions.dox src/Polyhedron.cc src/ ...
by Enea Zaffanella 01 Oct '02

01 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-01 14:56:36 Modified files: doc : definitions.dox src : Polyhedron.cc Polyhedron.defs.hh Log message: The specification of the generalized affine image operator further generalized to allow for an arbitrary affine expression in the lhs. Added the declaration of this generalization (with a void implementation). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… 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…

1 0

ppl/tests bbrz02widening6.cc bbrz02widening7.cc
by Elisa Ricci 01 Oct '02

01 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-01 11:56:19 Modified files: tests : bbrz02widening6.cc bbrz02widening7.cc Log message: Modified the polyhedron `known_result' according to the changes of Polyhedron::BBRZ02_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening6.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening7.cc.diff…

1 0

ppl tests/Makefile.am src/Polyhedron.cc tests/ ...
by Elisa Ricci 01 Oct '02

01 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-01 11:22:30 Modified files: tests : Makefile.am src : Polyhedron.cc Added files: tests : generalizedaffineimage5.cc Log message: Corrected an error in Polyhedron::generalized_affine_image(). Added a test to verify this function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage5… 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/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am affinepreimage6.cc excep ...
by Elisa Ricci 30 Sep '02

30 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-30 11:32:02 Modified files: tests : Makefile.am affinepreimage6.cc exceptions1.cc exceptions2.cc Added files: tests : affinepreimage7.cc polyhull7.cc Log message: Added new tests for some methods of the class Polyhedron. Corrected a comment in the test affinepreimage6.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage7.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull7.cc.diff?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/affinepreimage6.cc.diff… 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

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 29 Sep '02

29 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-29 18:37:57 Modified files: htdocs/Credits : Credits.raw Log message: Acknowledge the COFIN 2001 project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl src/ConSys.cc src/ConSys.defs.hh src/GenSy ...
by Roberto Bagnara 29 Sep '02

29 Sep '02

1 0

ppl src/Status.cc tests/Makefile.am tests/asci ...
by Elisa Ricci 29 Sep '02

29 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-29 11:16:53 Modified files: src : Status.cc tests : Makefile.am Added files: tests : ascii_dump_load1.cc Log message: Corrected an error in Status::ASCII_load(std::istream& s). Added a test to verify Polyhedron::ASCII_dump(std::ostream& s) and Polyhedron::ASCII_load(std::istream& s). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

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

27 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 20:29:48 Modified files: htdocs/Bugs : Bugs.raw Log message: Better explanation of the bug affecting affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl ./NEWS tests/affineimage5.cc
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 20:28:40 Modified files: . : NEWS tests : affineimage5.cc Log message: Test affineimage5 made silent. The bug affecting affine_image() could have produced wrong results (not just violate a library invariant). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.38… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage5.cc.diff?cv…

1 0