[PPL-devel] ppl ./NEWS ./config.h.in ./configure.ac Watchd ...
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Sat Aug 17 13:44:24 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Branch: alt_nnc
Changes by: roberto at cs.unipr.it 2002-08-17 13:44:24
Modified files:
. : NEWS config.h.in configure.ac
Watchdog : Watchdog.defs.hh Watchdog.inlines.hh
Watchdog.types.hh pwl_header.top
interfaces/C : ppl_c.cc ppl_c.h
interfaces/C/lpenum: lpenum.c
interfaces/Prolog: track_allocation.hh
src : AskTell.defs.hh AskTell.inlines.hh
AskTell.types.hh BoundingBox.defs.hh
BoundingBox.inlines.hh BoundingBox.types.hh
C_Polyhedron.defs.hh C_Polyhedron.inlines.hh
C_Polyhedron.types.hh ConSys.defs.hh
ConSys.inlines.hh ConSys.types.hh Constraint.cc
Constraint.defs.hh Constraint.inlines.hh
Constraint.types.hh Determinate.defs.hh
Determinate.inlines.hh Determinate.types.hh
GenSys.defs.hh GenSys.inlines.hh
GenSys.types.hh Generator.cc Generator.defs.hh
Generator.inlines.hh Generator.types.hh
Init.defs.hh Init.inlines.hh Init.types.hh
Integer.defs.hh Integer.inlines.hh
Integer.types.hh Interval.defs.hh
Interval.inlines.hh Interval.types.hh
LCompare.defs.hh LCompare.inlines.hh
LCompare.types.hh LinExpression.defs.hh
LinExpression.inlines.hh LinExpression.types.hh
Matrix.defs.hh Matrix.inlines.hh
Matrix.types.hh NNC_Polyhedron.defs.hh
NNC_Polyhedron.inlines.hh
NNC_Polyhedron.types.hh
Poly_Con_Relation.defs.hh
Poly_Con_Relation.inlines.hh
Poly_Con_Relation.types.hh
Poly_Gen_Relation.defs.hh
Poly_Gen_Relation.inlines.hh
Poly_Gen_Relation.types.hh Polyhedron.cc
Polyhedron.defs.hh Polyhedron.inlines.hh
Polyhedron.types.hh PowerSet.defs.hh
PowerSet.inlines.hh PowerSet.types.hh
Row.defs.hh Row.inlines.hh Row.types.hh
SatMatrix.defs.hh SatMatrix.inlines.hh
SatMatrix.types.hh SatRow.defs.hh
SatRow.inlines.hh SatRow.types.hh
Status.defs.hh Status.inlines.hh
Status.types.hh Topology.hh Variable.defs.hh
Variable.inlines.hh Variable.types.hh
globals.hh initializer.hh ppl_header.top
tests : ehandlers.hh mc91.cc print.hh timings.hh
Log message:
Merge changes from the trunk between tags `merge_to_alt_nnc'
and `second_merge_to_alt_nnc'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.14&r2=1.14.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.57&r2=1.57.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_header.top.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.41.4.1&r2=1.41.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.39.2.1&r2=1.39.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_allocation.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6&r2=1.6.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.62.2.2&r2=1.62.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.23.2.1&r2=1.23.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.29.2.2&r2=1.29.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.67.2.2&r2=1.67.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.39.2.1&r2=1.39.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6.2.2&r2=1.6.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.7.2.2&r2=1.7.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.76.2.2&r2=1.76.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.25&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.36.2.3&r2=1.36.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.72.2.3&r2=1.72.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.36.2.1&r2=1.36.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LCompare.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LCompare.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LCompare.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.49&r2=1.49.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.31&r2=1.31.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.25&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.199.2.12&r2=1.199.2.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.137.2.3&r2=1.137.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.42.2.3&r2=1.42.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.10.2.1&r2=1.10.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.52&r2=1.52.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.28&r2=1.28.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Topology.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.types.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.19&r2=1.19.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/initializer.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.top.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3&r2=1.3.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timings.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.1&r2=1.1.4.1
More information about the PPL-devel
mailing list