December 2001 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc
by Elisa Ricci 13 Dec '01

13 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-13 11:35:30 Modified files: src : Polyhedron.cc Log message: In functions Polyhedron::add_constraints() and add_constraints_and_minimize() improved the comments for the case of a zero-dimensional polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 13 Dec '01

13 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-13 08:59:41 Modified files: src : Polyhedron.cc Log message: Some comments have been improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am bug1.cc bug2.cc
by Roberto Bagnara 12 Dec '01

12 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-12 18:43:19 Modified files: tests : Makefile.am Removed files: tests : bug1.cc bug2.cc Log message: Obsolete bug witnesses removed. Patches: 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/bug1.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug2.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am addconstraints3.cc
by Roberto Bagnara 12 Dec '01

12 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-12 18:41:39 Modified files: tests : Makefile.am Added files: tests : addconstraints3.cc Log message: New test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints3.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Generator.cc Generator.defs.hh LinExpr ...
by Roberto Bagnara 12 Dec '01

12 Dec '01

1 0

ppl/src Row.cc
by Roberto Bagnara 12 Dec '01

12 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-12 18:26:45 Modified files: src : Row.cc Log message: The function compare(const Row& x, const Row& y) can now compare rows of different size. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Polyhedron.cc Polyhedron.inlines.hh
by Elisa Ricci 12 Dec '01

12 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-12 17:16:44 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: The function Polyhedron::set_zero_dim_univ() is now in Polyhedron.cc (instead of Polyhedron.inlines.hh), says that a zero-dimensional polyhedron is in a 0-dimensional space and clears the system of the polyhedron. Used "space_dim" instead of "space_dimension()" (where we call this function many times). 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.inlines.hh.dif…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 12 Dec '01

12 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-12 14:58:37 Modified files: src : Polyhedron.cc Log message: Some minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 22:39:35 Modified files: src : Polyhedron.cc Log message: Bad uses of the negation operator `!' have been fixed. Some comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src SatMatrix.cc SatMatrix.defs.hh
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 19:10:23 Modified files: src : SatMatrix.cc SatMatrix.defs.hh Log message: Wrong comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv…

1 0