August 2003 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Bugs Bugs.raw
by Roberto Bagnara 04 Aug '03

04 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-04 23:26:37 Modified files: htdocs/Bugs : Bugs.raw Log message: Quotation from Brian W. Kernighan added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl/src Polyhedra_PowerSet.defs.hh
by Enea Zaffanella 04 Aug '03

04 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-04 16:48:39 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Let the PPL compile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0

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

04 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-04 15:44:59 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: Currect, greedy implementation of the powerset construction and of its specialization on polyhedra. (Will be replaced by a lazy implementation ASAP.) 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/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Enea Zaffanella 04 Aug '03

04 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-04 14:58:49 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_widenings.cc Log message: Drafted functions to compute multiset lgo for the powerset 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… 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_widenings.cc.d…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 02 Aug '03

02 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-02 17:03:56 Modified files: src : SatRow.cc Log message: Alternative implementation for SatRow::next() added in a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0