[PPL-devel] ppl/src Ask_Tell.defs.hh BD_Shape.defs.hh BHRZ ...
Roberto Bagnara
roberto at cs.unipr.it
Mon Sep 19 08:56:34 CEST 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at cs.unipr.it 2005-09-19 08:56:33
Modified files:
src : Ask_Tell.defs.hh BD_Shape.defs.hh
BHRZ03_Certificate.defs.hh Bounding_Box.defs.hh
DB_Row.defs.hh Determinate.defs.hh
GMP_Integer.defs.hh GMP_Integer.inlines.hh
H79_Certificate.defs.hh Init.cc Linear_Row.cc
Linear_System.cc Makefile.am Matrix.cc
Matrix.inlines.hh Polyhedra_Powerset.defs.hh
Polyhedron.defs.hh Row.cc Row.defs.hh
Saturation_Matrix.cc Saturation_Row.defs.hh
Variable.defs.hh conversion.cc globals.cc
globals.defs.hh simplex.cc
Added files:
src : globals.types.hh
Log message:
Memory size inspection functions and methods should always return a
memory_size_type.
Header file global.types.hh split from global.defs.hh.
Only include global.types.hh when possible.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.defs.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.hh.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&r1=1.55&r2=1.56
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.117&r2=1.118
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.82&r2=1.83
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.278&r2=1.279
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.85&r2=1.86
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&r1=1.95&r2=1.96
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.defs.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsroot=ppl&r1=1.46&r2=1.47
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.70&r2=1.71
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
More information about the PPL-devel
mailing list