October 2002 - PPL-devel - BUGSENG Mailman

ppl/src LinExpression.cc
by Roberto Bagnara 28 Oct '02

28 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-10-28 08:14:48 Modified files: src : LinExpression.cc Log message: Fixed a bug in LinExpression::operator-=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs…

1 0

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

28 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-10-28 08:04:37 Modified files: tests : Makefile.am Added files: tests : linexpression1.cc Log message: This test shows a bug in LinExpression::operator-=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linexpression1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 26 Oct '02

26 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-26 14:28:04 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

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

25 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-25 20:01:11 Modified files: src : Polyhedron.inlines.hh Log message: Definitions of num_cons() and num_gens(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl src/Polyhedron.defs.hh tests/hypercubes.cc
by Enea Zaffanella 25 Oct '02

25 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-25 19:47:50 Modified files: src : Polyhedron.defs.hh tests : hypercubes.cc Log message: Added methods for printing sizes of (low-level) con_sys and gen_sys. 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/tests/hypercubes.cc.diff?cvsr…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 25 Oct '02

25 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-25 18:42:24 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraHZ02TR added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

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

25 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-25 18:35:13 Modified files: src : Polyhedron.cc Log message: n strong minimization of constraints, force all strict inequalities to have the same epsilon coefficient. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

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

25 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-25 18:33:04 Modified files: tests : hypercubes.cc Log message: Test exploiting smf's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/hypercubes.cc.diff?cvsr…

1 0

ppl/tests Makefile.am ascii_dump_load4.cc asci ...
by Elisa Ricci 25 Oct '02

25 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-25 12:42:06 Modified files: tests : Makefile.am ascii_dump_load4.cc Added files: tests : ascii_dump_load5.cc Log message: Added some new test to verify ascii_dump() and ascii_load(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load5.cc?cvs… 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_dump_load4.cc.dif…

1 0

ppl/tests Makefile.am ascii_dump_load4.cc writ ...
by Elisa Ricci 24 Oct '02

24 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-24 18:07:59 Modified files: tests : Makefile.am ascii_dump_load4.cc Added files: tests : writegensys3.cc Log message: Added a new test to verify operator<<(std::ostream&, const GenSys&). Erased form ascii_dump_load4.cc an unused const char*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys3.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/ascii_dump_load4.cc.dif…

1 0