August 2004 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 12:50:00 Modified files: . : TODO Log message: Some items postponed. Main points of PPL 0.7 drafted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.80…

1 0

ppl NEWS
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 12:38:43 Modified files: . : NEWS Log message: Announce the new "expand" and "fold" operations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.94…

1 0

ppl/tests Makefile.am bhz03widening4.cc bhz03w ...
by Enea Zaffanella 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-16 12:10:45 Modified files: tests : Makefile.am Added files: tests : bhz03widening4.cc bhz03widening5.cc Log message: New tests are the same as bhz03widening1.cc and bhz03widening2.cc, but use the H79_Certificate instead of BHRZ03_Certificate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening4.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening5.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Makefile.am Polyhedra_PowerSet.defs.hh ...
by Enea Zaffanella 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-16 12:08:44 Modified files: src : Makefile.am Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Polyhedron.defs.hh Added files: src : H79_Certificate.cc H79_Certificate.defs.hh H79_Certificate.inlines.hh H79_Certificate.types.hh Log message: Added the H79 widening certificate. The certificate-based widening methods for the Polyhedra_Powerset domain made generic by parameterizing the certificate used. The instance using the BHRZ03_Certificate still have the old name (so as old code still works). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.types.hh?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… 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…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 10:24:58 Modified files: htdocs/Credits : Credits.raw Log message: Credit Denis Gopan, Tom Reps and Mooly Sagiv. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl ./NEWS Watchdog/NEWS
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 09:50:31 Modified files: . : NEWS Watchdog : NEWS Log message: Our tentative release date is August 18, 2004. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.93… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=pp…

1 0

ppl ./ChangeLog Watchdog/ChangeLog
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 08:36:45 Modified files: . : ChangeLog Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl/src Polyhedron_chdims.cc
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 08:03:53 Modified files: src : Polyhedron_chdims.cc Log message: In Polyhedron::fold_dimensions(const Variables_Set&, Variable) correctly handle the case where the set is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 22:42:18 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in Log message: New C interface functions ppl_Polyhedron_expand_dimension() and ppl_Polyhedron_fold_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/src Polyhedron_chdims.cc
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 20:14:32 Modified files: src : Polyhedron_chdims.cc Log message: Polyhedron::fold_dimensions() now checks its interface invariants. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0