- PPL-devel - BUGSENG Mailman

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

ppl/tests append2.cc append1.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:14:19 Modified files: tests : append2.cc Added files: tests : append1.cc Log message: Renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot…

1 0

ppl/tests error3.cc
by Elisa Ricci 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-17 19:37:14 Added files: tests : error3.cc Log message: Tests whether convex_hull assign throws when it should. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Elisa Ricci 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-17 19:33:58 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Polyhedron::intersection_assign() and Polyhedron::convex_hull_assign() now throw an exception if asked to operate on polyhedra of different dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests 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 16:56:53 Modified files: tests : permute.cc Log message: We now use the intended constraints. Termination is guaranteed by using Polyhedron::widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-17 16:48:32 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: MotzkinRTT53 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0