CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-04-12 20:50:10
Modified files:
src : Polyhedron.cc
Log message:
When performing strong minimization of constraints, no longer preventing
the removal of the \esilon \leq 1 constraint.
This modification is justified by the relaxation of the invariant on
the class Generator, where we no longer require the coordinate of
\epsilon to be \leq 1.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
Dear Christophe,
this message is just to let you know that the Parma Polyhedra Library
now supports polyhedra bounded by a mixture of strict and non strict
inequalities. The CVS version already contains a complete implementation,
even though we are still working on it. We may be able to release the
new version of the library in 3/4 weeks, but we can provide snapshots
before that time.
All the best
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
Dear all,
I am monitoring the 3.1 branch and making frequent cvs updates and
rebuilds so as to make sure that the to-be-released 3.1 and my software
go well together. A few days ago the following started happening:
$ /opt/bin/g++ -c ppl_c.ii
/home/roberto/ppl/ppl/interfaces/C/ppl_c.cc: In function `int
ppl_Coefficient_OK(const ppl_Coefficient_tag*)':
/home/roberto/ppl/ppl/interfaces/C/ppl_c.cc:196: Internal compiler error in
remove_eh_handler, at except.c:2696
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.
Last time I tried was 8 hours ago with
$ /opt/bin/g++ -v
Reading specs from /opt/lib/gcc-lib/i686-pc-linux-gnu/3.1/specs
Configured with: ../gcc/configure --prefix=/opt : (reconfigured) ../gcc/configure --prefix=/opt
Thread model: single
gcc version 3.1 20020411 (prerelease)
The same code compiles OK with GCC 3.0.4.
The testcase ppl_c.ii will be available for some time at
ftp://ftp.cs.unipr.it/pub/ppl_c.ii.bz2
I hope this helps.
All the best
Roberto
--
Prof. 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: zaffanella(a)cs.unipr.it 2002-04-10 12:28:25
Modified files:
src : Generator.cc
Log message:
The OK() function for Generator no longer checks that, for points,
the epsilon coordinate is less than or equal to 1
(because strong minimization does not maintain this invariant).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…
