October 2001 - PPL-devel - BUGSENG Mailman

ppl ./ppl.lsm.in src/Polyhedron.cc src/Polyhed ...
by Roberto Bagnara 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-16 08:31:52 Modified files: . : ppl.lsm.in src : Polyhedron.cc Polyhedron.defs.hh tests : append.cc Log message: New interface for remove_dimensions(const std::vector<unsigned int>& to_be_removed). Note: BitSet is an implementation detail that should not surface in the API. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.lsm.in.diff?cvsroot=ppl&r… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append.cc.diff?cvsroot=…

1 0

ppl ppl.spec.in
by Roberto Bagnara 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-16 07:38:56 Modified files: . : ppl.spec.in Log message: First attempt at the LSM (Linux Software Map) entry form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/tests Makefile.am append.cc
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 20:15:57 Modified files: tests : Makefile.am Added files: tests : append.cc Log message: A first at the append's analysis test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests randchull1.cc
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 20:15:08 Modified files: tests : randchull1.cc Log message: Do less work. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr…

1 0

ppl/tests empty1.cc
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 20:14:07 Modified files: tests : empty1.cc Log message: Must return an int, not a bool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/empty1.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-15 18:35:22 Modified files: src : Polyhedron.cc Log message: Erased the "assert(OK())" from the function Polyhedron::insert(const Generator&): after an insertion of a generator the polyhedron can be not OK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

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

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-15 18:24:22 Modified files: src : Polyhedron.defs.hh Log message: Added a new example to show the use of the function Polyhedron::insert(...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 18:13:04 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : Makefile.am Added files: tests : empty1.cc Log message: It is not possible to overload bool and unsigned int. New enumeration Degenerate_Kind added with vales ZERO_DIMENSIONAL and EMPTY. The constructor Polyhedron(Degenerate_Kind kind = ZERO_DIMENSIONAL) does the expected thing. The program empty1.cc exemplifies two methods of obtaining an empty 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/empty1.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

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

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 18:09:44 Modified files: doc : Makefile.am Log message: ppl.sty must also be distributed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

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

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-15 17:14:51 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: Now the default constructor of a polyhedron has a default argument. If `full' is false, it builds an empty polyhedron (it has the flag set to empty); otherwise, if it has the default value (i.e. true), it bulids a zero-dimensional polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0