- PPL-devel - BUGSENG Mailman

ppl/src GenSys.cc Polyhedron.cc Polyhedron.def ...
by Elisa Ricci 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-03-26 17:54:21 Modified files: src : GenSys.cc Polyhedron.cc Polyhedron.defs.hh minimize.cc Log message: Some changes in the part controlled by "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/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/minimize.cc.diff?cvsroot=…

1 0

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

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-26 17:35:14 Modified files: src : GenSys.cc Log message: Some progresses in the generalization of method GenSys::relation_with(c) to work with a NNC system of generators. Patches: 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 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-26 17:23:24 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests exceptions2.cc
by Elisa Ricci 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: ericci(a)cs.unipr.it 2002-03-26 16:41:54 Modified files: tests : exceptions2.cc Log message: Added other two tests to show when an exception is thrown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/src LinExpression.defs.hh
by Roberto Bagnara 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-26 16:15:05 Modified files: src : LinExpression.defs.hh Log message: Friend declarations fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src Poly_Con_Relation.inlines.hh
by Enea Zaffanella 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-26 16:06:00 Modified files: src : Poly_Con_Relation.inlines.hh Log message: Bug (related to operator precedence) corrected in method implies(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines…

1 0

ppl/tests Makefile.am relations9.cc
by Enea Zaffanella 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-26 14:34:04 Modified files: tests : Makefile.am Added files: tests : relations9.cc Log message: Test relations9 calls method PolyBase::relation_with(c) when *this is a necessarily closed polyhedron and c is a strict inequality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations9.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

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

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-26 13:58:21 Modified files: src : GenSys.cc PolyBase.cc Log message: Methods PolyBase::relation_with(c) and GenSys::relation_with(c) modified to work as expected when *this.topology() == NECESSARILY_CLOSED and the c.type() == STRICT_INEQUALITY. 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/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src ConSys.cc GenSys.cc PolyBase.cc PolyBa ...
by Enea Zaffanella 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-26 11:34:39 Modified files: src : ConSys.cc GenSys.cc PolyBase.cc PolyBase.defs.hh Log message: Some cleaning in ConSys/GenSys methods adjust_topology_and_dimension(). Adjusted a few comments and removed a few FIXME and CHECKME notes. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl TODO
by Roberto Bagnara 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-26 11:06:44 Modified files: . : TODO Log message: More things to do after the `strict' merge. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.12…

1 0