August 2004 - PPL-devel - BUGSENG Mailman

ppl/Watchdog NEWS
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 15:08:45 Modified files: Watchdog : NEWS Log message: Updated for the release of PPL 0.6.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=pp…

1 0

w3ppl/htdocs/templates macros.tmpl
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 15:05:41 Modified files: htdocs/templates: macros.tmpl Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/macros.tmp…

1 0

ppl src/Polyhedra_PowerSet.defs.hh src/Polyhed ...
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 15:04:41 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh tests : bgp99extrapolation2.cc bhz03widening2.cc bhz03widening3.cc bhz03widening5.cc bhz03widening6.cc Log message: The methods Polyhedra_PowerSet::semantically_contains(const Polyhedra_PowerSet&) and Polyhedra_PowerSet::semantically_equals(const Polyhedra_PowerSet&) have been renamed Polyhedra_PowerSet::geometrically_covers(const Polyhedra_PowerSet&) and Polyhedra_PowerSet::geometrically_equals(const Polyhedra_PowerSet& y), respectively. 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/bgp99extrapolation2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening2.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening3.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening5.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening6.cc.diff?…

1 0

ppl NEWS
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 15:03:18 Modified files: . : NEWS Log message: Completed for 0.6.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_wi…

1 0

ppl README.configure
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 15:01:05 Modified files: . : README.configure Log message: Formatting glitch fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 14:52:39 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 NEWS
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 14:47:01 Modified files: . : NEWS Log message: Completed for 0.6.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.99…

1 0

ppl README.configure
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 14:39:03 Modified files: . : README.configure Log message: Formatting glitch fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-20 14:35:03 Modified files: doc : definitions.dox Log message: Small improvements to section 1.6. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 14:34:24 Modified files: htdocs/Download: requirements.raw Log message: Impatient readers can now take a quick look at README.configure just by clicking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0