September 2004 - PPL-devel - BUGSENG Mailman

ppl/tests boundingbox1.cc
by Roberto Bagnara 20 Sep '04

20 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-09-20 13:55:00 Modified files: tests : boundingbox1.cc Log message: Quiet again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl/src BoundingBox.inlines.hh Interval.defs.h ...
by Roberto Bagnara 20 Sep '04

20 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-09-20 11:02:57 Modified files: src : BoundingBox.inlines.hh Interval.defs.hh Interval.inlines.hh Polyhedron.inlines.hh Log message: Temporary hacks to avoid failures with checked 64-bits integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl ./compile ./missing ./install-sh Watchdog/ ...
by Roberto Bagnara 20 Sep '04

20 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-20 09:22:14 Modified files: . : compile missing install-sh Watchdog : compile install-sh missing Log message: Updated from Automake 1.9.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/compile.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/missing.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/compile.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/missing.diff?cvsroot…

1 0

ppl/tests boundingbox1.cc
by Roberto Bagnara 20 Sep '04

20 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-09-20 09:11:32 Modified files: tests : boundingbox1.cc Log message: Made noisy so as to make visible how test2() is failing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl ./Makefile.am ./NEWS ./README.configure ./ ...
by Roberto Bagnara 19 Sep '04

19 Sep '04

1 0

ppl/interfaces/Prolog pl_check.pl Ciao/ciao_pl ...
by Patricia Hill 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-09-19 21:39:20 Modified files: interfaces/Prolog: pl_check.pl interfaces/Prolog/Ciao: ciao_pl_check.pl interfaces/Prolog/GNU: ppl_gprolog.pl Log message: Added tests for the Prolog interface predicate ppl_Polyhedron_dimension/2. Updated interface files to correct obvious bugs for this predicate. Patches: 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/Ciao/ciao_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/src checked.defs.hh checked_float.inlines. ...
by Abramo Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-19 21:28:25 Modified files: src : checked.defs.hh checked_float.inlines.hh checked.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Better names for policy fields. Added add_assign_mul and sub_assign_mul. Enriched Result return codes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-19 21:25:59 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Better names for policy fields. Added add_assign_mul and sub_assign_nul. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src simplify.cc
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 21:11:37 Modified files: src : simplify.cc Log message: Comments revised so as not to refer to (no longer existing) comparison operators between rows of the saturation matrices. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/demos/ppl_lcdd/examples Makefile.am README ...
by Roberto Bagnara 19 Sep '04

19 Sep '04

1 0