CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto@cs.unipr.it 2004-08-04 13:18:42
Modified files: . : CREDITS configure.ac src : BoundingBox.cc BoundingBox.defs.hh BoundingBox.inlines.hh ConSys.cc ConSys.defs.hh Constraint.defs.hh Constraint.inlines.hh GenSys.cc GenSys.defs.hh Generator.cc Generator.defs.hh Generator.inlines.hh Integer.defs.hh Integer.types.hh Interval.defs.hh Interval.inlines.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Makefile.am Matrix.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Row.cc Row.defs.hh Row.inlines.hh conversion.cc globals.cc globals.hh tests : BBox.cc BBox.hh Makefile.am Added files: src : Checked_Integer.defs.hh Checked_Integer.inlines.hh Checked_Integer.types.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh GMP_Integer.types.hh Integer_traits_template.hh Native_Integer.defs.hh Native_Integer.inlines.hh Native_Integer.types.hh
Log message: Imported, with changes, from the `altnum' branch of the students' repository. As the Purenum project seems dead, support for Purenum has been evicted. Notice that both native and checked integers do not currently work due to the absence of some relational operators.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.defs.hh?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.types.hh?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer_traits_template.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroo... 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.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.hh.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...