November 2002 - PPL-devel - BUGSENG Mailman

ppl/src SatRow.cc
by Roberto Bagnara 26 Nov '02

26 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-26 10:08:00 Modified files: src : SatRow.cc Log message: Fixed int compare(const SatRow& x, const SatRow& y), bool operator<=(const SatRow& x, const SatRow& y), and bool operator<(const SatRow& x, const SatRow& y): they were completely broken. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/src Matrix.cc
by Roberto Bagnara 25 Nov '02

25 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: roberto(a)cs.unipr.it 2002-11-25 15:44:46 Modified files: src : Matrix.cc Log message: Fixed a bug in Matrix::grow() whereby, depending on the relations between the new rows' size and the old row's capacity, index_first_pending could erroneously be set to zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 25 Nov '02

25 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-25 11:06:51 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Properly install ppl_sicstus.so. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh Matrix.d ...
by Enea Zaffanella 25 Nov '02

25 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-11-25 09:30:05 Modified files: src : ConSys.defs.hh GenSys.defs.hh Matrix.defs.hh Log message: Added more details in the documentation for the split constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/src Matrix.cc Polyhedron.cc
by Elisa Ricci 25 Nov '02

25 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-25 09:25:16 Modified files: src : Matrix.cc Polyhedron.cc Log message: Corrected the bug in Matrix::ascii_load: we used "nrows" instead of "index", when we set the "index_first_pending". In Matrix::add_row, erased in a condition of an "if" erased the check about the number of pending rows, because we use this method only when the matrix has no pending rows. In Polyhedron::Polyhedron(Topology topol, ConSys& cs) and Polyhedron::Polyhedron(Topology topol, const ConSys& cs) erased an "if" that is repeated twice. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am bug1.cc bug1.dat
by Roberto Bagnara 24 Nov '02

24 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: roberto(a)cs.unipr.it 2002-11-24 19:06:05 Modified files: tests : Makefile.am Added files: tests : bug1.cc bug1.dat Log message: New test program (with input data) meant to witness the existence of a bug in Polyhedron::concatenate_assign(). Unfortunately, it shows that there are also problems in Polyhedron::ascii_dump() and/or Polyhedron::ascii_load(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.cc?cvsroot=ppl&onl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.dat?cvsroot=ppl&on… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Enea Zaffanella 24 Nov '02

24 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-11-24 14:11:53 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: Using the new split constructor to implement remove_pending_and_minimize(). 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.cc.diff?cvsroo…

1 0

ppl/src Matrix.defs.hh Matrix.cc ConSys.defs.h ...
by Enea Zaffanella 24 Nov '02

24 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-11-24 14:09:04 Modified files: src : Matrix.defs.hh Matrix.cc ConSys.defs.hh ConSys.inlines.hh GenSys.defs.hh GenSys.inlines.hh Log message: Added split constructors for Matrix, ConSys and GenSys. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 23 Nov '02

23 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-23 12:10:41 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Use libtool whenever possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 23 Nov '02

23 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-23 10:04:15 Modified files: interfaces/C/lpenum: lpenum.c Log message: Avoid a unused parameter warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0