October 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc
by Enea Zaffanella 17 Oct '02

17 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-17 17:29:06 Modified files: src : Polyhedron.cc Log message: Debugging-purpose output made silent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am ascii_dump_load4.cc rela ...
by Elisa Ricci 17 Oct '02

17 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-17 15:39:56 Modified files: tests : Makefile.am Added files: tests : ascii_dump_load4.cc relations18.cc writepolyhedron3.cc Log message: The ascii_dump_load4.cc test verifies some particular cases of ConSys::ascii_dump(s) and ConSys::ascii_load(s). The relations18.cc test verifies Polyhedron::relation_with(g), where "g" is a closure point and the system of constraints of the polyhedron contains equalities. The writepolyhedron3.cc test verifies operator<<(std::ostream&, const Polyhedron&) with an universe polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load4.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations18.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writepolyhedron3.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests ascii_dump_load1.cc relations17.cc
by Elisa Ricci 17 Oct '02

17 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-17 11:20:27 Modified files: tests : ascii_dump_load1.cc relations17.cc Log message: Added new tests and modified other tests to verify some other methods of the class GenSys. Patches: 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/relations17.cc.diff?cvs…

1 0

ppl/tests writegensys2.cc
by Elisa Ricci 16 Oct '02

16 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-16 19:02:27 Modified files: tests : writegensys2.cc Log message: Now we print the system of generators of an empty polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys2.cc.diff?cv…

1 0

ppl/tests Makefile.am limitedbbrz02widening1.c ...
by Elisa Ricci 16 Oct '02

16 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-16 19:00:38 Modified files: tests : Makefile.am limitedbbrz02widening1.cc Added files: tests : relations17.cc writegensys1.cc writegensys2.cc Log message: Added new tests for the methods of the class GenSys. limitedbbrz02widening1.cc is now silent. Now we do not test nnc_bbrz02widening4.cc and nnc_bbrz02widening7.cc because they contains NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations17.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys1.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys2.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/limitedbbrz02widening1.…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 16 Oct '02

16 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-16 17:08:39 Modified files: src : Polyhedron.cc Log message: Fixed a topology problem in select_H79_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests writepolyhedron2.cc
by Roberto Bagnara 16 Oct '02

16 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-16 15:43:08 Modified files: tests : writepolyhedron2.cc Log message: Inconsistent spacing fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writepolyhedron2.cc.dif…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines. ...
by Enea Zaffanella 16 Oct '02

16 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-16 14:45:31 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.cc Log message: Added static member add_low_level_constraints(ConSys&) to factorize common code adding either the positivity or the epsilon-bound constraints. Patches: 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am bbrz02widening19.cc limi ...
by Elisa Ricci 16 Oct '02

16 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-16 14:36:21 Modified files: tests : Makefile.am Added files: tests : bbrz02widening19.cc limitedbbrz02widening1.cc writepolyhedron2.cc Log message: Added new tests to verify some methods of the class Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening19.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbbrz02widening1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writepolyhedron2.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests hypercubes.cc
by Enea Zaffanella 16 Oct '02

16 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-16 09:51:43 Modified files: tests : hypercubes.cc Log message: Experimenting with closed hypercubes from which we cut vertices using strict inequalities and open duals of hypercubes to which we add (relatively open) facets by adding points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/hypercubes.cc.diff?cvsr…

1 0