Well, it _did_ happen, but was then retracted immediately.
Please forget it, and sorry about the noise.
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: roberto(a)cs.unipr.it 2002-03-22 14:12:13
Log message:
Import of CoStLy Version 0.2pre1.
Status:
Vendor Tag: NEHER_EBLE
Release Tags: COSTLY_0_2_PRE1
N ppl/CoStLy/COPYING
N ppl/CoStLy/README
N ppl/CoStLy/cimath.cpp
N ppl/CoStLy/cimath.h
N ppl/CoStLy/error.h
N ppl/CoStLy/cinterval.h
N ppl/CoStLy/cinterval.cpp
No conflicts created by this import
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-22 12:24:00
Modified files:
src : PolyBase.cc
Log message:
Cleaned the code trying to preserve the sortedness of matrices when
swapping epsilon columns in methods add_dimensions*.
In operator<=, avoiding repeated tests on the generator kind
when computing the scalar products for NNC polyhedra.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-22 10:01:30
Modified files:
src : PolyBase.cc
Log message:
Corrected a bug in add_dimensions_and_constraint().
The OK() assertion at the end of limited_widening_assign() changed into
OK(false), because the parameter cs may cause the polyhedron to become
inconsistent. In widening_assign(), now adding the epsilon constraints
(instead of the positivity one) when the topology requires them.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-21 16:33:12
Modified files:
src : PolyBase.cc
Log message:
Corrected a bug in the constructor PolyBase(t, gs): we were breaking
the correctenss of the sortedness flag.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-03-21 10:22:09
Modified files:
interfaces/Prolog: Prolog_interface.dox
Log message:
Added a note to try and explain when the _and_minimize predicates
should be used.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…
