October 2001 - PPL-devel - BUGSENG Mailman

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 16:44:28 Modified files: src : Polyhedron.cc Log message: If we build a polyhedron starting from a matrix of generators with no rows the polyhedron is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.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 16:15:57 Modified files: doc : Makefile.am Log message: Use an absolute path for adding to TEXINPUTS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/src .cvsignore Integer/.cvsignore Integer/ ...
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 15:40:42 Modified files: src : .cvsignore Added files: src/Integer : .cvsignore Integer.cc Integer.defs.hh Integer.inlines.hh Integer.types.hh Makefile.am Log message: Here is the Integer class again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/.cvsignore.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.types.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Makefile.am.diff?…

1 0

ppl/src Polyhedron.inlines.hh
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 15:40:19 Modified files: src : Polyhedron.inlines.hh Log message: Multiple inclusion guard added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src/Integer
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 15:38:28 ppl/src/Integer Update of /cvs/ppl/ppl/src/Integer In directory spartacus.cs.unipr.it:/tmp/cvs-serv17400/Integer Log Message: Directory /cvs/ppl/ppl/src/Integer added to the repository

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 15:20:21 Modified files: src : Polyhedron.cc Log message: In the constructors of a polyhedron that use a system of constraints or a set of generators these matrices must be at least two columns. In the function remove_dimensions(..) if the matrix of generators does not have at least two columns (i.e num_columns() <= 1) the polyhedron becomes zero-dimensional and so we clear the `con_sys' and `gen_sys'. In function insert(const Constraint& c) if the polyhedron is zero-dimensional we add also the positivity constraint. In functions insert(...) it is no longer necessary clear `con_sys' and `gen_sys' before adding a row if the polyhedron is zero-dimensional. In function OK(), we verify if in a zero-dimensional polyhedron `con_sys' and `gen_sys' have no rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/doc Makefile.am devref-browse.doxyconf-lat ...
by Roberto Bagnara 15 Oct '01

15 Oct '01

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 13:59:45 Modified files: src : Polyhedron.defs.hh Log message: Rewrite a part of the brief description of the class Polyhedron. Added some more expanation for the examples 5 and 6. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src SatMatrix.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 12:19:13 Modified files: src : SatMatrix.defs.hh Log message: Added a briefly description for the saturation matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv…

1 0

RPM packages
by Roberto Bagnara 15 Oct '01

15 Oct '01

Dear all, on spartacus, in the usual place, there are now RPM packages for PPL 0.1. $ ls -l /opt/ppl-distrib/ total 3616 -rw-rw-r-- 1 roberto roberto 869996 Oct 15 11:55 ppl-0.1-1.i386.rpm -rw-rw-r-- 1 roberto roberto 702282 Oct 15 11:52 ppl-0.1-1.src.rpm -rw-rw-r-- 1 roberto roberto 568983 Oct 15 09:18 ppl-0.1.tar.bz2 -rw-rw-r-- 1 roberto roberto 703040 Oct 15 09:18 ppl-0.1.tar.gz -rw-rw-r-- 1 roberto roberto 830084 Oct 15 09:18 ppl-0.1.zip Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0