August 2004 - PPL-devel - BUGSENG Mailman

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:26:12 Modified files: doc : definitions.dox Log message: Some polyhedra where wrongly named P instead of \cP. Replaced a couple of = signs by \defeq. A first pass on Section 1.5 (PowerSet) to correct minor typos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl ./NEWS src/Polyhedra_PowerSet.defs.hh src/ ...
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:13:37 Modified files: . : NEWS 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/NEWS.diff?cvsroot=ppl&r1=1.98… 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/src Polyhedra_PowerSet.defs.hh
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: zaffanella(a)cs.unipr.it 2004-08-20 14:00:26 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Documented function pairwise_reduce(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

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 13:48:55 Modified files: doc : definitions.dox Log message: Some stuff (lazy/eager operators and polymorphism disclaimer) moved into section 1.6 (Using the Library). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Download requirements.raw
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-20 13:45:34 Modified files: htdocs/Download: requirements.raw Log message: Updated the requirements for GMP so as to reference the instructions in README.configure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/doc definitions.dox
by Patricia Hill 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-20 13:24:32 Modified files: doc : definitions.dox Log message: Bug fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedra_PowerSet.defs.hh
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 13:15:57 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Documented method pairwise_reduce(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0

ppl/doc definitions.dox ppl.sty
by Patricia Hill 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-20 13:14:52 Modified files: doc : definitions.dox ppl.sty Log message: First draft of description of the powerset construction added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl README.configure
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: zaffanella(a)cs.unipr.it 2004-08-20 11:29:17 Modified files: . : README.configure Log message: Spurious indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/src BHRZ03_Certificate.defs.hh H79_Certifi ...
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: zaffanella(a)cs.unipr.it 2004-08-20 11:28:23 Modified files: src : BHRZ03_Certificate.defs.hh H79_Certificate.defs.hh Log message: In the Doxygen comments: lgo --> limited growth ordering. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.d…

1 0