- PPL-devel - BUGSENG Mailman

ppl/src conversion.cc simplify.cc minimize.cc
by Enea Zaffanella 27 Jan '03

27 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-27 10:51:45 Modified files: src : conversion.cc simplify.cc minimize.cc Log message: Adjusted a few comments that became outdated after the merge with the lazy branch. Removed a couple of FIXME's. Patches: 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=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/Watchdog Watchdog.cc
by Roberto Bagnara 26 Jan '03

26 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-26 22:02:41 Modified files: Watchdog : Watchdog.cc Log message: Ported to Cygwin (it only supports ITIMER_REAL). Robustness increased. Throw std:runtime_error exceptions instead of calling exit(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh Polyhedr ...
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 18:46:37 Modified files: src : ConSys.defs.hh GenSys.defs.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.cc Log message: Equality test between polyhedra improved to first perform a few fast-fail checks, including a complete test for representations in normal form. 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/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
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:46:56 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Added private method void select_CH78_constraints(const Polyhedron& y, ConSys& cs) const; performing a constraint selection from y.con_sys according to the definition of the widening as reported in Cousot&Halbwachs78. 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 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