October 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am generalizedaffineimage8.cc
by Elisa Ricci 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 14:39:19 Modified files: tests : Makefile.am Added files: tests : generalizedaffineimage8.cc Log message: Added a new test for Polyhedron::generalized_affine_image(v, r, e, d) in the case of non necessarily closed polyhedron and the relation `>'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage8… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests exceptions2.cc
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 14:30:56 Modified files: tests : exceptions2.cc Log message: Adapted to the new interface of Polyhedron::generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/tests exceptions1.cc
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 14:28:57 Modified files: tests : exceptions1.cc Log message: Adapted to the new interface of Polyhedron::generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs…

1 0

ppl/tests Makefile.am generalizedaffineimage3. ...
by Enea Zaffanella 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-02 14:17:47 Modified files: tests : Makefile.am generalizedaffineimage3.cc Added files: tests : generalizedaffineimage7.cc Log message: Added a new test for method Polyhedron::generalized_affine_image(lhs, relop, rhs, denum) checking that, when lhs has a single variable, the current implementation does have the same behavior of Polyhedron::generalized_affine_image(var, relop, rhs, denum). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage7… 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/generalizedaffineimage3…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 14:08:18 Modified files: tests : Makefile.am Log message: Specify the source for addgenerators11. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am addgenerators11.cc
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 14:02:59 Modified files: tests : Makefile.am Added files: tests : addgenerators11.cc Log message: New test for Polyhedron::add_generators_and_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh s ...
by Enea Zaffanella 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-02 12:39:18 Modified files: src : Polyhedron.cc Polyhedron.defs.hh globals.hh tests : generalizedaffineimage1.cc generalizedaffineimage2.cc generalizedaffineimage3.cc generalizedaffineimage4.cc generalizedaffineimage5.cc generalizedaffineimage6.cc Log message: Added enumeration Relation_Operator to encode the operator <, <=, ==, >=, >. Used the enumeration to specify the relation operator of methods Polyhedron::generalized_affine_image(). Patched the tests to use the enumeration instead of string encodings. 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/src/globals.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage5… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage6…

1 0

ppl/src ConSys.cc
by Elisa Ricci 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 12:05:58 Modified files: src : ConSys.cc Log message: Modified ConSys::adjust_topology_and_dimension() so that if the system of constraints was sorted, does not contains strict inequalities and is not necessarily closed and if the new topology is NECESSARILY_CLOSED, we sort the system again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl src/ConSys.cc tests/Makefile.am tests/addc ...
by Elisa Ricci 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 11:20:35 Modified files: src : ConSys.cc tests : Makefile.am Added files: tests : addconstraints12.cc Log message: Corrected an error in ConSys::adjust_topology_and_dimension: now we erase the constraints 0 <= \epsilon <= 1 if the system of constraints does not contains strict inequalities and is not necessarily closed and the new topology is NECESSARILY_CLOSED. Added a test to verify this function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints12.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests topclosed3.cc
by Elisa Ricci 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 10:19:04 Modified files: tests : topclosed3.cc Log message: Added the comment to explain what this test does. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed3.cc.diff?cvsr…

1 0