August 2003 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 26 Aug '03

26 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-26 08:26:57 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: TODO comment revised. Variable declaration turned into a constant declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/tests bhz03widening1.cc
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 19:36:12 Modified files: tests : bhz03widening1.cc Log message: Ensure the widening is always called properly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening1.cc.diff?…

1 0

ppl/tests Makefile.am bhz03widening1.cc
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 19:08:59 Modified files: tests : Makefile.am Added files: tests : bhz03widening1.cc Log message: Test Polyhedra_Powerset<PH>::BHZ03_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 19:08:18 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: Method new_widening_assign() renamed BHZ03_widening_assign() and modified to accept a widening method on the underlying polyhedra domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 18:33:49 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: In BGP99 extrapolation, do pairwise reduction before collapsing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl src/Polyhedra_PowerSet.defs.hh src/Polyhed ...
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 18:18:21 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh tests : Makefile.am Added files: tests : bgp99extrapolation1.cc Removed files: tests : powersetwidening1.cc Log message: Cleaned and simplified the code for the "simple powerset widening", now more appropriately called "BGP99 extrapolation". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc.di…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 10:39:56 Modified files: interfaces/C/lpenum: lpenum.c Log message: Memory leaks fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl configure.ac
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 00:20:18 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Polyhedron_nonpublic.cc
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 00:20:02 Modified files: src : Polyhedron_nonpublic.cc Log message: Avoid two compiler warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/interfaces/C/lpenum expected
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 00:19:06 Modified files: interfaces/C/lpenum: expected Log message: Adapted to the recent changes in the `lpenum' program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/expected.…

1 0