February 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am bug5.cc bug5.dat
by Roberto Bagnara 12 Feb '02

12 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-12 15:16:20 Modified files: tests : Makefile.am Added files: tests : bug5.cc bug5.dat Log message: bug5 shows that we still have problems with minimization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug5.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug5.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src minimize.cc
by Elisa Ricci 12 Feb '02

12 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-12 10:10:11 Modified files: src : minimize.cc Log message: We must simplify also `dest' in function minimize to erase all redundant constraints in the case !con_to_gen. In functions minimize() and add_and_minimize(), in the case !con_to_gen, there was an error when we choose the constraints to erase. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/tests Makefile.am bug4.cc bug4.dat
by Roberto Bagnara 11 Feb '02

11 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-11 12:29:53 Modified files: tests : Makefile.am Added files: tests : bug4.cc bug4.dat Log message: bug4 shows that we still have minimization problems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug4.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug4.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src minimize.cc
by Elisa Ricci 11 Feb '02

11 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-11 11:49:31 Modified files: src : minimize.cc Log message: In function add_and_minimize, we must simplify `dest' in the case !con_to_gen because it can contain redundant constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/src minimize.cc conversion.cc simplify.cc
by Elisa Ricci 11 Feb '02

11 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-11 10:57:34 Modified files: src : minimize.cc conversion.cc simplify.cc Log message: In function add_and_minimize and in the case of !con_to_gen, the system of constraints (that in this case is `dest') must contain the constraints of positivity of variables. In minimize and add_and_minimize, we must erase the constraints that are a linear combination of an equality and a constraint of positivity of variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 09 Feb '02

09 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-09 07:53:01 Modified files: src : Polyhedron.cc Log message: Error message made more specific. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am bug3.cc bug3.dat
by Roberto Bagnara 07 Feb '02

07 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-07 16:25:10 Modified files: tests : Makefile.am Added files: tests : bug3.cc bug3.dat Log message: bug3 shows that Polyhedron::minimize() does not minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug3.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug3.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src SatMatrix.cc SatMatrix.inlines.hh
by Roberto Bagnara 07 Feb '02

07 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-07 14:12:20 Modified files: src : SatMatrix.cc SatMatrix.inlines.hh Log message: SatMatrix::columns_erase_to_end() fixed (and no longer inline). 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.inlines.hh.diff…

1 0

ppl/src Row.cc minimize.cc
by Elisa Ricci 07 Feb '02

07 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-07 12:25:25 Modified files: src : Row.cc minimize.cc Log message: Corrected an error in the function Row::only_a_term_is_positive(). In minimize and in the case !con_to_gen we must call simplify() also for the `dest' because there is the possibility that constraints that are redundant with the constraints of positivity of variables are present in dest. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&o… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/tests Makefile.am bug2.cc bug2.dat
by Roberto Bagnara 06 Feb '02

06 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-06 08:06:01 Modified files: tests : Makefile.am Added files: tests : bug2.cc bug2.dat Log message: bug2 shows another problem this time cropping up in SatMatrix::columns_erase_to_end(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug2.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug2.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0