April 2003 - PPL-devel - BUGSENG Mailman

ppl/src ConSys.cc GenSys.cc
by Enea Zaffanella 11 Apr '03

11 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-11 08:38:51 Modified files: src : ConSys.cc GenSys.cc Log message: Fixed a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 11 Apr '03

11 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-11 08:17:13 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro…

1 0

ppl/src ConSys.cc Constraint.cc Constraint.inl ...
by Roberto Bagnara 11 Apr '03

11 Apr '03

1 0

ppl/src ConSys.cc GenSys.cc Polyhedron_widenin ...
by Enea Zaffanella 10 Apr '03

10 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-10 14:08:35 Modified files: src : ConSys.cc GenSys.cc Polyhedron_widenings.cc conversion.cc Log message: Strong normalization of rows called when EXTRA_NORMALIZATION is set; otherwise use (simple) normalization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src ConSys.cc GenSys.cc Matrix.defs.hh Mat ...
by Enea Zaffanella 10 Apr '03

10 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-10 12:22:26 Modified files: src : ConSys.cc GenSys.cc Matrix.defs.hh Matrix.inlines.hh Polyhedron_chdims.cc Log message: Added method Matrix::remove_columns(dimension_type new_n_columns) with the expected semantics. The method ensures that the resulting matrix is in normal form, thus correcting the bug shown by removedim10.cc. The new method is now used everywhere we remove columns from a matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… 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.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/tests removedim10.cc
by Enea Zaffanella 10 Apr '03

10 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-10 11:11:15 Modified files: tests : removedim10.cc Log message: Corrected the known result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim10.cc.diff?cvs…

1 0

ppl/tests Makefile.am removedim10.cc
by Roberto Bagnara 10 Apr '03

10 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-10 10:22:00 Modified files: tests : Makefile.am Added files: tests : removedim10.cc Log message: New test showing a bug whereby rows of matrices are not re-normalized after the removal of some columns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim10.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests removedim9.cc
by Roberto Bagnara 10 Apr '03

10 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-10 10:08:23 Modified files: tests : removedim9.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim9.cc.diff?cvsr…

1 0

ppl STANDARDS
by Enea Zaffanella 09 Apr '03

09 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-09 09:38:21 Modified files: . : STANDARDS Log message: Improved the section about the production of Doxygen documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 09 Apr '03

09 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-09 09:02:57 Modified files: interfaces/Prolog: pl_check.pl Log message: Changed the way variables are bound to dimension names. This avoids a problem due to a bug in XSB. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0