October 2001 - PPL-devel - BUGSENG Mailman

ppl tests/empty1.cc tests/inters2.cc tests/pri ...
by Enea Zaffanella 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-27 12:35:13 Modified files: tests : empty1.cc inters2.cc print.hh randchull1.cc src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Status.defs.hh Status.inlines.hh Status.cc Log message: The zero_dim flag (and methods) in Status changed into more meaningful "zero_dim_univ". A lot of small changes to have a consistent dimension-checking. Now there is one "default" constructor for Polyhedron having two optional arguments: the space dimension (default 0) and the degenerate kind (default UNIVERSE). Tests adapted to use the new constructor and to avoid using the removed Polyhedron::is_zero_dim(). Patches: 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/inters2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr… 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/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-27 12:26:35 Modified files: doc : definitions.dox Log message: Proposition after Minkowsky's theorem corrected (we can CHOOSE extreme rays so that they have rational coefficients). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

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

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: ericci(a)cs.unipr.it 2001-10-27 11:54:13 Modified files: tests : affinetrans.cc error3.cc Log message: To build the polyhedron that we want using the system of generators, we must create the system of generators and then use Polyhedron ph(gs). (If we use Polyhedron ph(num_dim), we have the universe polyhedron and then when we add the generators we do not have our polyhedron but the universe one). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=…

1 0

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

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: ericci(a)cs.unipr.it 2001-10-27 11:49:16 Modified files: src : Polyhedron.defs.hh Log message: Added an example for the function remove_dimensions (the example 8). In the examples when we build a polyhedron we must specify the dimension of the space if then we use the function Polyhedron::insert(Constraint). We can not do the same thing if then we want to use the function Polyhedron::insert(Generator) In fact, in this case we build the universe polyhedron and then we add the generators. To build a polyhedron starting from the system of generators we must create the system of generators and then use Polyhedron ph(gs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl configure.ac
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 11:02:54 Modified files: . : configure.ac Log message: Version number bumped so as to avoid confusion: 0.2-pre1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./configure.ac interfaces/Prolog/SICStus/M ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 10:59:47 Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am ppl_sicstus.cc Added files: interfaces/Prolog/SICStus: ppl_check.pl ppl_sicstus.pl Log message: Check to see whether `sicstus' is installed: if it is, tests can be performed. Some progress in the interface itself. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

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

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 10:58:09 Modified files: src : Polyhedron.cc Log message: ConSys and GenSys do not yet provide a `bool empty() const' method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Makefile.am
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 10:55:29 Modified files: src : Makefile.am Log message: Distribute ppl_header.middle. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 21:24:21 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Exception handling improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Enea Zaffanella 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-26 19:04:45 Modified files: src : Polyhedron.cc tests : Makefile.am Added files: tests : removedim2.cc Log message: Polyhedron::remove_dimensions(...) rewritten from scratch. Added a new test to check its correctness. 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/tests/removedim2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0