October 2001 - PPL-devel - BUGSENG Mailman

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

ppl/src ConSys.defs.hh ConSys.inlines.hh GenSy ...
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 16:31:49 Modified files: src : ConSys.defs.hh ConSys.inlines.hh GenSys.defs.hh GenSys.inlines.hh Log message: Added the function swap for GenSys and ConSys. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv…

1 0

ppl/tests Makefile.am append2.cc permute.cc my ...
by Patricia Hill 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-17 16:21:50 Modified files: tests : Makefile.am Added files: tests : append2.cc permute.cc Removed files: tests : my_append.cc Log message: The file my_append.cc renamed to append2.cc A new test program permute.cc added. Makefile.am updated to include these tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot… 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/my_append.cc.diff?cvsro…

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 16:08:24 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Added comments of the parameters to some public functions of Polyhedron. 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/src ConSys.defs.hh Constraint.defs.hh GenS ...
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 15:27:21 Modified files: src : ConSys.defs.hh Constraint.defs.hh GenSys.defs.hh Polyhedron.defs.hh Log message: Now, the definitions of the variables used in the examples are before the examples (they are not inside the examples). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests my_append.cc
by Patricia Hill 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-17 15:03:26 Added files: tests : my_append.cc Log message: A modified version of append.cc where code is structured into two procedures, one for the initial polyhedra and one for the fix-point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/my_append.cc.diff?cvsro…

1 0