[PPL-devel] ppl ./NEWS ./README ./TODO demos/ppl_lcdd/ppl_ ...

Roberto Bagnara roberto at cs.unipr.it
Sat Dec 11 20:59:31 CET 2004 

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-12-11 20:59:30

Modified files:
	.              : NEWS README TODO 
	demos/ppl_lcdd : ppl_lcdd.cc 
	doc            : devref-browse.doxyconf-latex.in 
	                 devref-print.doxyconf-latex.in 
	                 devref.doxyconf-html.in 
	interfaces/C   : ppl_c.cc 
	interfaces/Prolog: Prolog_interface.dox exceptions.hh 
	                   ppl_prolog.icc 
	interfaces/Prolog/Ciao: ppl_ciao.cc 
	interfaces/Prolog/GNU: ppl_gprolog_sd.cc 
	interfaces/Prolog/SICStus: ppl_sicstus_sd.cc 
	interfaces/Prolog/SWI: ppl_swiprolog.cc 
	interfaces/Prolog/XSB: ppl_xsb.cc 
	interfaces/Prolog/YAP: ppl_yap.cc 
	src            : Bounding_Box.cc Bounding_Box.defs.hh 
	                 Bounding_Box.inlines.hh Constraint.cc 
	                 Constraint.defs.hh Constraint.inlines.hh 
	                 Constraint_System.cc Constraint_System.defs.hh 
	                 GMP_Integer.types.hh Generator.cc 
	                 Generator.defs.hh Generator.inlines.hh 
	                 Generator_System.cc Generator_System.defs.hh 
	                 Interval.defs.hh Interval.inlines.hh 
	                 Linear_Expression.cc Linear_Expression.defs.hh 
	                 Linear_Expression.inlines.hh Linear_Row.cc 
	                 Linear_Row.defs.hh Linear_Row.inlines.hh 
	                 Linear_System.cc Makefile.am Matrix.defs.hh 
	                 Native_Integer.defs.hh Native_Integer.types.hh 
	                 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.defs.hh globals.inlines.hh 
	tests          : BBox.cc BBox.hh bhrz03widening13.cc 
	                 bhrz03widening14.cc dualhypercubes.cc 
	                 exceptions1.cc intersection2.cc max_min1.cc 
	                 max_min2.cc randphull1.cc randphull2.cc 
Added files:
	src            : Coefficient.cc Coefficient.defs.hh 
	                 Coefficient.inlines.hh Coefficient.types.hh 
	                 Coefficient_traits_template.hh 
Removed files:
	src            : Integer.cc Integer.defs.hh Integer.inlines.hh 
	                 Integer.types.hh Integer_macros.hh 
	                 Integer_traits_template.hh 

Log message:
	The type Integer has been renamed Coefficient.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.136&r2=1.137
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.123&r2=1.124
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&r1=1.36&r2=1.37
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.116&r2=1.117
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.117&r2=1.118
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.hh.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.144&r2=1.145
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog_sd.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&r1=1.66&r2=1.67
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.90&r2=1.91
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&r1=1.83&r2=1.84
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.defs.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.inlines.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient_traits_template.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.inlines.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&r1=1.96&r2=1.97
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&r1=1.55&r2=1.56
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.55&r2=1.56
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.96&r2=1.97
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&r1=1.49&r2=1.50
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.89&r2=1.90
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.65&r2=1.66
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.258&r2=1.259
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.103&r2=1.104
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.37&r2=1.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.42&r2=1.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.36&r2=1.37
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.73&r2=1.74
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&r1=1.85&r2=1.86
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroot=ppl&r1=1.52&r2=1.53
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.64&r2=1.65
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.cc.diff?cvsroot=ppl&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&r1=1.14&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cvsroot=ppl&r1=1.13&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsroot=ppl&r1=1.9&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer_macros.hh.diff?cvsroot=ppl&r1=1.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer_traits_template.hh.diff?cvsroot=ppl&r1=1.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening13.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening14.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/dualhypercubes.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvsroot=ppl&r1=1.42&r2=1.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection2.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min1.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min2.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull1.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull2.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10

More information about the PPL-devel mailing list