October 2001 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation Documentation.raw f ...
by Roberto Bagnara 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-18 08:32:35 Modified files: htdocs/Documentation: Documentation.raw Added files: htdocs/Documentation: fdl.raw gpl.raw Log message: Licenses added. The documentation page is now complete. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/fdl.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/gpl.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

4 4

ppl/src GenSys.defs.hh
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-18 09:38:34 Modified files: src : GenSys.defs.hh Log message: Small change to wording in GenSys_Con_Rel comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/tests permute.cc
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-18 09:07:58 Modified files: tests : permute.cc Log message: Now the termination conditions are checked. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/tests permute.cc
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-18 08:32:17 Modified files: tests : permute.cc Log message: Instead of giving the number of variables explicitly, it is obtained as needed using Polyhedron.num_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-18 08:13:20 Modified files: doc : Makefile.am Log message: Now `make world' also produces the licenses in various formats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-18 07:15:02 Modified files: htdocs : ppl.raw Log message: Completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-17 20:18:03 Modified files: src : Polyhedron.cc Log message: throw_different_dimensions() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am permute.cc
by Roberto Bagnara 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-17 20:17:12 Modified files: tests : Makefile.am permute.cc Log message: Made quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/tests error3.cc
by Roberto Bagnara 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-17 20:17:03 Modified files: tests : error3.cc Log message: Fixed and made quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=…

1 0

ppl/tests append.cc
by Roberto Bagnara 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-17 20:15:30 Removed files: tests : append.cc Log message: Renamed append1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append.cc.diff?cvsroot=…

1 0