March 2002 - PPL-devel - BUGSENG Mailman

The previous import never happened
by Roberto Bagnara 22 Mar '02

22 Mar '02

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

1 0

Import
by Roberto Bagnara 22 Mar '02

22 Mar '02

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

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 22 Mar '02

22 Mar '02

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=…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 22 Mar '02

22 Mar '02

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=…

1 0

ppl/src GenSys.cc GenSys.defs.hh Matrix.defs.h ...
by Elisa Ricci 21 Mar '02

21 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-03-21 18:08:42 Modified files: src : GenSys.cc GenSys.defs.hh Matrix.defs.hh Polyhedron.cc Polyhedron.defs.hh conversion.cc minimize.cc Log message: Started to implement the new method that use a transformation to compute the system of constraints of a positive polyhedron described by its system of generators: this method is controlled by the flag "POSITIVE_TRANSFORMATION". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… 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/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 21 Mar '02

21 Mar '02

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=…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 21 Mar '02

21 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-21 16:03:27 Modified files: src : PolyBase.cc Log message: Added missing OK(bool) assertions on exit of constructors and methos operator<=, intersection_assign(ph), convex_difference_assign(ph), insert(g), insert(c), add_dimensions_and_constraints(), add_generators_and_minimize(). Corrected \epsilon-swapping bugs in methods add_dimensions(...), add_dimensions_and_project(), add_dimensions_and_embed() and add_dimensions_and_constraints(). Patched topology-related bug in limited_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src ConSys.cc GenSys.cc
by Enea Zaffanella 21 Mar '02

21 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-21 15:38:33 Modified files: src : ConSys.cc GenSys.cc Log message: Methods get() and print(), i.e., input/output operators >> and <<, now also handle topology information. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 21 Mar '02

21 Mar '02

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…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 21 Mar '02

21 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-21 09:35:43 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Two bugs corrected in the description of the "relation_with" predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0