- PPL-devel - BUGSENG Mailman

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

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: ericci(a)cs.unipr.it 2002-03-20 11:20:57 Modified files: tests : exceptions2.cc Log message: Added some other tests that show when an exception is thrown: one of them shows that there is still a problem with the function Matrix::grow(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/tests Makefile.am exceptions2.cc
by Elisa Ricci 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: ericci(a)cs.unipr.it 2002-03-19 19:02:46 Modified files: tests : Makefile.am Added files: tests : exceptions2.cc Log message: In "exceptions2.cc" put two tests that show that an exception is thrown if we want to built a Polyhedron starting from a system of constraints that contains strict-inequalities or a a system of generators that contains closure_points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

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

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 18:20:45 Modified files: src : PolyBase.cc Log message: The method OK() improved to check invariants for both NC and NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src Matrix.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 18:17:25 Modified files: src : Matrix.cc Log message: One of the new tests added to OK() was causing Matrix::grow() to fail. Temporarily commented out. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

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

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 16:26:30 Modified files: src : ConSys.cc Log message: Method OK() now merely calls Matrix::OK(), since there are no other meaningful tests to perform. Overriding used just for better documenting this fact. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Matrix.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 16:17:29 Modified files: src : Matrix.cc Log message: In method OK(), added a check on matrices with no rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

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

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 16:02:37 Modified files: src : GenSys.cc Log message: In method OK(), no longer checking for topology mismatches between the systems and its generators (this is already done when calling Matrix::OK()). No longer checking for the existence of a point, because points are only required if the GenSys is representing a polyhedron (check has to be performed by PolyBase::OK()). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src Matrix.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 15:59:13 Modified files: src : Matrix.cc Log message: Method OK() now checks for topology mismatches between the matrix and its rows. The check on the minimum number of columns updated to work correctly with NNC topology matrices. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Generator.cc Generator.inlines.hh
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 15:55:55 Modified files: src : Generator.cc Generator.inlines.hh Log message: Method OK() updated to perform checks of invariants for generators defined on the NNC topology. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0

ppl/src Row.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 15:52:09 Modified files: src : Row.cc Log message: In method OK(), added a check on the minimum number of coefficients of a row (the minimum depends on the row topology). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&o…

1 0