Dear all,
in the directory
/opt/ppl-distrib
on spartacus you will find the experimental tarballs
for PPL version 0.1.
Please get one, unpack it, and install it following
the instructions in the INSTALL file.
To test the library you could copy one of the files
in the `tests` directory to, say, /tmp and then try
compiling it and executing it. Things should be
more exciting if you define NOISY to 1.
Let me know if you have problems.
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
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-14 11:46:42
Modified files:
src : Polyhedron.cc
Log message:
In functions Polyhedron::insert(const Constraint& c) e
Polyhedron::insert(const Constraint& c) the case of a zero-dimensional
polyhedron is considered.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
