September 2004 - PPL-devel - BUGSENG Mailman

ppl/tests linearpartition4.cc
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 20:15:18 Modified files: tests : linearpartition4.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition4.cc.dif…

1 0

ppl/tests polydifference9.cc
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 20:11:26 Modified files: tests : polydifference9.cc Log message: Completed and made quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference9.cc.diff…

1 0

[Fwd: Re: Source Code]
by Roberto Bagnara 15 Sep '04

15 Sep '04

-------- Original Message -------- Subject: Re: Source Code Date: Wed, 15 Sep 2004 10:01:23 -0700 From: Sriram Sankaranarayanan <srirams(a)CS.Stanford.EDU> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Dear Roberto, Thanks for the fix! I fixed the problem in my version and it compiles fine. I am assuming you have already removed the offending brackets in yours. > > > >it will print a message prefixed by the word ERROR > >on the stderr stream if something breaks (i.e, the computed > >invariant fails the inductive check.. which is finally all > >we care about :-) > > Hey, but you proved it correct, didn't you? :-) Yes.. but to quote Don Knuth, "Beware of bugs in the above code; I have only proved it correct, not tried it." Sriram -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl src/BHRZ03_Certificate.cc src/ConSys.defs. ...
by Roberto Bagnara 15 Sep '04

15 Sep '04

1 0

ppl NEWS
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 19:31:53 Modified files: . : NEWS Log message: Announce the bug just fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.10…

1 0

ppl ./NEWS ./TODO doc/devref-browse.doxyconf-l ...
by Roberto Bagnara 15 Sep '04

15 Sep '04

1 0

ppl/src algorithms.hh
by Enea Zaffanella 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-15 18:27:22 Modified files: src : algorithms.hh Log message: Corrected a bug in check_containment(). The bug was affecting method geometrically_contains(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 18:08:46 Modified files: . : TODO Log message: Polyhedra_PowerSet::poly_difference_assign() has been implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.89…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 16:39:21 Modified files: src : Polyhedron_public.cc Log message: (Not well thought) FIXME removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl TODO
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 14:45:50 Modified files: . : TODO Log message: Several new things to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.88…

1 0