July 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 29 Jul '08

29 Jul '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-07-29 20:51:26 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added BouchyFL08. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/tests/Polyhedron linearsystem1.cc
by Roberto Bagnara 21 Jul '08

21 Jul '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-07-21 08:46:42 Modified files: tests/Polyhedron: linearsystem1.cc Log message: Unused variable removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearsystem…

1 0

ppl/tests/Box boxdifference1.cc
by Roberto Bagnara 06 Jul '08

06 Jul '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-07-06 08:40:05 Modified files: tests/Box : boxdifference1.cc Log message: Fixed a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxdifference1.cc.d…

1 0

ppl/tests/Box boxdifference1.cc
by Patricia Hill 05 Jul '08

05 Jul '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-07-05 21:32:38 Modified files: tests/Box : boxdifference1.cc Log message: More tests added. Comments added to indicate what is being tested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxdifference1.cc.d…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 05 Jul '08

05 Jul '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-07-05 12:42:22 Modified files: htdocs : FAQ.raw Log message: FAQ updated with the final details of the "Science of Computer Programming" paper. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 05 Jul '08

05 Jul '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-07-05 12:39:51 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraHZ08SCP completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0