August 2004 - PPL-devel - BUGSENG Mailman

ppl README
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 17:13:43 Modified files: . : README Log message: Formatting changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-16 17:13:24 Modified files: interfaces/Prolog: pl_check.pl Log message: This test file now checks correctly that the exceptions do work ok. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl README
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 17:11:10 Modified files: . : README Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl README.configure
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 16:51:54 Modified files: . : README.configure Log message: Added instructions about the use of Comeau C/C++ 4.3.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

w3ppl/htdocs/About About.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 16:41:00 Modified files: htdocs/About : About.raw Log message: Capitalization fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

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 16:23:42 Modified files: . : NEWS Log message: Announce the new README.configure file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.96…

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 16:11:30 Modified files: . : NEWS Log message: Drafted an announcement for the new Determinate, PowerSet and Polyhedra_PowerSet classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.95…

1 0

ppl/src ConSys.inlines.hh
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 16:00:26 Modified files: src : ConSys.inlines.hh Log message: Fixed ConSys::max_space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv…

1 0

ppl/tests bhz03widening6.cc
by Patricia Hill 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-16 14:15:25 Modified files: tests : bhz03widening6.cc Log message: Comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening6.cc.diff?…

1 0

ppl/tests Makefile.am bhz03widening6.cc
by Patricia Hill 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-16 14:04:00 Modified files: tests : Makefile.am Added files: tests : bhz03widening6.cc Log message: dded more tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening6.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0