[PPL-devel] ppl ./NEWS ./configure.ac demos/ppl_lcdd/ppl_l ...
Roberto Bagnara
bagnara at cs.unipr.it
Fri Jun 8 17:40:17 CEST 2007
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2007-06-08 17:40:17
Modified files:
. : NEWS configure.ac
demos/ppl_lcdd : ppl_lcdd.cc
demos/ppl_lpsol: ppl_lpsol.c
interfaces/C : ppl_interface_generator_c_cc_preamble
interfaces/Prolog/SICStus: sicstus_cfli.ic
interfaces/Prolog/SWI: swi_cfli.hh
m4 : Makefile.am ac_check_fpu_control.m4
ac_cxx_double_binary_format.m4
ac_cxx_float_binary_format.m4
ac_cxx_long_double_binary_format.m4
src : BD_Shape.cc BHRZ03_Certificate.cc Bit_Matrix.cc
Bit_Row.cc Bit_Row.inlines.hh Box.cc
C_Integer.hh C_Polyhedron.cc Checked_Number.cc
Coefficient.cc Coefficient.defs.hh
Coefficient.types.hh Congruence.cc
Congruence_System.cc Constraint.cc
Constraint_System.cc DB_Row.defs.hh
DB_Row.inlines.hh DB_Row.templates.hh Float.cc
Float.defs.hh Float.inlines.hh
GMP_Integer.inlines.hh Generator.cc
Generator_System.cc Grid_Certificate.cc
Grid_Generator.cc Grid_Generator_System.cc
Grid_Status.cc Grid_chdims.cc
Grid_conversion.cc Grid_nonpublic.cc
Grid_public.cc Grid_simplify.cc
Grid_widenings.cc H79_Certificate.cc Init.cc
Linear_Expression.cc Linear_Row.cc
Linear_System.cc MIP_Problem.cc Matrix.cc
NNC_Polyhedron.cc Octagonal_Shape.cc
Ph_Status.cc Pointset_Ask_Tell.cc
Pointset_Powerset.cc Poly_Con_Relation.cc
Poly_Gen_Relation.cc Polyhedron_chdims.cc
Polyhedron_nonpublic.cc Polyhedron_public.cc
Polyhedron_widenings.cc Row.cc Row.defs.hh
Row.inlines.hh Scalar_Products.cc Variable.cc
Variables_Set.cc checked.cc checked.inlines.hh
checked_float.inlines.hh checked_int.inlines.hh
checked_mpz.inlines.hh conversion.cc
fpu-c99.inlines.hh fpu-sparc.inlines.hh
fpu.defs.hh fpu.types.hh globals.cc minimize.cc
mp_std_bits.cc ppl-config.cc.in ppl_header.hh
simplify.cc version.cc
tests : FCAIBVP.cc Partial_Function.cc ppl_test.cc
ppl_test.hh print.hh
tests/Polyhedron: memory1.cc memory2.cc
utils : timings.cc
Added files:
m4 : ax_prefix_config_h.m4
Log message:
The `ppl.hh' header file no longer defines macros not prefixed by "PPL_".
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.206&r2=1.207
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&r1=1.268&r2=1.269
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&r1=1.58&r2=1.59
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.diff?cvsroot=ppl&r1=1.68&r2=1.69
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_preamble.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sicstus_cfli.ic.diff?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfli.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ax_prefix_config_h.m4?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_binary_format.m4.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_binary_format.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_binary_format.m4.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Integer.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.defs.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.65&r2=1.66
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.templates.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.73&r2=1.74
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsroot=ppl&r1=1.32&r2=1.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc.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.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.42&r2=1.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroot=ppl&r1=1.52&r2=1.53
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.95&r2=1.96
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&r1=1.42&r2=1.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.77&r2=1.78
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.92&r2=1.93
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.61&r2=1.62
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.102&r2=1.103
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&r1=1.110&r2=1.111
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroot=ppl&r1=1.64&r2=1.65
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variables_Set.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cvsroot=ppl&r1=1.36&r2=1.37
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.diff?cvsroot=ppl&r1=1.77&r2=1.78
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.diff?cvsroot=ppl&r1=1.60&r2=1.61
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.81&r2=1.82
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-sparc.inlines.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.types.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&r1=1.46&r2=1.47
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_std_bits.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&r1=1.47&r2=1.48
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partial_Function.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=ppl&r1=1.40&r2=1.41
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/timings.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
More information about the PPL-devel
mailing list