January 2003 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.defs.hh GenSys.defs.hh GenS ...
by Enea Zaffanella 24 Jan '03

24 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-24 10:43:11 Modified files: src : Constraint.defs.hh GenSys.defs.hh GenSys.cc Log message: Added private method bool GenSys::satisfied_by_all_generators(const Constraint& c) const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… 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.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 21 Jan '03

21 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-01-21 11:22:12 Modified files: interfaces/Prolog: pl_check.pl Log message: Test for time out predicates improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 21 Jan '03

21 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-21 10:06:09 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Make sure that the timeout is reset when caught. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 21 Jan '03

21 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-01-21 09:00:25 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl ppl_prolog.icc Log message: Restored deleted text. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl interfaces/Prolog/expected interfaces/Prol ...
by Enea Zaffanella 20 Jan '03

20 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-20 15:35:51 Modified files: interfaces/Prolog: expected expected2 interfaces/Prolog/XSB: expected expected2 tests : bhrz03widening15.cc bhrz03widening9.cc Log message: Applying some semantically preserving syntactic changes to the expected results in order to match what is obtained after modification to methods Matrix::gauss() and Matrix::back_substitute(). The changes are also semantic for the known results of bhrz03widening9/15. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening15.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc.diff…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 20 Jan '03

20 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-20 09:25:32 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Rewritten methods related to the computation of the BHRZ03 widening, which are no longer static and now take the polyhedron corresponding to the H79 widening as a parameter. 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.defs.hh.diff?c…

1 0

ppl/src Row.defs.hh Row.cc Matrix.cc minimize. ...
by Enea Zaffanella 20 Jan '03

20 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-20 09:22:50 Modified files: src : Row.defs.hh Row.cc Matrix.cc minimize.cc simplify.cc Log message: Strong normalization of Row objects now enforce the first non-zero coefficient to be positive. When creating a matrix having n copies of the same row, the matrix is now declared to be sorted (since sortedness by itself does not implies that it has no duplicates); this also includes the case of empty matrices. Some improvements in methods Matrix::gauss() and Matrix::back_substitute(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… 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/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Constraint.cc Constraint.inlines.hh Ge ...
by Enea Zaffanella 18 Jan '03

18 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-18 16:59:09 Modified files: src : Constraint.cc Constraint.inlines.hh Generator.cc Matrix.cc minimize.cc simplify.cc Polyhedron.cc Log message: Implemented changes required to make the library compile cleanly and pass `make check' when the flag EXTRA_NORMALIZATION is set to 1 (the default being still 0). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… 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/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 18 Jan '03

18 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-18 12:53:16 Modified files: tests : Makefile.am Log message: The `libppl_tests.a' library should not be built until the `make check' command is run. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 18 Jan '03

18 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-18 11:58:12 Modified files: src : Polyhedron.cc Log message: Corrected a bug in poly_hull_assign_and_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0