March 2002 - PPL-devel - BUGSENG Mailman

ppl/src minimize.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 00:41:55 Modified files: src : minimize.cc Log message: In both minimize(...) methods, modified the emptyness check after conversion in order to work for NNC Polyhedra too. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl doc/user-browse.doxyconf-latex.in doc/user ...
by Roberto Bagnara 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-18 22:39:24 Modified files: doc : user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in interfaces/C : ppl_c.cc ppl_c.h Log message: Several improvements to the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl doc/Makefile.am doc/devref-browse.doxyconf ...
by Roberto Bagnara 18 Mar '02

18 Mar '02

1 0

ppl TODO
by Roberto Bagnara 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-18 17:54:20 Modified files: . : TODO Log message: Another thing to remember. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10…

1 0

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

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 15:33:59 Modified files: src : PolyBase.cc Log message: Corrected a (just introduced) bug in add_dimensions_and_constraints(ConSys& cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl TODO
by Roberto Bagnara 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-18 14:59:07 Modified files: . : TODO Log message: More things we should not forget to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.9&…

1 0

ppl/src GenSys.defs.hh PolyBase.cc
by Enea Zaffanella 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 14:58:48 Modified files: src : GenSys.defs.hh PolyBase.cc Log message: Patched method PolyBase::add_generators_and_minimize(gs). Patches: 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/PolyBase.cc.diff?cvsroot=…

1 0

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

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 14:08:45 Modified files: src : PolyBase.cc Log message: Patched method PolyBase::add_dimensions_and_constraints(cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl TODO
by Roberto Bagnara 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-18 13:51:33 Modified files: . : TODO Log message: Things todo just after merging the `strict' branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.8&…

1 0

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

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 11:43:18 Modified files: src : PolyBase.cc Log message: Adding topology-compatibility checks where needed, throwing exceptions if necessary. Consistently using the methods [ConSys/GenSys]::adjust_topology_and_dimension when building a new polyhedron (or augmenting an existing one) starting from a ConSys or a GenSys. When building an NNC polyhedron using the constructor PolyBase(GenSys&), we now add a closure point for each point in the GenSys. Patched the specification of convex_difference_assign() to work correctly for NNC polyhedra. Patched the methods add_dimensions_and_* and remove*_dimensions() to work correctly for NNC polyhedra. Added a few "placeholder" exceptions to point out places where the current implementation is still not correct. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0