July 2003 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-07-16 19:49:55 Modified files: htdocs/Download: requirements.raw Log message: GMP anchor added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/tests h79widening7.cc
by Roberto Bagnara 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-16 15:57:43 Modified files: tests : h79widening7.cc Log message: Make sure the outcome is as expected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening7.cc.diff?cv…

1 0

ppl/tests h79widening6.cc
by Roberto Bagnara 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-16 15:54:28 Modified files: tests : h79widening6.cc Log message: Made silent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening6.cc.diff?cv…

1 0

ppl/src Matrix.cc Polyhedron_widenings.cc
by Enea Zaffanella 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-07-16 15:49:11 Modified files: src : Matrix.cc Polyhedron_widenings.cc Log message: Corrected a bug in H79_widening_assign() and BHRZ03_combining_constraints() whereby we could have created an illegal constraint system (the bug was showing up when running the test h79widening6 with assertions enabled). Also added an assertion to the corresponding constructor of Matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-16 15:40:48 Modified files: doc : definitions.dox Log message: Updated. 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 Roberto Bagnara 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-16 15:01:54 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0

ppl/tests Makefile.am h79widening7.cc
by Roberto Bagnara 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-16 09:35:16 Modified files: tests : Makefile.am Added files: tests : h79widening7.cc Log message: h79widening7.cc shows there is a bug somewhere. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening7.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests h79widening6.cc mc91.cc
by Roberto Bagnara 15 Jul '03

15 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-15 22:57:55 Modified files: tests : h79widening6.cc mc91.cc Log message: Brought up-to-date with respect to the rest of the library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening6.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedra_PowerSet.defs.hh
by Roberto Bagnara 15 Jul '03

15 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-15 22:56:11 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Initial fix for the problem concerning dependent names. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0

w3ppl/htdocs/Download Download.raw requirement ...
by Roberto Bagnara 15 Jul '03

15 Jul '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-07-15 19:41:57 Modified files: htdocs/Download: Download.raw requirements.raw Removed files: htdocs/Download: dev-requirements.raw Log message: The two pages on requirements have been slightly edited and merged into a single one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/dev-require…

1 0