[PPL-devel] ppl ./CREDITS ./configure.ac src/BoundingBox.c ...
Roberto Bagnara
roberto at cs.unipr.it
Wed Aug 4 13:18:42 CEST 2004
CVSROOT: /cvs/ppl
Module name: ppl
Branch: altnum
Changes by: roberto at 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&only_with_tag=altnum&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114&r2=1.114.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer_traits_template.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.67&r2=1.67.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.82&r2=1.82.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86&r2=1.86.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.48&r2=1.48.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85&r2=1.85.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.95&r2=1.95.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.48&r2=1.48.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85&r2=1.85.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.42&r2=1.42.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.63&r2=1.63.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.29&r2=1.29.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.70&r2=1.70.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.68&r2=1.68.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.228&r2=1.228.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.90&r2=1.90.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.60&r2=1.60.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.77&r2=1.77.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.44&r2=1.44.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.51&r2=1.51.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35&r2=1.35.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.195&r2=1.195.2.1
More information about the PPL-devel
mailing list