CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/08/25 17:20:36
Modified files: src : ConSys.cc GenSys.cc Makefile.am Makefile.in PPL.cc PPL.hh conversion.cc minimize.cc simplify.cc src/Integer : Makefile.am Makefile.in test : bug.cc bug2.cc bug3.cc bug4.cc bug5.cc bug6.cc bug7.cc bug8.cc bug9.cc buga.cc bugb.cc bugc.cc bugd.cc buge.cc bugf.cc testMinimize.cc Added files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh Removed files: src : Poly.cc Poly.defs.hh Poly.inlines.hh Poly.types.hh
Log message: About to implement a new idea for the public interface. Meanwhile, welcome back Polyhedron!