PPL-devel

Thread Start a new thread

Download

ppl-devel@bugseng.com

January 2018

4 participants
6 discussions

OpenMP & PPL
by Thomas LE MÉZO 05 Jan '18

05 Jan '18

Dear Enea, Dear all, I tried recently to implement a multi-thread version of my thesis code using PPL library. I used OpenMP and the last version of ppl on devel git branch as I read you have been working on a thread-safe implementation (thread-safe option with configure). I didn't succeed in writing a correct program; see for instance this simple code that return a segmentation fault : #include <omp.h> namespace PPL = Parma_Polyhedra_Library; int main(){ #pragma omp parallel for for(int i=0; i<1000; i++){ PPL::C_Polyhedron ph1(3); // => segmentation fault at line 83 of Linear_Expression.cc PPL::C_Polyhedron ph2(3); ph1.intersection_assign(ph2); } return 0; } Would you have any idea about what is wrong? Is PPL compatible with using OpenMP? Thanks a lot in advance, Thomas

2 5

[GIT] ppl/ppl(devel): Merge branch 'master' into devel.
by Roberto Bagnara 01 Jan '18

01 Jan '18

Module: ppl/ppl Branch: devel Commit: 6fc2c026450539ea8e0cff8b123833db9a1fd191 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fc2c0264505… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 1 19:49:09 2018 +0100 Merge branch 'master' into devel. ---

1 0

[GIT] ppl/ppl(devel): Bumped copyright years.
by Roberto Bagnara 01 Jan '18

01 Jan '18

Module: ppl/ppl Branch: devel Commit: 3a5e1e20a94cffb830182f22132b153d6691b7c5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a5e1e20a94c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Jan 1 19:38:59 2018 +0100 Bumped copyright years. --- Makefile.am | 2 +- NEWS | 2 +- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- configure.ac | 2 +- debian/libppl-pwl.copyright.in | 2 +- debian/libppl.copyright.in | 2 +- demos/Makefile.am | 2 +- demos/ppl_lcdd/Makefile.am | 2 +- demos/ppl_lcdd/examples/Makefile.am | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- demos/ppl_lcdd/ppl_lcdd_extra_man_text | 2 +- demos/ppl_lpsol/Makefile.am | 2 +- demos/ppl_lpsol/dummy.cc | 2 +- demos/ppl_lpsol/examples/Makefile.am | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.c | 2 +- demos/ppl_lpsol/ppl_lpsol_extra_man_text | 2 +- demos/ppl_pips/Makefile.am | 2 +- demos/ppl_pips/examples/Makefile.am | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- demos/ppl_pips/ppl_pips.cc | 2 +- demos/ppl_pips/ppl_pips_extra_man_text | 2 +- devtools/bump_copyright_years | 2 +- devtools/generate_dox_biblio | 2 +- devtools/generate_man_pages | 2 +- devtools/print_nonascii_lines | 2 +- devtools/update_ChangeLog | 2 +- doc/Makefile.am | 2 +- doc/README.doc | 4 ++-- doc/definitions.dox | 2 +- doc/devref-language-interface.tex | 4 ++-- doc/devref.tex | 4 ++-- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 2 +- doc/ppl-config_extra_man_text | 2 +- doc/ppl.bib | 2 +- doc/ppl.sty | 2 +- doc/ppl_citations.bib | 2 +- doc/user-language-interface.tex | 4 ++-- doc/user.tex | 4 ++-- fedora/ppl.hh | 2 +- fedora/ppl_c.h | 2 +- fedora/pwl.hh | 2 +- instchk.hh | 2 +- interfaces/C/C_interface.dox | 2 +- interfaces/C/Makefile.am | 2 +- interfaces/C/ppl_c_header.h | 2 +- interfaces/C/ppl_c_implementation_common.cc | 2 +- interfaces/C/ppl_c_implementation_common_defs.hh | 2 +- .../C/ppl_c_implementation_common_inlines.hh | 2 +- interfaces/C/ppl_c_version.h.in | 2 +- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 2 +- interfaces/C/ppl_interface_generator_c_cc_files.m4 | 2 +- interfaces/C/ppl_interface_generator_c_h.m4 | 2 +- interfaces/C/ppl_interface_generator_c_h_code.m4 | 2 +- interfaces/C/ppl_interface_generator_c_hh_files.m4 | 2 +- ...l_interface_generator_c_procedure_generators.m4 | 2 +- interfaces/C/tests/Makefile.am | 2 +- interfaces/C/tests/formatted_output.c | 2 +- interfaces/C/tests/pip_test.c | 2 +- interfaces/C/tests/ppl_c_test.cc | 2 +- interfaces/C/tests/ppl_c_test.h | 2 +- interfaces/C/tests/print_to_buffer.c | 2 +- interfaces/C/tests/print_to_buffer.h | 2 +- interfaces/C/tests/watchdog1.c | 2 +- interfaces/C/tests/weightwatch1.c | 2 +- interfaces/Java/Makefile.am | 2 +- interfaces/Java/README.java | 2 +- interfaces/Java/jni/Makefile.am | 2 +- ...ppl_interface_generator_java_classes_cc_code.m4 | 2 +- ...pl_interface_generator_java_classes_cc_files.m4 | 2 +- interfaces/Java/jni/ppl_java_common.cc | 2 +- interfaces/Java/jni/ppl_java_common_defs.hh | 2 +- interfaces/Java/jni/ppl_java_common_inlines.hh | 2 +- interfaces/Java/jni/ppl_java_globals.cc | 2 +- .../Artificial_Parameter.java | 2 +- .../Artificial_Parameter_Sequence.java | 2 +- .../Bounded_Integer_Type_Overflow.java | 2 +- .../Bounded_Integer_Type_Representation.java | 2 +- .../Bounded_Integer_Type_Width.java | 2 +- .../Java/parma_polyhedra_library/By_Reference.java | 2 +- .../Java/parma_polyhedra_library/Coefficient.java | 2 +- .../parma_polyhedra_library/Complexity_Class.java | 2 +- .../Java/parma_polyhedra_library/Congruence.java | 2 +- .../parma_polyhedra_library/Congruence_System.java | 2 +- .../Java/parma_polyhedra_library/Constraint.java | 2 +- .../parma_polyhedra_library/Constraint_System.java | 2 +- .../Control_Parameter_Name.java | 2 +- .../Control_Parameter_Value.java | 2 +- .../Degenerate_Element.java | 2 +- .../Domain_Error_Exception.java | 2 +- .../Fake_Class_for_Doxygen.java | 2 +- .../Java/parma_polyhedra_library/Generator.java | 2 +- .../parma_polyhedra_library/Generator_System.java | 2 +- .../parma_polyhedra_library/Generator_Type.java | 2 +- .../parma_polyhedra_library/Grid_Generator.java | 2 +- .../Grid_Generator_System.java | 2 +- .../Grid_Generator_Type.java | 2 +- interfaces/Java/parma_polyhedra_library/IO.java | 2 +- .../Invalid_Argument_Exception.java | 2 +- .../Length_Error_Exception.java | 2 +- .../parma_polyhedra_library/Linear_Expression.java | 2 +- .../Linear_Expression_Coefficient.java | 2 +- .../Linear_Expression_Difference.java | 2 +- .../Linear_Expression_Sum.java | 2 +- .../Linear_Expression_Times.java | 2 +- .../Linear_Expression_Unary_Minus.java | 2 +- .../Linear_Expression_Variable.java | 2 +- .../Logic_Error_Exception.java | 2 +- .../Java/parma_polyhedra_library/MIP_Problem.java | 2 +- .../MIP_Problem_Status.java | 2 +- .../Java/parma_polyhedra_library/Makefile.am | 2 +- .../parma_polyhedra_library/Optimization_Mode.java | 2 +- .../Overflow_Error_Exception.java | 2 +- .../parma_polyhedra_library/PIP_Decision_Node.java | 2 +- .../Java/parma_polyhedra_library/PIP_Problem.java | 2 +- .../PIP_Problem_Control_Parameter_Name.java | 2 +- .../PIP_Problem_Control_Parameter_Value.java | 2 +- .../PIP_Problem_Status.java | 2 +- .../parma_polyhedra_library/PIP_Solution_Node.java | 2 +- .../parma_polyhedra_library/PIP_Tree_Node.java | 2 +- .../Java/parma_polyhedra_library/PPL_Object.java | 2 +- interfaces/Java/parma_polyhedra_library/Pair.java | 2 +- .../Parma_Polyhedra_Library.java | 2 +- .../parma_polyhedra_library/Partial_Function.java | 2 +- .../parma_polyhedra_library/Poly_Con_Relation.java | 2 +- .../parma_polyhedra_library/Poly_Gen_Relation.java | 2 +- .../parma_polyhedra_library/Relation_Symbol.java | 2 +- .../parma_polyhedra_library/Timeout_Exception.java | 2 +- .../Java/parma_polyhedra_library/Variable.java | 2 +- .../Variable_Stringifier.java | 2 +- .../parma_polyhedra_library/Variables_Set.java | 2 +- .../ppl_interface_generator_java_classes_java.m4 | 2 +- ...l_interface_generator_java_classes_java_code.m4 | 2 +- ...nterface_generator_java_procedure_generators.m4 | 2 +- interfaces/Java/tests/C_Polyhedron_test1.java | 2 +- .../Java/tests/Custom_Variable_Stringifier.java | 2 +- interfaces/Java/tests/MIP_Problem_test1.java | 2 +- interfaces/Java/tests/Makefile.am | 2 +- interfaces/Java/tests/NNC_Polyhedron_test1.java | 2 +- interfaces/Java/tests/PIP_Problem_test1.java | 2 +- interfaces/Java/tests/PPL_Test.java | 2 +- .../Java/tests/Parma_Polyhedra_Library_test1.java | 2 +- .../Java/tests/Parma_Polyhedra_Library_test2.java | 2 +- interfaces/Java/tests/Test_Executor.java | 2 +- interfaces/Java/tests/Variable_Output_test1.java | 2 +- .../ppl_interface_generator_java_test_java.m4 | 2 +- .../ppl_interface_generator_java_test_java_code.m4 | 2 +- interfaces/Java/tests/ppl_java_tests_common | 2 +- interfaces/Makefile.am | 2 +- interfaces/OCaml/Makefile.am | 2 +- interfaces/OCaml/OCaml_interface.dox | 2 +- interfaces/OCaml/README.ocaml | 2 +- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +- .../ppl_interface_generator_ocaml_cc_files.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 2 +- .../ppl_interface_generator_ocaml_hh_files.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_ml.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_mli.m4 | 2 +- .../ppl_interface_generator_ocaml_mli_code.m4 | 2 +- ...terface_generator_ocaml_procedure_generators.m4 | 2 +- interfaces/OCaml/ppl_ocaml_common.cc | 2 +- interfaces/OCaml/ppl_ocaml_common_defs.hh | 2 +- interfaces/OCaml/ppl_ocaml_common_inlines.hh | 2 +- interfaces/OCaml/ppl_ocaml_globals.ml | 2 +- interfaces/OCaml/ppl_ocaml_globals.mli | 2 +- interfaces/OCaml/tests/Makefile.am | 2 +- .../tests/ppl_interface_generator_ocaml_test_ml.m4 | 2 +- .../ppl_interface_generator_ocaml_test_ml_code.m4 | 2 +- interfaces/OCaml/tests/ppl_ocaml_tests_common | 2 +- interfaces/OCaml/tests/test1.ml | 2 +- interfaces/Prolog/Ciao/Makefile.am | 2 +- interfaces/Prolog/Ciao/README.ciao | 2 +- interfaces/Prolog/Ciao/ciao_cfli.hh | 2 +- interfaces/Prolog/Ciao/ciao_clpq.pl | 2 +- interfaces/Prolog/Ciao/ciao_clpq2.pl | 2 +- interfaces/Prolog/Ciao/ciao_efli.cc | 2 +- interfaces/Prolog/Ciao/ciao_efli.hh | 2 +- interfaces/Prolog/Ciao/ciao_pl_check.pl | 2 +- .../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 2 +- ...face_generator_ciao_prolog_generated_test_pl.m4 | 2 +- interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/GNU/Makefile.am | 2 +- interfaces/Prolog/GNU/README.gprolog | 2 +- interfaces/Prolog/GNU/gnu_pl_check.pl | 2 +- interfaces/Prolog/GNU/gnu_prolog_generated_test.pl | 2 +- interfaces/Prolog/GNU/gp_clpq.pl | 2 +- interfaces/Prolog/GNU/gprolog_cfli.hh | 2 +- interfaces/Prolog/GNU/gprolog_efli.cc | 2 +- interfaces/Prolog/GNU/gprolog_efli.hh | 2 +- .../GNU/ppl_interface_generator_gprolog_pl.m4 | 2 +- interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/Makefile.am | 2 +- interfaces/Prolog/Prolog_configured_interface.dox | 2 +- interfaces/Prolog/Prolog_interface.dox | 2 +- interfaces/Prolog/Prolog_interface_compilation.dox | 2 +- interfaces/Prolog/Prolog_interface_sysdep.dox | 2 +- interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +- .../Prolog/Prolog_interface_sysindep_domains.dox | 2 +- interfaces/Prolog/SICStus/Makefile.am | 2 +- .../ppl_interface_generator_sicstus_sd_cc.m4 | 2 +- interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/SICStus/ppl_sicstus.pl | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.cc | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.h | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.ic | 2 +- interfaces/Prolog/SICStus/sicstus_efli.cc | 2 +- interfaces/Prolog/SICStus/sicstus_efli.hh | 2 +- interfaces/Prolog/SICStus/sp_clpq.pl | 2 +- interfaces/Prolog/SICStus/sp_pl_check.pl | 2 +- .../Prolog/SICStus/sp_prolog_generated_test.pl | 2 +- interfaces/Prolog/SWI/Makefile.am | 2 +- interfaces/Prolog/SWI/README.swiprolog | 2 +- interfaces/Prolog/SWI/pl_clpq.cc | 2 +- interfaces/Prolog/SWI/pl_clpq.pl | 2 +- .../SWI/ppl_interface_generator_swiprolog_cc.m4 | 2 +- interfaces/Prolog/SWI/ppl_pl.cc | 2 +- interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/SWI/ppl_swiprolog.hh | 2 +- interfaces/Prolog/SWI/ppl_swiprolog.pl | 2 +- interfaces/Prolog/SWI/swi_cfli.hh | 2 +- interfaces/Prolog/SWI/swi_efli.cc | 2 +- interfaces/Prolog/SWI/swi_efli.hh | 2 +- interfaces/Prolog/SWI/swi_pl_check.pl | 2 +- interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 2 +- interfaces/Prolog/XSB/Makefile.am | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_hh.m4 | 2 +- ...erface_generator_xsb_prolog_generated_test_P.m4 | 2 +- interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/XSB/xsb_cfli.hh | 2 +- interfaces/Prolog/XSB/xsb_clpq.P | 2 +- interfaces/Prolog/XSB/xsb_clpq2.P | 2 +- interfaces/Prolog/XSB/xsb_efli.cc | 2 +- interfaces/Prolog/XSB/xsb_efli.hh | 2 +- interfaces/Prolog/XSB/xsb_pl_check.P | 2 +- interfaces/Prolog/YAP/Makefile.am | 2 +- interfaces/Prolog/YAP/README.yap | 2 +- .../Prolog/YAP/ppl_interface_generator_yap_cc.m4 | 2 +- interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/YAP/ppl_yap.pl | 2 +- interfaces/Prolog/YAP/yap_cfli.hh | 2 +- interfaces/Prolog/YAP/yap_clpq.pl | 2 +- interfaces/Prolog/YAP/yap_clpq2.pl | 2 +- interfaces/Prolog/YAP/yap_efli.cc | 2 +- interfaces/Prolog/YAP/yap_efli.hh | 2 +- interfaces/Prolog/YAP/yap_pl_check.pl | 2 +- interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 2 +- .../ppl_interface_generator_prolog_cc_code.m4 | 2 +- .../ppl_interface_generator_prolog_cc_files.m4 | 2 +- .../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +- .../ppl_interface_generator_prolog_dox_code.m4 | 2 +- .../ppl_interface_generator_prolog_hh_code.m4 | 2 +- .../ppl_interface_generator_prolog_hh_files.m4 | 2 +- ...erface_generator_prolog_procedure_generators.m4 | 2 +- .../ppl_interface_generator_prolog_systems.m4 | 2 +- interfaces/Prolog/ppl_prolog_common.cc | 2 +- interfaces/Prolog/ppl_prolog_common_defs.hh | 2 +- interfaces/Prolog/ppl_prolog_common_inlines.hh | 2 +- interfaces/Prolog/tests/Makefile.am | 2 +- interfaces/Prolog/tests/clpq.pl | 4 ++-- interfaces/Prolog/tests/clpq2.pl | 4 ++-- interfaces/Prolog/tests/expected_clpq2_int16 | 2 +- interfaces/Prolog/tests/expected_clpq2_int16_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int32 | 2 +- interfaces/Prolog/tests/expected_clpq2_int32_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int64 | 2 +- interfaces/Prolog/tests/expected_clpq2_int64_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int8 | 2 +- interfaces/Prolog/tests/expected_clpq2_int8_a | 2 +- interfaces/Prolog/tests/expected_clpq2_mpz | 2 +- interfaces/Prolog/tests/expected_clpq2_mpz_a | 2 +- interfaces/Prolog/tests/expected_clpq_int16 | 2 +- interfaces/Prolog/tests/expected_clpq_int16_a | 2 +- interfaces/Prolog/tests/expected_clpq_int32 | 2 +- interfaces/Prolog/tests/expected_clpq_int32_a | 2 +- interfaces/Prolog/tests/expected_clpq_int64 | 2 +- interfaces/Prolog/tests/expected_clpq_int64_a | 2 +- interfaces/Prolog/tests/expected_clpq_int8 | 2 +- interfaces/Prolog/tests/expected_clpq_int8_a | 2 +- interfaces/Prolog/tests/expected_clpq_mpz | 2 +- interfaces/Prolog/tests/expected_clpq_mpz_a | 2 +- interfaces/Prolog/tests/pl_check.pl | 2 +- ...interface_generator_prolog_generated_test_pl.m4 | 2 +- ...face_generator_prolog_generated_test_pl_code.m4 | 2 +- .../tests/ppl_prolog_generated_test_common.pl | 2 +- interfaces/Python/ppl_py.cc | 2 +- interfaces/Python/ppl_py.py | 2 +- interfaces/interfaced_boxes.hh | 2 +- interfaces/marked_pointers.hh | 2 +- interfaces/ppl_interface_generator_common.m4 | 2 +- interfaces/ppl_interface_generator_common_dat.m4 | 2 +- ...erface_generator_common_procedure_generators.m4 | 2 +- interfaces/ppl_interface_generator_copyright | 2 +- m4/Makefile.am | 2 +- m4/ac_check_ciao.m4 | 2 +- m4/ac_check_cxx11.m4 | 2 +- m4/ac_check_fpu_control.m4 | 2 +- m4/ac_check_gmp.m4 | 2 +- m4/ac_check_sicstus_prolog.m4 | 2 +- m4/ac_check_swi_prolog.m4 | 2 +- m4/ac_check_xsb_prolog.m4 | 2 +- m4/ac_check_yap.m4 | 2 +- m4/ac_cxx_attribute_weak.m4 | 2 +- m4/ac_cxx_double_binary_format.m4 | 2 +- m4/ac_cxx_float_binary_format.m4 | 2 +- m4/ac_cxx_ieee_inexact_flag.m4 | 2 +- m4/ac_cxx_limit_memory.m4 | 2 +- m4/ac_cxx_long_double_binary_format.m4 | 2 +- m4/ac_cxx_plain_char_is_signed.m4 | 2 +- m4/ac_cxx_proper_long_double.m4 | 2 +- m4/ac_cxx_zero_length_arrays.m4 | 2 +- m4/ac_prog_jar.m4 | 2 +- m4/ac_prog_java.m4 | 2 +- m4/ac_prog_javac.m4 | 4 ++-- m4/ac_prog_javah.m4 | 2 +- m4/ac_text_md5sum.m4 | 2 +- m4/ppl.m4 | 2 +- m4/ppl_c.m4 | 2 +- src/Affine_Space.cc | 2 +- src/Affine_Space_defs.hh | 2 +- src/Affine_Space_inlines.hh | 2 +- src/Affine_Space_types.hh | 2 +- src/Any_Pointset_defs.hh | 2 +- src/Any_Pointset_inlines.hh | 2 +- src/Any_Pointset_types.hh | 2 +- src/Ask_Tell_defs.hh | 2 +- src/Ask_Tell_inlines.hh | 2 +- src/Ask_Tell_templates.hh | 2 +- src/Ask_Tell_types.hh | 2 +- src/BDS_Status.cc | 2 +- src/BDS_Status_idefs.hh | 2 +- src/BDS_Status_inlines.hh | 2 +- src/BD_Shape.cc | 2 +- src/BD_Shape_defs.hh | 2 +- src/BD_Shape_inlines.hh | 2 +- src/BD_Shape_templates.hh | 2 +- src/BD_Shape_types.hh | 2 +- src/BHRZ03_Certificate.cc | 2 +- src/BHRZ03_Certificate_defs.hh | 2 +- src/BHRZ03_Certificate_inlines.hh | 2 +- src/BHRZ03_Certificate_types.hh | 2 +- src/Bit_Matrix.cc | 2 +- src/Bit_Matrix_defs.hh | 2 +- src/Bit_Matrix_inlines.hh | 2 +- src/Bit_Matrix_types.hh | 2 +- src/Bit_Row.cc | 2 +- src/Bit_Row_defs.hh | 2 +- src/Bit_Row_inlines.hh | 2 +- src/Bit_Row_types.hh | 2 +- src/Boundary_defs.hh | 2 +- src/Box.cc | 2 +- src/Box_Status.cc | 2 +- src/Box_Status_idefs.hh | 2 +- src/Box_Status_inlines.hh | 2 +- src/Box_defs.hh | 2 +- src/Box_inlines.hh | 2 +- src/Box_templates.hh | 2 +- src/Box_types.hh | 2 +- src/CO_Tree.cc | 2 +- src/CO_Tree_defs.hh | 2 +- src/CO_Tree_inlines.hh | 2 +- src/CO_Tree_templates.hh | 2 +- src/CO_Tree_types.hh | 2 +- src/C_Integer.hh | 2 +- src/C_Polyhedron.cc | 2 +- src/C_Polyhedron_defs.hh | 2 +- src/C_Polyhedron_inlines.hh | 2 +- src/C_Polyhedron_types.hh | 2 +- src/Cast_Floating_Point_Expression_defs.hh | 2 +- src/Cast_Floating_Point_Expression_inlines.hh | 2 +- src/Cast_Floating_Point_Expression_templates.hh | 2 +- src/Cast_Floating_Point_Expression_types.hh | 2 +- src/Checked_Number.cc | 2 +- src/Checked_Number_defs.hh | 2 +- src/Checked_Number_inlines.hh | 2 +- src/Checked_Number_templates.hh | 2 +- src/Checked_Number_types.hh | 2 +- src/Coefficient.cc | 2 +- src/Coefficient_defs.hh | 2 +- src/Coefficient_inlines.hh | 2 +- src/Coefficient_traits_template.hh | 2 +- src/Coefficient_types.hh | 2 +- src/Concrete_Expression.cc | 2 +- src/Concrete_Expression_defs.hh | 2 +- src/Concrete_Expression_inlines.hh | 2 +- src/Concrete_Expression_types.hh | 2 +- src/Congruence.cc | 2 +- src/Congruence_System.cc | 2 +- src/Congruence_System_defs.hh | 2 +- src/Congruence_System_inlines.hh | 2 +- src/Congruence_System_types.hh | 2 +- src/Congruence_defs.hh | 2 +- src/Congruence_inlines.hh | 2 +- src/Congruence_types.hh | 2 +- src/Constant_Floating_Point_Expression_defs.hh | 2 +- src/Constant_Floating_Point_Expression_inlines.hh | 2 +- src/Constant_Floating_Point_Expression_types.hh | 2 +- src/Constraint.cc | 2 +- src/Constraint_System.cc | 2 +- src/Constraint_System_defs.hh | 2 +- src/Constraint_System_inlines.hh | 2 +- src/Constraint_System_types.hh | 2 +- src/Constraint_defs.hh | 2 +- src/Constraint_inlines.hh | 2 +- src/Constraint_types.hh | 2 +- src/DB_Matrix_defs.hh | 2 +- src/DB_Matrix_inlines.hh | 2 +- src/DB_Matrix_templates.hh | 2 +- src/DB_Matrix_types.hh | 2 +- src/DB_Row_defs.hh | 2 +- src/DB_Row_inlines.hh | 2 +- src/DB_Row_templates.hh | 2 +- src/DB_Row_types.hh | 2 +- src/Dense_Row.cc | 2 +- src/Dense_Row_defs.hh | 2 +- src/Dense_Row_inlines.hh | 2 +- src/Dense_Row_templates.hh | 2 +- src/Dense_Row_types.hh | 2 +- src/Determinate_defs.hh | 2 +- src/Determinate_inlines.hh | 2 +- src/Determinate_types.hh | 2 +- src/Difference_Floating_Point_Expression_defs.hh | 2 +- ...Difference_Floating_Point_Expression_inlines.hh | 2 +- ...fference_Floating_Point_Expression_templates.hh | 2 +- src/Difference_Floating_Point_Expression_types.hh | 2 +- src/Division_Floating_Point_Expression_defs.hh | 2 +- src/Division_Floating_Point_Expression_inlines.hh | 2 +- ...Division_Floating_Point_Expression_templates.hh | 2 +- src/Division_Floating_Point_Expression_types.hh | 2 +- src/Doubly_Linked_Object_defs.hh | 2 +- src/Doubly_Linked_Object_inlines.hh | 2 +- src/Doubly_Linked_Object_types.hh | 2 +- src/EList_Iterator_defs.hh | 2 +- src/EList_Iterator_inlines.hh | 2 +- src/EList_Iterator_types.hh | 2 +- src/EList_defs.hh | 2 +- src/EList_inlines.hh | 2 +- src/EList_types.hh | 2 +- src/Expression_Adapter_defs.hh | 2 +- src/Expression_Adapter_inlines.hh | 2 +- src/Expression_Adapter_types.hh | 2 +- src/Expression_Hide_Inhomo_defs.hh | 2 +- src/Expression_Hide_Inhomo_inlines.hh | 2 +- src/Expression_Hide_Inhomo_types.hh | 2 +- src/Expression_Hide_Last_defs.hh | 2 +- src/Expression_Hide_Last_inlines.hh | 2 +- src/Expression_Hide_Last_types.hh | 2 +- src/Float.cc | 2 +- src/Float_defs.hh | 2 +- src/Float_inlines.hh | 2 +- src/Float_templates.hh | 2 +- src/Floating_Point_Expression_defs.hh | 2 +- src/Floating_Point_Expression_inlines.hh | 2 +- src/Floating_Point_Expression_templates.hh | 2 +- src/Floating_Point_Expression_types.hh | 2 +- src/GMP_Integer_defs.hh | 2 +- src/GMP_Integer_inlines.hh | 2 +- src/GMP_Integer_types.hh | 2 +- src/Generator.cc | 2 +- src/Generator_System.cc | 2 +- src/Generator_System_defs.hh | 2 +- src/Generator_System_inlines.hh | 2 +- src/Generator_System_types.hh | 2 +- src/Generator_defs.hh | 2 +- src/Generator_inlines.hh | 2 +- src/Generator_types.hh | 2 +- src/Grid_Certificate.cc | 2 +- src/Grid_Certificate_defs.hh | 2 +- src/Grid_Certificate_inlines.hh | 2 +- src/Grid_Certificate_types.hh | 2 +- src/Grid_Generator.cc | 2 +- src/Grid_Generator_System.cc | 2 +- src/Grid_Generator_System_defs.hh | 2 +- src/Grid_Generator_System_inlines.hh | 2 +- src/Grid_Generator_System_types.hh | 2 +- src/Grid_Generator_defs.hh | 2 +- src/Grid_Generator_inlines.hh | 2 +- src/Grid_Generator_types.hh | 2 +- src/Grid_Status.cc | 2 +- src/Grid_Status_idefs.hh | 2 +- src/Grid_Status_inlines.hh | 2 +- src/Grid_chdims.cc | 2 +- src/Grid_conversion.cc | 2 +- src/Grid_defs.hh | 2 +- src/Grid_inlines.hh | 2 +- src/Grid_nonpublic.cc | 2 +- src/Grid_public.cc | 2 +- src/Grid_simplify.cc | 2 +- src/Grid_templates.hh | 2 +- src/Grid_types.hh | 2 +- src/Grid_widenings.cc | 2 +- src/H79_Certificate.cc | 2 +- src/H79_Certificate_defs.hh | 2 +- src/H79_Certificate_inlines.hh | 2 +- src/H79_Certificate_types.hh | 2 +- src/Handler.cc | 2 +- src/Handler_defs.hh | 2 +- src/Handler_inlines.hh | 2 +- src/Handler_types.hh | 2 +- src/Has_Assign_Or_Swap.hh | 2 +- src/Init.cc | 2 +- src/Init_defs.hh | 2 +- src/Init_inlines.hh | 2 +- src/Init_types.hh | 2 +- src/Integer_Interval.hh | 2 +- src/Interval_Info_defs.hh | 2 +- src/Interval_Info_inlines.hh | 2 +- src/Interval_Info_types.hh | 2 +- src/Interval_defs.hh | 2 +- src/Interval_inlines.hh | 2 +- src/Interval_templates.hh | 2 +- src/Interval_types.hh | 2 +- src/Linear_Expression.cc | 2 +- src/Linear_Expression_Impl.cc | 2 +- src/Linear_Expression_Impl_defs.hh | 2 +- src/Linear_Expression_Impl_inlines.hh | 2 +- src/Linear_Expression_Impl_templates.hh | 2 +- src/Linear_Expression_Impl_types.hh | 2 +- src/Linear_Expression_Interface.cc | 2 +- src/Linear_Expression_Interface_defs.hh | 2 +- src/Linear_Expression_Interface_types.hh | 2 +- src/Linear_Expression_defs.hh | 2 +- src/Linear_Expression_inlines.hh | 2 +- src/Linear_Expression_types.hh | 2 +- src/Linear_Form.cc | 2 +- src/Linear_Form_defs.hh | 2 +- src/Linear_Form_inlines.hh | 2 +- src/Linear_Form_templates.hh | 2 +- src/Linear_Form_types.hh | 2 +- src/Linear_System_defs.hh | 2 +- src/Linear_System_inlines.hh | 2 +- src/Linear_System_templates.hh | 2 +- src/Linear_System_types.hh | 2 +- src/MIP_Problem.cc | 2 +- src/MIP_Problem_defs.hh | 2 +- src/MIP_Problem_inlines.hh | 2 +- src/MIP_Problem_templates.hh | 2 +- src/MIP_Problem_types.hh | 2 +- src/Makefile.am | 2 +- src/Matrix_defs.hh | 2 +- src/Matrix_inlines.hh | 2 +- src/Matrix_templates.hh | 2 +- src/Matrix_types.hh | 2 +- ...ultiplication_Floating_Point_Expression_defs.hh | 2 +- ...iplication_Floating_Point_Expression_inlines.hh | 2 +- ...lication_Floating_Point_Expression_templates.hh | 2 +- ...ltiplication_Floating_Point_Expression_types.hh | 2 +- src/NNC_Polyhedron.cc | 2 +- src/NNC_Polyhedron_defs.hh | 2 +- src/NNC_Polyhedron_inlines.hh | 2 +- src/NNC_Polyhedron_types.hh | 2 +- src/Numeric_Format_defs.hh | 2 +- src/OR_Matrix_defs.hh | 2 +- src/OR_Matrix_inlines.hh | 2 +- src/OR_Matrix_templates.hh | 2 +- src/OR_Matrix_types.hh | 2 +- src/Octagonal_Shape.cc | 2 +- src/Octagonal_Shape_defs.hh | 2 +- src/Octagonal_Shape_inlines.hh | 2 +- src/Octagonal_Shape_templates.hh | 2 +- src/Octagonal_Shape_types.hh | 2 +- src/Og_Status.cc | 2 +- src/Og_Status_idefs.hh | 2 +- src/Og_Status_inlines.hh | 2 +- src/Opposite_Floating_Point_Expression_defs.hh | 2 +- src/Opposite_Floating_Point_Expression_inlines.hh | 2 +- src/Opposite_Floating_Point_Expression_types.hh | 2 +- src/PIP_Problem.cc | 2 +- src/PIP_Problem_defs.hh | 2 +- src/PIP_Problem_inlines.hh | 2 +- src/PIP_Problem_templates.hh | 2 +- src/PIP_Problem_types.hh | 2 +- src/PIP_Tree.cc | 2 +- src/PIP_Tree_defs.hh | 2 +- src/PIP_Tree_inlines.hh | 2 +- src/PIP_Tree_types.hh | 2 +- src/Partial_Function.cc | 2 +- src/Partial_Function_defs.hh | 2 +- src/Partial_Function_inlines.hh | 2 +- src/Partial_Function_types.hh | 2 +- src/Partially_Reduced_Product_defs.hh | 2 +- src/Partially_Reduced_Product_inlines.hh | 2 +- src/Partially_Reduced_Product_templates.hh | 2 +- src/Partially_Reduced_Product_types.hh | 2 +- src/Pending_Element_defs.hh | 2 +- src/Pending_Element_inlines.hh | 2 +- src/Pending_Element_types.hh | 2 +- src/Pending_List_defs.hh | 2 +- src/Pending_List_inlines.hh | 2 +- src/Pending_List_templates.hh | 2 +- src/Pending_List_types.hh | 2 +- src/Ph_Status.cc | 2 +- src/Ph_Status_idefs.hh | 2 +- src/Ph_Status_inlines.hh | 2 +- src/Pointset_Ask_Tell.cc | 2 +- src/Pointset_Ask_Tell_defs.hh | 2 +- src/Pointset_Ask_Tell_inlines.hh | 2 +- src/Pointset_Ask_Tell_templates.hh | 2 +- src/Pointset_Ask_Tell_types.hh | 2 +- src/Pointset_Powerset.cc | 2 +- src/Pointset_Powerset_defs.hh | 2 +- src/Pointset_Powerset_inlines.hh | 2 +- src/Pointset_Powerset_templates.hh | 2 +- src/Pointset_Powerset_types.hh | 2 +- src/Poly_Con_Relation.cc | 2 +- src/Poly_Con_Relation_defs.hh | 2 +- src/Poly_Con_Relation_inlines.hh | 2 +- src/Poly_Con_Relation_types.hh | 2 +- src/Poly_Gen_Relation.cc | 2 +- src/Poly_Gen_Relation_defs.hh | 2 +- src/Poly_Gen_Relation_inlines.hh | 2 +- src/Poly_Gen_Relation_types.hh | 2 +- src/Polyhedron_chdims.cc | 2 +- src/Polyhedron_chdims_templates.hh | 2 +- src/Polyhedron_conversion_templates.hh | 2 +- src/Polyhedron_defs.hh | 2 +- src/Polyhedron_inlines.hh | 2 +- src/Polyhedron_minimize_templates.hh | 2 +- src/Polyhedron_nonpublic.cc | 2 +- src/Polyhedron_public.cc | 2 +- src/Polyhedron_simplify_templates.hh | 2 +- src/Polyhedron_templates.hh | 2 +- src/Polyhedron_types.hh | 2 +- src/Polyhedron_widenings.cc | 2 +- src/Powerset_defs.hh | 2 +- src/Powerset_inlines.hh | 2 +- src/Powerset_templates.hh | 2 +- src/Powerset_types.hh | 2 +- src/Ptr_Iterator_defs.hh | 2 +- src/Ptr_Iterator_inlines.hh | 2 +- src/Ptr_Iterator_types.hh | 2 +- src/Rational_Box.hh | 2 +- src/Rational_Interval.hh | 2 +- src/Result_defs.hh | 2 +- src/Result_inlines.hh | 2 +- src/Rounding_Dir_defs.hh | 2 +- src/Rounding_Dir_inlines.hh | 2 +- src/Scalar_Products.cc | 2 +- src/Scalar_Products_defs.hh | 2 +- src/Scalar_Products_inlines.hh | 2 +- src/Scalar_Products_types.hh | 2 +- src/Slow_Copy.hh | 2 +- src/Sparse_Row.cc | 2 +- src/Sparse_Row_defs.hh | 2 +- src/Sparse_Row_inlines.hh | 2 +- src/Sparse_Row_templates.hh | 2 +- src/Sparse_Row_types.hh | 2 +- src/Sum_Floating_Point_Expression_defs.hh | 2 +- src/Sum_Floating_Point_Expression_inlines.hh | 2 +- src/Sum_Floating_Point_Expression_templates.hh | 2 +- src/Sum_Floating_Point_Expression_types.hh | 2 +- src/Swapping_Vector_defs.hh | 2 +- src/Swapping_Vector_inlines.hh | 2 +- src/Swapping_Vector_types.hh | 2 +- src/Temp_defs.hh | 2 +- src/Temp_inlines.hh | 2 +- src/Temp_templates.hh | 2 +- src/Threshold_Watcher.cc | 2 +- src/Threshold_Watcher_defs.hh | 2 +- src/Threshold_Watcher_inlines.hh | 2 +- src/Threshold_Watcher_templates.hh | 2 +- src/Threshold_Watcher_types.hh | 2 +- src/Time.cc | 2 +- src/Time_defs.hh | 2 +- src/Time_inlines.hh | 2 +- src/Time_types.hh | 2 +- src/Topology_types.hh | 2 +- src/Variable.cc | 2 +- src/Variable_Floating_Point_Expression_defs.hh | 2 +- src/Variable_Floating_Point_Expression_inlines.hh | 2 +- src/Variable_Floating_Point_Expression_types.hh | 2 +- src/Variable_defs.hh | 2 +- src/Variable_inlines.hh | 2 +- src/Variable_types.hh | 2 +- src/Variables_Set.cc | 2 +- src/Variables_Set_defs.hh | 2 +- src/Variables_Set_inlines.hh | 2 +- src/Variables_Set_types.hh | 2 +- src/WRD_coefficient_types_defs.hh | 2 +- src/WRD_coefficient_types_inlines.hh | 2 +- src/Watchdog.cc | 2 +- src/Watchdog_defs.hh | 2 +- src/Watchdog_inlines.hh | 2 +- src/Watchdog_types.hh | 2 +- src/Weight_Profiler.cc | 2 +- src/Weight_Profiler_defs.hh | 2 +- src/Widening_Function_defs.hh | 2 +- src/Widening_Function_inlines.hh | 2 +- src/Widening_Function_types.hh | 2 +- src/algorithms.hh | 2 +- src/assertions.cc | 2 +- src/assertions.hh | 2 +- src/assign_or_swap.hh | 2 +- src/c_streambuf.cc | 2 +- src/c_streambuf_defs.hh | 2 +- src/c_streambuf_inlines.hh | 2 +- src/c_streambuf_types.hh | 2 +- src/checked.cc | 2 +- src/checked_defs.hh | 2 +- src/checked_ext_defs.hh | 2 +- src/checked_ext_inlines.hh | 2 +- src/checked_float_inlines.hh | 2 +- src/checked_inlines.hh | 2 +- src/checked_int_inlines.hh | 2 +- src/checked_mpq_inlines.hh | 2 +- src/checked_mpz_inlines.hh | 2 +- src/checked_numeric_limits.hh | 2 +- src/compiler.hh | 2 +- src/distances_defs.hh | 2 +- src/distances_inlines.hh | 2 +- src/distances_types.hh | 2 +- src/fpu-c99_inlines.hh | 2 +- src/fpu-ia32.cc | 2 +- src/fpu-ia32_inlines.hh | 2 +- src/fpu-none_inlines.hh | 2 +- src/fpu-sparc_inlines.hh | 2 +- src/fpu_defs.hh | 2 +- src/fpu_types.hh | 2 +- src/globals.cc | 2 +- src/globals_defs.hh | 2 +- src/globals_inlines.hh | 2 +- src/globals_types.hh | 2 +- src/initializer.hh | 2 +- src/intervals_defs.hh | 2 +- src/iterator_to_const_defs.hh | 2 +- src/iterator_to_const_inlines.hh | 2 +- src/iterator_to_const_types.hh | 2 +- src/linearize.hh | 2 +- src/math_utilities_defs.hh | 2 +- src/math_utilities_inlines.hh | 2 +- src/max_space_dimension.hh | 2 +- src/meta_programming.hh | 2 +- src/mp_std_bits.cc | 2 +- src/mp_std_bits_defs.hh | 2 +- src/mp_std_bits_inlines.hh | 2 +- src/namespaces.hh | 2 +- src/ppl-config.cc.in | 2 +- src/ppl_header.hh | 2 +- src/set_GMP_memory_alloc_funcs.cc | 2 +- src/stdiobuf.cc | 2 +- src/stdiobuf_defs.hh | 2 +- src/stdiobuf_inlines.hh | 2 +- src/stdiobuf_types.hh | 2 +- src/swapping_sort_templates.hh | 2 +- src/termination.cc | 2 +- src/termination_defs.hh | 2 +- src/termination_templates.hh | 2 +- src/termination_types.hh | 2 +- src/version.cc | 4 ++-- src/version.hh.in | 2 +- src/wrap_assign.hh | 2 +- src/wrap_string.cc | 2 +- src/wrap_string.hh | 2 +- tests/Ask_Tell/Makefile.am | 2 +- tests/Ask_Tell/append1.cc | 2 +- tests/BD_Shape/Makefile.am | 2 +- tests/BD_Shape/addconstraints1.cc | 2 +- tests/BD_Shape/addspacedims1.cc | 2 +- tests/BD_Shape/affinedimension1.cc | 2 +- tests/BD_Shape/affineimage1.cc | 2 +- tests/BD_Shape/affineimage2.cc | 2 +- tests/BD_Shape/affinepreimage1.cc | 2 +- tests/BD_Shape/ascii_dump_load1.cc | 2 +- tests/BD_Shape/bgp99extrapolation1.cc | 2 +- tests/BD_Shape/bhmz05widening1.cc | 2 +- tests/BD_Shape/bhz03widening1.cc | 2 +- tests/BD_Shape/bounded1.cc | 2 +- tests/BD_Shape/boundedaffineimage1.cc | 2 +- tests/BD_Shape/boundedaffinepreimage1.cc | 2 +- tests/BD_Shape/bounds1.cc | 2 +- tests/BD_Shape/cc76extrapolation1.cc | 2 +- tests/BD_Shape/cc76narrowing1.cc | 2 +- tests/BD_Shape/closure1.cc | 2 +- tests/BD_Shape/concatenate1.cc | 2 +- tests/BD_Shape/congruences1.cc | 2 +- tests/BD_Shape/constrains1.cc | 2 +- tests/BD_Shape/constraints1.cc | 2 +- tests/BD_Shape/contains1.cc | 2 +- tests/BD_Shape/containsintegerpoint1.cc | 2 +- tests/BD_Shape/difference1.cc | 2 +- tests/BD_Shape/discrete1.cc | 2 +- tests/BD_Shape/disjoint1.cc | 2 +- tests/BD_Shape/dropsomenonintegerpoints1.cc | 2 +- tests/BD_Shape/empty1.cc | 2 +- tests/BD_Shape/equality1.cc | 2 +- tests/BD_Shape/expandspacedim1.cc | 2 +- tests/BD_Shape/foldspacedims1.cc | 2 +- tests/BD_Shape/frequency1.cc | 2 +- tests/BD_Shape/frombdshape1.cc | 2 +- tests/BD_Shape/frombox1.cc | 2 +- tests/BD_Shape/fromgensys1.cc | 2 +- tests/BD_Shape/fromgrid1.cc | 2 +- tests/BD_Shape/fromoctagonalshape1.cc | 2 +- tests/BD_Shape/frompolyhedron1.cc | 2 +- tests/BD_Shape/fromspacedim1.cc | 2 +- tests/BD_Shape/generalizedaffineimage1.cc | 2 +- tests/BD_Shape/generalizedaffineimage2.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage1.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage2.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage3.cc | 2 +- tests/BD_Shape/geomcovers1.cc | 2 +- tests/BD_Shape/h79widening1.cc | 2 +- tests/BD_Shape/integerupperboundifexact1.cc | 2 +- tests/BD_Shape/intersection1.cc | 2 +- tests/BD_Shape/limitedbhmz05extrapolation1.cc | 2 +- tests/BD_Shape/limitedcc76extrapolation1.cc | 2 +- tests/BD_Shape/limitedh79extrapolation1.cc | 2 +- tests/BD_Shape/mapspacedims1.cc | 2 +- tests/BD_Shape/max_min1.cc | 2 +- tests/BD_Shape/max_min2.cc | 2 +- tests/BD_Shape/maxspacedim1.cc | 2 +- tests/BD_Shape/membytes1.cc | 2 +- tests/BD_Shape/minconstraints1.cc | 2 +- tests/BD_Shape/relations1.cc | 2 +- tests/BD_Shape/relations2.cc | 2 +- tests/BD_Shape/relations3.cc | 2 +- tests/BD_Shape/relations4.cc | 2 +- tests/BD_Shape/removespacedims1.cc | 2 +- tests/BD_Shape/run_tests | 2 +- tests/BD_Shape/simplifyusingcontext1.cc | 2 +- tests/BD_Shape/timeelapse1.cc | 2 +- tests/BD_Shape/unconstrain1.cc | 2 +- tests/BD_Shape/universe1.cc | 2 +- tests/BD_Shape/upperbound1.cc | 2 +- tests/BD_Shape/upperboundifexact1.cc | 2 +- tests/BD_Shape/wrap1.cc | 2 +- tests/BD_Shape/writebdshape1.cc | 2 +- tests/Box/Makefile.am | 2 +- tests/Box/addconstraints1.cc | 2 +- tests/Box/addspacedims1.cc | 2 +- tests/Box/affinedimension1.cc | 2 +- tests/Box/affineimage1.cc | 2 +- tests/Box/affinepreimage1.cc | 2 +- tests/Box/ascii_dump_load1.cc | 2 +- tests/Box/bgp99extrapolation1.cc | 2 +- tests/Box/bhz03widening1.cc | 2 +- tests/Box/bounded1.cc | 2 +- tests/Box/boundedaffineimage1.cc | 2 +- tests/Box/boundedaffinepreimage1.cc | 2 +- tests/Box/cc76narrowing1.cc | 2 +- tests/Box/cc76widening.cc | 2 +- tests/Box/concatenate1.cc | 2 +- tests/Box/congruences1.cc | 2 +- tests/Box/constrains1.cc | 2 +- tests/Box/constraints1.cc | 2 +- tests/Box/contains1.cc | 2 +- tests/Box/containsintegerpoint1.cc | 2 +- tests/Box/difference1.cc | 2 +- tests/Box/discrete1.cc | 2 +- tests/Box/disjoint1.cc | 2 +- tests/Box/empty1.cc | 2 +- tests/Box/equality1.cc | 2 +- tests/Box/expandspacedim1.cc | 2 +- tests/Box/foldspacedims1.cc | 2 +- tests/Box/frequency1.cc | 2 +- tests/Box/frombdshape1.cc | 2 +- tests/Box/frombox1.cc | 2 +- tests/Box/fromgensys1.cc | 2 +- tests/Box/fromgrid1.cc | 2 +- tests/Box/frompartiallyreducedproduct1.cc | 2 +- tests/Box/frompolyhedron1.cc | 2 +- tests/Box/frompolyhedron2.cc | 2 +- tests/Box/fromspacedim1.cc | 2 +- tests/Box/generalizedaffineimage1.cc | 2 +- tests/Box/generalizedaffineimage2.cc | 2 +- tests/Box/generalizedaffinepreimage1.cc | 2 +- tests/Box/geomcovers1.cc | 2 +- tests/Box/intersection1.cc | 2 +- tests/Box/interval1.cc | 2 +- tests/Box/limitedcc76extrapolation1.cc | 2 +- tests/Box/mapspacedims1.cc | 2 +- tests/Box/max_min1.cc | 2 +- tests/Box/maxspacedim1.cc | 2 +- tests/Box/membytes1.cc | 2 +- tests/Box/minconstraints1.cc | 2 +- tests/Box/propagateconstraints1.cc | 2 +- tests/Box/propagateconstraints2.cc | 2 +- tests/Box/refinewithcongruence1.cc | 2 +- tests/Box/refinewithcongruences1.cc | 2 +- tests/Box/refinewithconstraint1.cc | 2 +- tests/Box/refinewithconstraint2.cc | 2 +- tests/Box/refinewithconstraints1.cc | 2 +- tests/Box/refinewithconstraints2.cc | 2 +- tests/Box/relations1.cc | 2 +- tests/Box/relations2.cc | 2 +- tests/Box/relations3.cc | 2 +- tests/Box/relations4.cc | 2 +- tests/Box/removespacedims1.cc | 2 +- tests/Box/run_tests | 2 +- tests/Box/simplifyusingcontext1.cc | 2 +- tests/Box/timeelapse1.cc | 2 +- tests/Box/topclosed1.cc | 2 +- tests/Box/unconstrain1.cc | 2 +- tests/Box/universe1.cc | 2 +- tests/Box/upperbound1.cc | 2 +- tests/Box/upperboundifexact1.cc | 2 +- tests/Box/wrap1.cc | 2 +- tests/Box/writebox1.cc | 2 +- tests/CO_Tree/Makefile.am | 2 +- tests/CO_Tree/cotree1.cc | 2 +- tests/Concrete_Expression/C_Expr.cc | 2 +- tests/Concrete_Expression/C_Expr_defs.hh | 2 +- tests/Concrete_Expression/C_Expr_inlines.hh | 2 +- tests/Concrete_Expression/C_Expr_types.hh | 2 +- tests/Concrete_Expression/Makefile.am | 2 +- tests/Concrete_Expression/bdshape1.cc | 2 +- tests/Concrete_Expression/bdshape2.cc | 2 +- tests/Concrete_Expression/digitalfilters1.cc | 2 +- tests/Concrete_Expression/linearform1.cc | 2 +- tests/Concrete_Expression/linearize.cc | 2 +- tests/Concrete_Expression/octagonalshape1.cc | 2 +- tests/Concrete_Expression/octagonalshape2.cc | 2 +- tests/Concrete_Expression/polyhedron1.cc | 2 +- tests/Concrete_Expression/polyhedron2.cc | 2 +- tests/Concrete_Expression/run_tests | 2 +- tests/Grid/Makefile.am | 2 +- tests/Grid/addcongruence1.cc | 2 +- tests/Grid/addcongruences1.cc | 2 +- tests/Grid/addconstraint1.cc | 2 +- tests/Grid/addconstraints1.cc | 2 +- tests/Grid/addgenerator1.cc | 2 +- tests/Grid/addgenerators1.cc | 2 +- tests/Grid/addspacedims1.cc | 2 +- tests/Grid/affinedim1.cc | 2 +- tests/Grid/affineimage1.cc | 2 +- tests/Grid/affineimage2.cc | 2 +- tests/Grid/affinepreimage1.cc | 2 +- tests/Grid/affinepreimage2.cc | 2 +- tests/Grid/approximatepartition1.cc | 2 +- tests/Grid/asciidumpload1.cc | 2 +- tests/Grid/asciidumpload2.cc | 2 +- tests/Grid/asciidumpload3.cc | 2 +- tests/Grid/asciidumpload4.cc | 2 +- tests/Grid/asciidumpload5.cc | 2 +- tests/Grid/asciidumpload6.cc | 2 +- tests/Grid/bhz03widening1.cc | 2 +- tests/Grid/bounded1.cc | 2 +- tests/Grid/boundedaffineimage1.cc | 2 +- tests/Grid/boundedaffinepreimage1.cc | 2 +- tests/Grid/boundingbox1.cc | 2 +- tests/Grid/bounds1.cc | 2 +- tests/Grid/certificate1.cc | 2 +- tests/Grid/concatenate1.cc | 2 +- tests/Grid/congruence1.cc | 2 +- tests/Grid/congruences1.cc | 2 +- tests/Grid/congruences2.cc | 2 +- tests/Grid/constraints1.cc | 2 +- tests/Grid/contains1.cc | 2 +- tests/Grid/containsintegerpoint1.cc | 2 +- tests/Grid/discrete1.cc | 2 +- tests/Grid/disjoint1.cc | 2 +- tests/Grid/dropnonintegerpoints1.cc | 2 +- tests/Grid/equals1.cc | 2 +- tests/Grid/expandspacedim1.cc | 2 +- tests/Grid/foldspacedims1.cc | 2 +- tests/Grid/frequency1.cc | 2 +- tests/Grid/frombdshape1.cc | 2 +- tests/Grid/frombox1.cc | 2 +- tests/Grid/fromgrid1.cc | 2 +- tests/Grid/fromoctagonalshape1.cc | 2 +- tests/Grid/frompolyhedron1.cc | 2 +- tests/Grid/generalizedaffineimage1.cc | 2 +- tests/Grid/generalizedaffineimage2.cc | 2 +- tests/Grid/generalizedaffineimage3.cc | 2 +- tests/Grid/generalizedaffinepreimage1.cc | 2 +- tests/Grid/generalizedaffinepreimage2.cc | 2 +- tests/Grid/generalizedaffinepreimage3.cc | 2 +- tests/Grid/generator1.cc | 2 +- tests/Grid/generators1.cc | 2 +- tests/Grid/generators2.cc | 2 +- tests/Grid/grid1.cc | 2 +- tests/Grid/grid2.cc | 2 +- tests/Grid/grid3.cc | 2 +- tests/Grid/griddifference1.cc | 2 +- tests/Grid/intersection1.cc | 2 +- tests/Grid/isempty1.cc | 2 +- tests/Grid/isuniverse1.cc | 2 +- tests/Grid/limitedextrapolation1.cc | 2 +- tests/Grid/limitedextrapolation2.cc | 2 +- tests/Grid/limitedextrapolation3.cc | 2 +- tests/Grid/mapspacedims1.cc | 2 +- tests/Grid/maxmin1.cc | 2 +- tests/Grid/membytes1.cc | 2 +- tests/Grid/mincongruences1.cc | 2 +- tests/Grid/mingenerators1.cc | 2 +- tests/Grid/outputoperator1.cc | 2 +- tests/Grid/outputoperator2.cc | 2 +- tests/Grid/outputoperator3.cc | 2 +- tests/Grid/partition1.cc | 2 +- tests/Grid/powersetdifference1.cc | 2 +- tests/Grid/powersetgeometricallycovers1.cc | 2 +- tests/Grid/powersetgeometricallyequals1.cc | 2 +- tests/Grid/refinewithcongruences1.cc | 2 +- tests/Grid/refinewithconstraints1.cc | 2 +- tests/Grid/relations1.cc | 2 +- tests/Grid/relations2.cc | 2 +- tests/Grid/relations3.cc | 2 +- tests/Grid/removespacedims1.cc | 2 +- tests/Grid/removespacedims2.cc | 2 +- tests/Grid/simplifyusingcontext1.cc | 2 +- tests/Grid/timeelapse1.cc | 2 +- tests/Grid/topclosed1.cc | 2 +- tests/Grid/topclosure1.cc | 2 +- tests/Grid/unconstrain1.cc | 2 +- tests/Grid/upperbound1.cc | 2 +- tests/Grid/upperbound2.cc | 2 +- tests/Grid/widening1.cc | 2 +- tests/Grid/widening2.cc | 2 +- tests/Grid/widening3.cc | 2 +- tests/Grid/wrap1.cc | 2 +- tests/Grid/writecongruencesystem.cc | 2 +- tests/MIP_Problem/Makefile.am | 2 +- tests/MIP_Problem/ascii_dump_load1.cc | 2 +- tests/MIP_Problem/exceptions1.cc | 2 +- tests/MIP_Problem/mipproblem1.cc | 2 +- tests/MIP_Problem/mipproblem2.cc | 2 +- tests/MIP_Problem/mipproblem3.cc | 2 +- tests/MIP_Problem/mipproblem4.cc | 2 +- tests/Makefile.am | 2 +- tests/Octagonal_Shape/Makefile.am | 2 +- tests/Octagonal_Shape/addspacedims1.cc | 2 +- tests/Octagonal_Shape/affinedimension1.cc | 2 +- tests/Octagonal_Shape/affineimage1.cc | 2 +- tests/Octagonal_Shape/affineimage2.cc | 2 +- tests/Octagonal_Shape/affinepreimage1.cc | 2 +- tests/Octagonal_Shape/affinepreimage2.cc | 2 +- tests/Octagonal_Shape/ascii_dump_load1.cc | 2 +- tests/Octagonal_Shape/bhmz05widening1.cc | 2 +- tests/Octagonal_Shape/bhz03widening1.cc | 2 +- tests/Octagonal_Shape/bounded1.cc | 2 +- tests/Octagonal_Shape/boundedaffineimage1.cc | 2 +- tests/Octagonal_Shape/boundedaffinepreimage1.cc | 2 +- tests/Octagonal_Shape/bounds1.cc | 2 +- tests/Octagonal_Shape/cc76extrapolation1.cc | 2 +- tests/Octagonal_Shape/cc76narrowing1.cc | 2 +- tests/Octagonal_Shape/chinainit.cc | 2 +- tests/Octagonal_Shape/concatenate1.cc | 2 +- tests/Octagonal_Shape/congruences1.cc | 2 +- tests/Octagonal_Shape/constrains1.cc | 2 +- tests/Octagonal_Shape/constraints1.cc | 2 +- tests/Octagonal_Shape/contains1.cc | 2 +- tests/Octagonal_Shape/containsintegerpoint1.cc | 2 +- tests/Octagonal_Shape/difference1.cc | 2 +- tests/Octagonal_Shape/discrete1.cc | 2 +- tests/Octagonal_Shape/disjoint1.cc | 2 +- tests/Octagonal_Shape/dropsomenonintegerpoints1.cc | 2 +- tests/Octagonal_Shape/empty1.cc | 2 +- tests/Octagonal_Shape/expandspacedim1.cc | 2 +- tests/Octagonal_Shape/foldspacedims1.cc | 2 +- tests/Octagonal_Shape/frequency1.cc | 2 +- tests/Octagonal_Shape/frombdshape1.cc | 2 +- tests/Octagonal_Shape/frombox1.cc | 2 +- tests/Octagonal_Shape/fromgensys1.cc | 2 +- tests/Octagonal_Shape/fromgrid1.cc | 2 +- tests/Octagonal_Shape/fromoctagonalshape1.cc | 2 +- tests/Octagonal_Shape/frompolyhedron1.cc | 2 +- tests/Octagonal_Shape/fromspacedim1.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage1.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage2.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage3.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage4.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage5.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage1.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage2.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage3.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage4.cc | 2 +- tests/Octagonal_Shape/integerupperboundifexact1.cc | 2 +- tests/Octagonal_Shape/intersection1.cc | 2 +- .../Octagonal_Shape/limitedbhmz05extrapolation1.cc | 2 +- tests/Octagonal_Shape/limitedcc76extrapolation1.cc | 2 +- tests/Octagonal_Shape/mapspacedims1.cc | 2 +- tests/Octagonal_Shape/max_min1.cc | 2 +- tests/Octagonal_Shape/max_min2.cc | 2 +- tests/Octagonal_Shape/maxspacedim1.cc | 2 +- tests/Octagonal_Shape/membytes1.cc | 2 +- tests/Octagonal_Shape/minconstraints1.cc | 2 +- tests/Octagonal_Shape/relatwithcons1.cc | 2 +- tests/Octagonal_Shape/relatwithcons2.cc | 2 +- tests/Octagonal_Shape/relatwithcons3.cc | 2 +- tests/Octagonal_Shape/relatwithgen1.cc | 2 +- tests/Octagonal_Shape/removespacedims1.cc | 2 +- tests/Octagonal_Shape/run_tests | 2 +- tests/Octagonal_Shape/simplifyusingcontext1.cc | 2 +- tests/Octagonal_Shape/timeelapse1.cc | 2 +- tests/Octagonal_Shape/unconstrain1.cc | 2 +- tests/Octagonal_Shape/universe1.cc | 2 +- tests/Octagonal_Shape/upperbound1.cc | 2 +- tests/Octagonal_Shape/upperboundifexact1.cc | 2 +- tests/Octagonal_Shape/wrap1.cc | 2 +- tests/Octagonal_Shape/writeoctagon1.cc | 2 +- tests/PIP_Problem/Makefile.am | 2 +- tests/PIP_Problem/ascii_dump_load1.cc | 2 +- tests/PIP_Problem/exceptions1.cc | 2 +- tests/PIP_Problem/pipproblem1.cc | 2 +- tests/PIP_Problem/pipproblem2.cc | 2 +- tests/PIP_Problem/pipproblem3.cc | 2 +- tests/PIP_Problem/weightwatch1.cc | 2 +- tests/Partially_Reduced_Product/Makefile.am | 2 +- tests/Partially_Reduced_Product/addcongruences1.cc | 2 +- tests/Partially_Reduced_Product/addconstraints1.cc | 2 +- tests/Partially_Reduced_Product/affineimage1.cc | 2 +- tests/Partially_Reduced_Product/asciidumpload1.cc | 2 +- tests/Partially_Reduced_Product/bounded1.cc | 2 +- .../boundedaffineimage1.cc | 2 +- tests/Partially_Reduced_Product/bounds1.cc | 2 +- tests/Partially_Reduced_Product/concatenate1.cc | 2 +- tests/Partially_Reduced_Product/congruences1.cc | 2 +- .../congruencesproduct1.cc | 2 +- tests/Partially_Reduced_Product/constraints1.cc | 2 +- .../constraintsproduct1.cc | 2 +- tests/Partially_Reduced_Product/contains1.cc | 2 +- tests/Partially_Reduced_Product/difference1.cc | 2 +- tests/Partially_Reduced_Product/dimension1.cc | 2 +- tests/Partially_Reduced_Product/directproduct1.cc | 2 +- tests/Partially_Reduced_Product/directproduct2.cc | 2 +- tests/Partially_Reduced_Product/directproduct3.cc | 2 +- tests/Partially_Reduced_Product/directproduct4.cc | 2 +- tests/Partially_Reduced_Product/directproduct5.cc | 2 +- tests/Partially_Reduced_Product/directproduct6.cc | 2 +- tests/Partially_Reduced_Product/discrete1.cc | 2 +- tests/Partially_Reduced_Product/disjoint1.cc | 2 +- .../dropsomenonintegerpoints1.cc | 2 +- tests/Partially_Reduced_Product/equals1.cc | 2 +- tests/Partially_Reduced_Product/frombdshape1.cc | 2 +- tests/Partially_Reduced_Product/frombox1.cc | 2 +- tests/Partially_Reduced_Product/fromgrid1.cc | 2 +- .../fromoctagonalshape1.cc | 2 +- tests/Partially_Reduced_Product/frompolyhedron1.cc | 2 +- tests/Partially_Reduced_Product/fromproduct1.cc | 2 +- .../generalizedaffineimage1.cc | 2 +- tests/Partially_Reduced_Product/intersection1.cc | 2 +- tests/Partially_Reduced_Product/isempty1.cc | 2 +- tests/Partially_Reduced_Product/isuniverse1.cc | 2 +- tests/Partially_Reduced_Product/maxmin1.cc | 2 +- .../partially_reduced_product_test.hh | 2 +- .../partiallyreducedproduct1.cc | 2 +- .../partiallyreducedproduct2.cc | 2 +- .../partiallyreducedproduct3.cc | 2 +- .../partiallyreducedproduct4.cc | 2 +- .../refinewithcongruences1.cc | 2 +- .../refinewithconstraints1.cc | 2 +- tests/Partially_Reduced_Product/relations1.cc | 2 +- .../shapepreservingproduct1.cc | 2 +- tests/Partially_Reduced_Product/smashproduct1.cc | 2 +- tests/Partially_Reduced_Product/spacedims1.cc | 2 +- tests/Partially_Reduced_Product/timeelapse1.cc | 2 +- tests/Partially_Reduced_Product/topclosed1.cc | 2 +- tests/Partially_Reduced_Product/topclosure1.cc | 2 +- tests/Partially_Reduced_Product/upperbound1.cc | 2 +- tests/Partially_Reduced_Product/widening1.cc | 2 +- tests/Polyhedron/Makefile.am | 2 +- tests/Polyhedron/addcongruence1.cc | 2 +- tests/Polyhedron/addcongruences1.cc | 2 +- tests/Polyhedron/addconstraint1.cc | 2 +- tests/Polyhedron/addconstraints1.cc | 2 +- tests/Polyhedron/addconstraints2.cc | 2 +- tests/Polyhedron/addgenerator1.cc | 2 +- tests/Polyhedron/addgenerator2.cc | 2 +- tests/Polyhedron/addgenerators1.cc | 2 +- tests/Polyhedron/addgenerators2.cc | 2 +- tests/Polyhedron/addspacedims1.cc | 2 +- tests/Polyhedron/addspacedims2.cc | 2 +- tests/Polyhedron/affineimage1.cc | 2 +- tests/Polyhedron/affineimage2.cc | 2 +- tests/Polyhedron/affinepreimage1.cc | 2 +- tests/Polyhedron/affinetrans.cc | 2 +- tests/Polyhedron/append1.cc | 2 +- tests/Polyhedron/append2.cc | 2 +- tests/Polyhedron/ascii_dump_load1.cc | 2 +- tests/Polyhedron/ascii_dump_load2.cc | 2 +- tests/Polyhedron/ascii_dump_load3.cc | 2 +- tests/Polyhedron/bgp99extrapolation1.cc | 2 +- tests/Polyhedron/bgp99extrapolation2.cc | 2 +- tests/Polyhedron/bhrz03widening1.cc | 2 +- tests/Polyhedron/bhrz03widening2.cc | 2 +- tests/Polyhedron/bhrz03widening3.cc | 2 +- tests/Polyhedron/bhz03widening1.cc | 2 +- tests/Polyhedron/bounded1.cc | 2 +- tests/Polyhedron/boundedaffineimage1.cc | 2 +- tests/Polyhedron/boundedaffinepreimage1.cc | 2 +- tests/Polyhedron/boundedbhrz03extrapolation1.cc | 2 +- tests/Polyhedron/boundedh79extrapolation1.cc | 2 +- tests/Polyhedron/bounds1.cc | 2 +- tests/Polyhedron/cnncconversion1.cc | 2 +- tests/Polyhedron/concatenate1.cc | 2 +- tests/Polyhedron/congruences1.cc | 2 +- tests/Polyhedron/constrains1.cc | 2 +- tests/Polyhedron/constraints1.cc | 2 +- tests/Polyhedron/contains1.cc | 2 +- tests/Polyhedron/contains2.cc | 2 +- tests/Polyhedron/containsintegerpoint1.cc | 2 +- tests/Polyhedron/disjoint1.cc | 2 +- tests/Polyhedron/disjoint2.cc | 2 +- tests/Polyhedron/dropsomenonintegerpoints1.cc | 2 +- tests/Polyhedron/dropsomenonintegerpoints2.cc | 2 +- tests/Polyhedron/dualhypercubes.cc | 2 +- tests/Polyhedron/empty1.cc | 2 +- tests/Polyhedron/equals1.cc | 2 +- tests/Polyhedron/exceptions1.cc | 2 +- tests/Polyhedron/exceptions2.cc | 2 +- tests/Polyhedron/exceptions3.cc | 2 +- tests/Polyhedron/expandspacedim1.cc | 2 +- tests/Polyhedron/expandspacedim2.cc | 2 +- tests/Polyhedron/foldspacedims1.cc | 2 +- tests/Polyhedron/foldspacedims2.cc | 2 +- tests/Polyhedron/frequency1.cc | 2 +- tests/Polyhedron/frombdshape1.cc | 2 +- tests/Polyhedron/frombox1.cc | 2 +- tests/Polyhedron/frombox2.cc | 2 +- tests/Polyhedron/fromgrid1.cc | 2 +- tests/Polyhedron/fromoctagonalshape1.cc | 2 +- tests/Polyhedron/generalizedaffineimage1.cc | 2 +- tests/Polyhedron/generalizedaffineimage2.cc | 2 +- tests/Polyhedron/generalizedaffinepreimage1.cc | 2 +- tests/Polyhedron/generalizedaffinepreimage2.cc | 2 +- tests/Polyhedron/generators1.cc | 2 +- tests/Polyhedron/geomcovers1.cc | 2 +- tests/Polyhedron/h79widening1.cc | 2 +- tests/Polyhedron/h79widening2.cc | 2 +- tests/Polyhedron/hybrid.cc | 2 +- tests/Polyhedron/intersection1.cc | 2 +- tests/Polyhedron/limitedbhrz03extrapolation1.cc | 2 +- tests/Polyhedron/limitedh79extrapolation1.cc | 2 +- tests/Polyhedron/linearexpression1.cc | 2 +- tests/Polyhedron/linearpartition1.cc | 2 +- tests/Polyhedron/linearsystem1.cc | 2 +- tests/Polyhedron/mapspacedims1.cc | 2 +- tests/Polyhedron/matrix1.cc | 2 +- tests/Polyhedron/max_min1.cc | 2 +- tests/Polyhedron/maxspacedim1.cc | 2 +- tests/Polyhedron/mc91.cc | 2 +- tests/Polyhedron/membytes1.cc | 2 +- tests/Polyhedron/memory1.cc | 2 +- tests/Polyhedron/memory2.cc | 2 +- tests/Polyhedron/minconstraints1.cc | 2 +- tests/Polyhedron/minconstraints2.cc | 2 +- tests/Polyhedron/mingenerators1.cc | 2 +- tests/Polyhedron/mingenerators2.cc | 2 +- tests/Polyhedron/nncminimize1.cc | 2 +- tests/Polyhedron/nncminimize2.cc | 2 +- tests/Polyhedron/nncpostimeelapse1.cc | 2 +- tests/Polyhedron/numberinput1.cc | 2 +- tests/Polyhedron/onepoint.cc | 2 +- tests/Polyhedron/permute.cc | 2 +- tests/Polyhedron/polydifference1.cc | 2 +- tests/Polyhedron/polydifference2.cc | 2 +- tests/Polyhedron/polyhull1.cc | 2 +- tests/Polyhedron/polyhull2.cc | 2 +- tests/Polyhedron/polyhullifexact1.cc | 2 +- tests/Polyhedron/polyhullifexact2.cc | 2 +- tests/Polyhedron/randphull1.cc | 2 +- tests/Polyhedron/refinewithcongruence1.cc | 2 +- tests/Polyhedron/refinewithcongruences1.cc | 2 +- tests/Polyhedron/refinewithconstraint1.cc | 2 +- tests/Polyhedron/refinewithconstraints1.cc | 2 +- tests/Polyhedron/relations1.cc | 2 +- tests/Polyhedron/relations2.cc | 2 +- tests/Polyhedron/relations3.cc | 2 +- tests/Polyhedron/removespacedims1.cc | 2 +- tests/Polyhedron/removespacedims2.cc | 2 +- tests/Polyhedron/simplifyusingcontext1.cc | 2 +- tests/Polyhedron/simplifyusingcontext2.cc | 2 +- tests/Polyhedron/smm1.cc | 2 +- tests/Polyhedron/sparserow1.cc | 2 +- tests/Polyhedron/termination1.cc | 2 +- tests/Polyhedron/termination2.cc | 2 +- tests/Polyhedron/timeelapse1.cc | 2 +- tests/Polyhedron/timeelapse2.cc | 2 +- tests/Polyhedron/topclosed1.cc | 2 +- tests/Polyhedron/topclosure1.cc | 2 +- tests/Polyhedron/unconstrain1.cc | 2 +- tests/Polyhedron/universe1.cc | 2 +- tests/Polyhedron/universe2.cc | 2 +- tests/Polyhedron/variablesset1.cc | 2 +- tests/Polyhedron/watchdog1.cc | 2 +- tests/Polyhedron/weightwatch1.cc | 2 +- tests/Polyhedron/wrap1.cc | 2 +- tests/Polyhedron/wrap2.cc | 2 +- tests/Polyhedron/writeconsys1.cc | 2 +- tests/Polyhedron/writegensys1.cc | 2 +- tests/Polyhedron/writepolyhedron1.cc | 2 +- tests/Polyhedron/writepolyhedron2.cc | 2 +- tests/Polyhedron/writerelation1.cc | 2 +- tests/Polyhedron/writevariable1.cc | 2 +- tests/Powerset/Makefile.am | 2 +- tests/Powerset/addcongruences1.cc | 2 +- tests/Powerset/addconstraints1.cc | 2 +- tests/Powerset/affinedimension1.cc | 2 +- tests/Powerset/affineimage1.cc | 2 +- tests/Powerset/affinepreimage1.cc | 2 +- tests/Powerset/bounded1.cc | 2 +- tests/Powerset/bounds1.cc | 2 +- tests/Powerset/closed1.cc | 2 +- tests/Powerset/closure1.cc | 2 +- tests/Powerset/collapse1.cc | 2 +- tests/Powerset/concatenate1.cc | 2 +- tests/Powerset/contains1.cc | 2 +- tests/Powerset/containsintegerpoint1.cc | 2 +- tests/Powerset/difference1.cc | 2 +- tests/Powerset/discrete1.cc | 2 +- tests/Powerset/disjoint1.cc | 2 +- tests/Powerset/disjunct1.cc | 2 +- tests/Powerset/empty1.cc | 2 +- tests/Powerset/entails1.cc | 2 +- tests/Powerset/equals1.cc | 2 +- tests/Powerset/frombdshape1.cc | 2 +- tests/Powerset/frombox1.cc | 2 +- tests/Powerset/fromcongruences1.cc | 2 +- tests/Powerset/fromconstraints1.cc | 2 +- tests/Powerset/fromgrid1.cc | 2 +- tests/Powerset/fromoctagonalshape1.cc | 2 +- tests/Powerset/frompolyhedron1.cc | 2 +- tests/Powerset/fromspacedimension1.cc | 2 +- tests/Powerset/intersection1.cc | 2 +- tests/Powerset/maxmin1.cc | 2 +- tests/Powerset/meet1.cc | 2 +- tests/Powerset/membytes1.cc | 2 +- tests/Powerset/powerset1.cc | 2 +- tests/Powerset/reduce1.cc | 2 +- tests/Powerset/refinewith1.cc | 2 +- tests/Powerset/relationwith1.cc | 2 +- tests/Powerset/simplifyusingcontext1.cc | 2 +- tests/Powerset/size1.cc | 2 +- tests/Powerset/spacedims1.cc | 2 +- tests/Powerset/universe1.cc | 2 +- tests/Powerset/upperbound1.cc | 2 +- tests/README | 4 ++-- tests/Random_Number_Generator_defs.hh | 2 +- tests/Random_Number_Generator_inlines.hh | 2 +- tests/Random_Number_Generator_types.hh | 2 +- tests/Watchdog/Makefile.am | 2 +- tests/Watchdog/watchdog1.cc | 2 +- tests/files.cc | 2 +- tests/files.hh | 2 +- tests/ppl_test.cc | 2 +- tests/ppl_test.hh | 2 +- utils/Makefile.am | 2 +- utils/build_header.in | 2 +- utils/cm_cleaner.sh | 2 +- utils/cm_splitter.sh | 2 +- utils/text2cxxarray.in | 2 +- utils/timings.cc | 2 +- utils/timings.hh | 2 +- 1353 files changed, 1369 insertions(+), 1369 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3a5e1e20…

1 0

[GIT] ppl/ppl(devel): Work around the fact that __attribute__((weak)) does not work on 64-bit Cygwin.
by Roberto Bagnara 01 Jan '18

01 Jan '18

Module: ppl/ppl Branch: devel Commit: 4e3d897f08b63ac7abc55d6a3621f84cdf1a69fe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e3d897f08b6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Apr 8 16:38:17 2017 +0200 Work around the fact that __attribute__((weak)) does not work on 64-bit Cygwin. Thanks to Erik M. Bray. --- src/assertions.hh | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/src/assertions.hh b/src/assertions.hh index cceb7c9..63afbc1 100644 --- a/src/assertions.hh +++ b/src/assertions.hh @@ -98,7 +98,10 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { -#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK +// Note: __attribute__((weak)) does not work on 64-bit Cygwin. +// See https://trac.sagemath.org/ticket/16152 and links therein. +#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK \ + && !(defined(__CYGWIN__) && defined(__x86_64__)) #define PPL_WEAK_NORETURN __attribute__((weak, noreturn)) #else #define PPL_WEAK_NORETURN __attribute__((noreturn))

1 0

[GIT] ppl/ppl(devel): Copyright years bumped.
by Roberto Bagnara 01 Jan '18

01 Jan '18

Module: ppl/ppl Branch: devel Commit: 17f7837eb4df34db66084f2642873225e2b10186 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17f7837eb4df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 09:49:59 2017 +0100 Copyright years bumped. --- Makefile.am | 2 +- NEWS | 2 +- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- configure.ac | 2 +- debian/libppl-pwl.copyright.in | 2 +- debian/libppl.copyright.in | 2 +- demos/Makefile.am | 2 +- demos/ppl_lcdd/Makefile.am | 2 +- demos/ppl_lcdd/examples/Makefile.am | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- demos/ppl_lcdd/ppl_lcdd_extra_man_text | 2 +- demos/ppl_lpsol/Makefile.am | 2 +- demos/ppl_lpsol/dummy.cc | 2 +- demos/ppl_lpsol/examples/Makefile.am | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.c | 2 +- demos/ppl_lpsol/ppl_lpsol_extra_man_text | 2 +- demos/ppl_pips/Makefile.am | 2 +- demos/ppl_pips/examples/Makefile.am | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- demos/ppl_pips/ppl_pips.cc | 2 +- demos/ppl_pips/ppl_pips_extra_man_text | 2 +- devtools/bump_copyright_years | 2 +- devtools/generate_dox_biblio | 2 +- devtools/generate_man_pages | 2 +- devtools/print_nonascii_lines | 2 +- devtools/update_ChangeLog | 2 +- doc/Makefile.am | 2 +- doc/README.doc | 4 ++-- doc/definitions.dox | 2 +- doc/devref-language-interface.tex | 4 ++-- doc/devref.tex | 4 ++-- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 2 +- doc/ppl-config_extra_man_text | 2 +- doc/ppl.bib | 2 +- doc/ppl.sty | 2 +- doc/ppl_citations.bib | 2 +- doc/user-language-interface.tex | 4 ++-- doc/user.tex | 4 ++-- fedora/ppl.hh | 2 +- fedora/ppl_c.h | 2 +- fedora/pwl.hh | 2 +- instchk.hh | 2 +- interfaces/C/C_interface.dox | 2 +- interfaces/C/Makefile.am | 2 +- interfaces/C/ppl_c_header.h | 2 +- interfaces/C/ppl_c_implementation_common.cc | 2 +- interfaces/C/ppl_c_implementation_common_defs.hh | 2 +- .../C/ppl_c_implementation_common_inlines.hh | 2 +- interfaces/C/ppl_c_version.h.in | 2 +- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 2 +- interfaces/C/ppl_interface_generator_c_cc_files.m4 | 2 +- interfaces/C/ppl_interface_generator_c_h.m4 | 2 +- interfaces/C/ppl_interface_generator_c_h_code.m4 | 2 +- interfaces/C/ppl_interface_generator_c_hh_files.m4 | 2 +- ...l_interface_generator_c_procedure_generators.m4 | 2 +- interfaces/C/tests/Makefile.am | 2 +- interfaces/C/tests/formatted_output.c | 2 +- interfaces/C/tests/pip_test.c | 2 +- interfaces/C/tests/ppl_c_test.cc | 2 +- interfaces/C/tests/ppl_c_test.h | 2 +- interfaces/C/tests/print_to_buffer.c | 2 +- interfaces/C/tests/print_to_buffer.h | 2 +- interfaces/C/tests/watchdog1.c | 2 +- interfaces/C/tests/weightwatch1.c | 2 +- interfaces/Java/Makefile.am | 2 +- interfaces/Java/README.java | 2 +- interfaces/Java/jni/Makefile.am | 2 +- ...ppl_interface_generator_java_classes_cc_code.m4 | 2 +- ...pl_interface_generator_java_classes_cc_files.m4 | 2 +- interfaces/Java/jni/ppl_java_common.cc | 2 +- interfaces/Java/jni/ppl_java_common_defs.hh | 2 +- interfaces/Java/jni/ppl_java_common_inlines.hh | 2 +- interfaces/Java/jni/ppl_java_globals.cc | 2 +- .../Artificial_Parameter.java | 2 +- .../Artificial_Parameter_Sequence.java | 2 +- .../Bounded_Integer_Type_Overflow.java | 2 +- .../Bounded_Integer_Type_Representation.java | 2 +- .../Bounded_Integer_Type_Width.java | 2 +- .../Java/parma_polyhedra_library/By_Reference.java | 2 +- .../Java/parma_polyhedra_library/Coefficient.java | 2 +- .../parma_polyhedra_library/Complexity_Class.java | 2 +- .../Java/parma_polyhedra_library/Congruence.java | 2 +- .../parma_polyhedra_library/Congruence_System.java | 2 +- .../Java/parma_polyhedra_library/Constraint.java | 2 +- .../parma_polyhedra_library/Constraint_System.java | 2 +- .../Control_Parameter_Name.java | 2 +- .../Control_Parameter_Value.java | 2 +- .../Degenerate_Element.java | 2 +- .../Domain_Error_Exception.java | 2 +- .../Fake_Class_for_Doxygen.java | 2 +- .../Java/parma_polyhedra_library/Generator.java | 2 +- .../parma_polyhedra_library/Generator_System.java | 2 +- .../parma_polyhedra_library/Generator_Type.java | 2 +- .../parma_polyhedra_library/Grid_Generator.java | 2 +- .../Grid_Generator_System.java | 2 +- .../Grid_Generator_Type.java | 2 +- interfaces/Java/parma_polyhedra_library/IO.java | 2 +- .../Invalid_Argument_Exception.java | 2 +- .../Length_Error_Exception.java | 2 +- .../parma_polyhedra_library/Linear_Expression.java | 2 +- .../Linear_Expression_Coefficient.java | 2 +- .../Linear_Expression_Difference.java | 2 +- .../Linear_Expression_Sum.java | 2 +- .../Linear_Expression_Times.java | 2 +- .../Linear_Expression_Unary_Minus.java | 2 +- .../Linear_Expression_Variable.java | 2 +- .../Logic_Error_Exception.java | 2 +- .../Java/parma_polyhedra_library/MIP_Problem.java | 2 +- .../MIP_Problem_Status.java | 2 +- .../Java/parma_polyhedra_library/Makefile.am | 2 +- .../parma_polyhedra_library/Optimization_Mode.java | 2 +- .../Overflow_Error_Exception.java | 2 +- .../parma_polyhedra_library/PIP_Decision_Node.java | 2 +- .../Java/parma_polyhedra_library/PIP_Problem.java | 2 +- .../PIP_Problem_Control_Parameter_Name.java | 2 +- .../PIP_Problem_Control_Parameter_Value.java | 2 +- .../PIP_Problem_Status.java | 2 +- .../parma_polyhedra_library/PIP_Solution_Node.java | 2 +- .../parma_polyhedra_library/PIP_Tree_Node.java | 2 +- .../Java/parma_polyhedra_library/PPL_Object.java | 2 +- interfaces/Java/parma_polyhedra_library/Pair.java | 2 +- .../Parma_Polyhedra_Library.java | 2 +- .../parma_polyhedra_library/Partial_Function.java | 2 +- .../parma_polyhedra_library/Poly_Con_Relation.java | 2 +- .../parma_polyhedra_library/Poly_Gen_Relation.java | 2 +- .../parma_polyhedra_library/Relation_Symbol.java | 2 +- .../parma_polyhedra_library/Timeout_Exception.java | 2 +- .../Java/parma_polyhedra_library/Variable.java | 2 +- .../Variable_Stringifier.java | 2 +- .../parma_polyhedra_library/Variables_Set.java | 2 +- .../ppl_interface_generator_java_classes_java.m4 | 2 +- ...l_interface_generator_java_classes_java_code.m4 | 2 +- ...nterface_generator_java_procedure_generators.m4 | 2 +- interfaces/Java/tests/C_Polyhedron_test1.java | 2 +- .../Java/tests/Custom_Variable_Stringifier.java | 2 +- interfaces/Java/tests/MIP_Problem_test1.java | 2 +- interfaces/Java/tests/Makefile.am | 2 +- interfaces/Java/tests/NNC_Polyhedron_test1.java | 2 +- interfaces/Java/tests/PIP_Problem_test1.java | 2 +- interfaces/Java/tests/PPL_Test.java | 2 +- .../Java/tests/Parma_Polyhedra_Library_test1.java | 2 +- .../Java/tests/Parma_Polyhedra_Library_test2.java | 2 +- interfaces/Java/tests/Test_Executor.java | 2 +- interfaces/Java/tests/Variable_Output_test1.java | 2 +- .../ppl_interface_generator_java_test_java.m4 | 2 +- .../ppl_interface_generator_java_test_java_code.m4 | 2 +- interfaces/Java/tests/ppl_java_tests_common | 2 +- interfaces/Makefile.am | 2 +- interfaces/OCaml/Makefile.am | 2 +- interfaces/OCaml/OCaml_interface.dox | 2 +- interfaces/OCaml/README.ocaml | 2 +- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +- .../ppl_interface_generator_ocaml_cc_files.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 2 +- .../ppl_interface_generator_ocaml_hh_files.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_ml.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_mli.m4 | 2 +- .../ppl_interface_generator_ocaml_mli_code.m4 | 2 +- ...terface_generator_ocaml_procedure_generators.m4 | 2 +- interfaces/OCaml/ppl_ocaml_common.cc | 2 +- interfaces/OCaml/ppl_ocaml_common_defs.hh | 2 +- interfaces/OCaml/ppl_ocaml_common_inlines.hh | 2 +- interfaces/OCaml/ppl_ocaml_globals.ml | 2 +- interfaces/OCaml/ppl_ocaml_globals.mli | 2 +- interfaces/OCaml/tests/Makefile.am | 2 +- .../tests/ppl_interface_generator_ocaml_test_ml.m4 | 2 +- .../ppl_interface_generator_ocaml_test_ml_code.m4 | 2 +- interfaces/OCaml/tests/ppl_ocaml_tests_common | 2 +- interfaces/OCaml/tests/test1.ml | 2 +- interfaces/Prolog/Ciao/Makefile.am | 2 +- interfaces/Prolog/Ciao/README.ciao | 2 +- interfaces/Prolog/Ciao/ciao_cfli.hh | 2 +- interfaces/Prolog/Ciao/ciao_clpq.pl | 2 +- interfaces/Prolog/Ciao/ciao_clpq2.pl | 2 +- interfaces/Prolog/Ciao/ciao_efli.cc | 2 +- interfaces/Prolog/Ciao/ciao_efli.hh | 2 +- interfaces/Prolog/Ciao/ciao_pl_check.pl | 2 +- .../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 2 +- ...face_generator_ciao_prolog_generated_test_pl.m4 | 2 +- interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/GNU/Makefile.am | 2 +- interfaces/Prolog/GNU/README.gprolog | 2 +- interfaces/Prolog/GNU/gnu_pl_check.pl | 2 +- interfaces/Prolog/GNU/gnu_prolog_generated_test.pl | 2 +- interfaces/Prolog/GNU/gp_clpq.pl | 2 +- interfaces/Prolog/GNU/gprolog_cfli.hh | 2 +- interfaces/Prolog/GNU/gprolog_efli.cc | 2 +- interfaces/Prolog/GNU/gprolog_efli.hh | 2 +- .../GNU/ppl_interface_generator_gprolog_pl.m4 | 2 +- interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/Makefile.am | 2 +- interfaces/Prolog/Prolog_configured_interface.dox | 2 +- interfaces/Prolog/Prolog_interface.dox | 2 +- interfaces/Prolog/Prolog_interface_compilation.dox | 2 +- interfaces/Prolog/Prolog_interface_sysdep.dox | 2 +- interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +- .../Prolog/Prolog_interface_sysindep_domains.dox | 2 +- interfaces/Prolog/SICStus/Makefile.am | 2 +- .../ppl_interface_generator_sicstus_sd_cc.m4 | 2 +- interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/SICStus/ppl_sicstus.pl | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.cc | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.h | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.ic | 2 +- interfaces/Prolog/SICStus/sicstus_efli.cc | 2 +- interfaces/Prolog/SICStus/sicstus_efli.hh | 2 +- interfaces/Prolog/SICStus/sp_clpq.pl | 2 +- interfaces/Prolog/SICStus/sp_pl_check.pl | 2 +- .../Prolog/SICStus/sp_prolog_generated_test.pl | 2 +- interfaces/Prolog/SWI/Makefile.am | 2 +- interfaces/Prolog/SWI/README.swiprolog | 2 +- interfaces/Prolog/SWI/pl_clpq.cc | 2 +- interfaces/Prolog/SWI/pl_clpq.pl | 2 +- .../SWI/ppl_interface_generator_swiprolog_cc.m4 | 2 +- interfaces/Prolog/SWI/ppl_pl.cc | 2 +- interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/SWI/ppl_swiprolog.hh | 2 +- interfaces/Prolog/SWI/ppl_swiprolog.pl | 2 +- interfaces/Prolog/SWI/swi_cfli.hh | 2 +- interfaces/Prolog/SWI/swi_efli.cc | 2 +- interfaces/Prolog/SWI/swi_efli.hh | 2 +- interfaces/Prolog/SWI/swi_pl_check.pl | 2 +- interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 2 +- interfaces/Prolog/XSB/Makefile.am | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_hh.m4 | 2 +- ...erface_generator_xsb_prolog_generated_test_P.m4 | 2 +- interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/XSB/xsb_cfli.hh | 2 +- interfaces/Prolog/XSB/xsb_clpq.P | 2 +- interfaces/Prolog/XSB/xsb_clpq2.P | 2 +- interfaces/Prolog/XSB/xsb_efli.cc | 2 +- interfaces/Prolog/XSB/xsb_efli.hh | 2 +- interfaces/Prolog/XSB/xsb_pl_check.P | 2 +- interfaces/Prolog/YAP/Makefile.am | 2 +- interfaces/Prolog/YAP/README.yap | 2 +- .../Prolog/YAP/ppl_interface_generator_yap_cc.m4 | 2 +- interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/YAP/ppl_yap.pl | 2 +- interfaces/Prolog/YAP/yap_cfli.hh | 2 +- interfaces/Prolog/YAP/yap_clpq.pl | 2 +- interfaces/Prolog/YAP/yap_clpq2.pl | 2 +- interfaces/Prolog/YAP/yap_efli.cc | 2 +- interfaces/Prolog/YAP/yap_efli.hh | 2 +- interfaces/Prolog/YAP/yap_pl_check.pl | 2 +- interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 2 +- .../ppl_interface_generator_prolog_cc_code.m4 | 2 +- .../ppl_interface_generator_prolog_cc_files.m4 | 2 +- .../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +- .../ppl_interface_generator_prolog_dox_code.m4 | 2 +- .../ppl_interface_generator_prolog_hh_code.m4 | 2 +- .../ppl_interface_generator_prolog_hh_files.m4 | 2 +- ...erface_generator_prolog_procedure_generators.m4 | 2 +- .../ppl_interface_generator_prolog_systems.m4 | 2 +- interfaces/Prolog/ppl_prolog_common.cc | 2 +- interfaces/Prolog/ppl_prolog_common_defs.hh | 2 +- interfaces/Prolog/ppl_prolog_common_inlines.hh | 2 +- interfaces/Prolog/tests/Makefile.am | 2 +- interfaces/Prolog/tests/clpq.pl | 4 ++-- interfaces/Prolog/tests/clpq2.pl | 4 ++-- interfaces/Prolog/tests/expected_clpq2_int16 | 2 +- interfaces/Prolog/tests/expected_clpq2_int16_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int32 | 2 +- interfaces/Prolog/tests/expected_clpq2_int32_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int64 | 2 +- interfaces/Prolog/tests/expected_clpq2_int64_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int8 | 2 +- interfaces/Prolog/tests/expected_clpq2_int8_a | 2 +- interfaces/Prolog/tests/expected_clpq2_mpz | 2 +- interfaces/Prolog/tests/expected_clpq2_mpz_a | 2 +- interfaces/Prolog/tests/expected_clpq_int16 | 2 +- interfaces/Prolog/tests/expected_clpq_int16_a | 2 +- interfaces/Prolog/tests/expected_clpq_int32 | 2 +- interfaces/Prolog/tests/expected_clpq_int32_a | 2 +- interfaces/Prolog/tests/expected_clpq_int64 | 2 +- interfaces/Prolog/tests/expected_clpq_int64_a | 2 +- interfaces/Prolog/tests/expected_clpq_int8 | 2 +- interfaces/Prolog/tests/expected_clpq_int8_a | 2 +- interfaces/Prolog/tests/expected_clpq_mpz | 2 +- interfaces/Prolog/tests/expected_clpq_mpz_a | 2 +- interfaces/Prolog/tests/pl_check.pl | 2 +- ...interface_generator_prolog_generated_test_pl.m4 | 2 +- ...face_generator_prolog_generated_test_pl_code.m4 | 2 +- .../tests/ppl_prolog_generated_test_common.pl | 2 +- interfaces/Python/ppl_py.cc | 2 +- interfaces/Python/ppl_py.py | 2 +- interfaces/interfaced_boxes.hh | 2 +- interfaces/marked_pointers.hh | 2 +- interfaces/ppl_interface_generator_common.m4 | 2 +- interfaces/ppl_interface_generator_common_dat.m4 | 2 +- ...erface_generator_common_procedure_generators.m4 | 2 +- interfaces/ppl_interface_generator_copyright | 2 +- m4/Makefile.am | 2 +- m4/ac_check_ciao.m4 | 2 +- m4/ac_check_cxx11.m4 | 2 +- m4/ac_check_fpu_control.m4 | 2 +- m4/ac_check_gmp.m4 | 2 +- m4/ac_check_sicstus_prolog.m4 | 2 +- m4/ac_check_swi_prolog.m4 | 2 +- m4/ac_check_xsb_prolog.m4 | 2 +- m4/ac_check_yap.m4 | 2 +- m4/ac_cxx_attribute_weak.m4 | 2 +- m4/ac_cxx_double_binary_format.m4 | 2 +- m4/ac_cxx_float_binary_format.m4 | 2 +- m4/ac_cxx_ieee_inexact_flag.m4 | 2 +- m4/ac_cxx_limit_memory.m4 | 2 +- m4/ac_cxx_long_double_binary_format.m4 | 2 +- m4/ac_cxx_plain_char_is_signed.m4 | 2 +- m4/ac_cxx_proper_long_double.m4 | 2 +- m4/ac_cxx_zero_length_arrays.m4 | 2 +- m4/ac_prog_jar.m4 | 2 +- m4/ac_prog_java.m4 | 2 +- m4/ac_prog_javac.m4 | 4 ++-- m4/ac_prog_javah.m4 | 2 +- m4/ac_text_md5sum.m4 | 2 +- m4/ppl.m4 | 2 +- m4/ppl_c.m4 | 2 +- src/Affine_Space.cc | 2 +- src/Affine_Space_defs.hh | 2 +- src/Affine_Space_inlines.hh | 2 +- src/Affine_Space_types.hh | 2 +- src/Any_Pointset_defs.hh | 2 +- src/Any_Pointset_inlines.hh | 2 +- src/Any_Pointset_types.hh | 2 +- src/Ask_Tell_defs.hh | 2 +- src/Ask_Tell_inlines.hh | 2 +- src/Ask_Tell_templates.hh | 2 +- src/Ask_Tell_types.hh | 2 +- src/BDS_Status.cc | 2 +- src/BDS_Status_idefs.hh | 2 +- src/BDS_Status_inlines.hh | 2 +- src/BD_Shape.cc | 2 +- src/BD_Shape_defs.hh | 2 +- src/BD_Shape_inlines.hh | 2 +- src/BD_Shape_templates.hh | 2 +- src/BD_Shape_types.hh | 2 +- src/BHRZ03_Certificate.cc | 2 +- src/BHRZ03_Certificate_defs.hh | 2 +- src/BHRZ03_Certificate_inlines.hh | 2 +- src/BHRZ03_Certificate_types.hh | 2 +- src/Bit_Matrix.cc | 2 +- src/Bit_Matrix_defs.hh | 2 +- src/Bit_Matrix_inlines.hh | 2 +- src/Bit_Matrix_types.hh | 2 +- src/Bit_Row.cc | 2 +- src/Bit_Row_defs.hh | 2 +- src/Bit_Row_inlines.hh | 2 +- src/Bit_Row_types.hh | 2 +- src/Boundary_defs.hh | 2 +- src/Box.cc | 2 +- src/Box_Status.cc | 2 +- src/Box_Status_idefs.hh | 2 +- src/Box_Status_inlines.hh | 2 +- src/Box_defs.hh | 2 +- src/Box_inlines.hh | 2 +- src/Box_templates.hh | 2 +- src/Box_types.hh | 2 +- src/CO_Tree.cc | 2 +- src/CO_Tree_defs.hh | 2 +- src/CO_Tree_inlines.hh | 2 +- src/CO_Tree_templates.hh | 2 +- src/CO_Tree_types.hh | 2 +- src/C_Integer.hh | 2 +- src/C_Polyhedron.cc | 2 +- src/C_Polyhedron_defs.hh | 2 +- src/C_Polyhedron_inlines.hh | 2 +- src/C_Polyhedron_types.hh | 2 +- src/Cast_Floating_Point_Expression_defs.hh | 2 +- src/Cast_Floating_Point_Expression_inlines.hh | 2 +- src/Cast_Floating_Point_Expression_templates.hh | 2 +- src/Cast_Floating_Point_Expression_types.hh | 2 +- src/Checked_Number.cc | 2 +- src/Checked_Number_defs.hh | 2 +- src/Checked_Number_inlines.hh | 2 +- src/Checked_Number_templates.hh | 2 +- src/Checked_Number_types.hh | 2 +- src/Coefficient.cc | 2 +- src/Coefficient_defs.hh | 2 +- src/Coefficient_inlines.hh | 2 +- src/Coefficient_traits_template.hh | 2 +- src/Coefficient_types.hh | 2 +- src/Concrete_Expression.cc | 2 +- src/Concrete_Expression_defs.hh | 2 +- src/Concrete_Expression_inlines.hh | 2 +- src/Concrete_Expression_types.hh | 2 +- src/Congruence.cc | 2 +- src/Congruence_System.cc | 2 +- src/Congruence_System_defs.hh | 2 +- src/Congruence_System_inlines.hh | 2 +- src/Congruence_System_types.hh | 2 +- src/Congruence_defs.hh | 2 +- src/Congruence_inlines.hh | 2 +- src/Congruence_types.hh | 2 +- src/Constant_Floating_Point_Expression_defs.hh | 2 +- src/Constant_Floating_Point_Expression_inlines.hh | 2 +- src/Constant_Floating_Point_Expression_types.hh | 2 +- src/Constraint.cc | 2 +- src/Constraint_System.cc | 2 +- src/Constraint_System_defs.hh | 2 +- src/Constraint_System_inlines.hh | 2 +- src/Constraint_System_types.hh | 2 +- src/Constraint_defs.hh | 2 +- src/Constraint_inlines.hh | 2 +- src/Constraint_types.hh | 2 +- src/DB_Matrix_defs.hh | 2 +- src/DB_Matrix_inlines.hh | 2 +- src/DB_Matrix_templates.hh | 2 +- src/DB_Matrix_types.hh | 2 +- src/DB_Row_defs.hh | 2 +- src/DB_Row_inlines.hh | 2 +- src/DB_Row_templates.hh | 2 +- src/DB_Row_types.hh | 2 +- src/Dense_Row.cc | 2 +- src/Dense_Row_defs.hh | 2 +- src/Dense_Row_inlines.hh | 2 +- src/Dense_Row_templates.hh | 2 +- src/Dense_Row_types.hh | 2 +- src/Determinate_defs.hh | 2 +- src/Determinate_inlines.hh | 2 +- src/Determinate_types.hh | 2 +- src/Difference_Floating_Point_Expression_defs.hh | 2 +- ...Difference_Floating_Point_Expression_inlines.hh | 2 +- ...fference_Floating_Point_Expression_templates.hh | 2 +- src/Difference_Floating_Point_Expression_types.hh | 2 +- src/Division_Floating_Point_Expression_defs.hh | 2 +- src/Division_Floating_Point_Expression_inlines.hh | 2 +- ...Division_Floating_Point_Expression_templates.hh | 2 +- src/Division_Floating_Point_Expression_types.hh | 2 +- src/Doubly_Linked_Object_defs.hh | 2 +- src/Doubly_Linked_Object_inlines.hh | 2 +- src/Doubly_Linked_Object_types.hh | 2 +- src/EList_Iterator_defs.hh | 2 +- src/EList_Iterator_inlines.hh | 2 +- src/EList_Iterator_types.hh | 2 +- src/EList_defs.hh | 2 +- src/EList_inlines.hh | 2 +- src/EList_types.hh | 2 +- src/Expression_Adapter_defs.hh | 2 +- src/Expression_Adapter_inlines.hh | 2 +- src/Expression_Adapter_types.hh | 2 +- src/Expression_Hide_Inhomo_defs.hh | 2 +- src/Expression_Hide_Inhomo_inlines.hh | 2 +- src/Expression_Hide_Inhomo_types.hh | 2 +- src/Expression_Hide_Last_defs.hh | 2 +- src/Expression_Hide_Last_inlines.hh | 2 +- src/Expression_Hide_Last_types.hh | 2 +- src/Float.cc | 2 +- src/Float_defs.hh | 2 +- src/Float_inlines.hh | 2 +- src/Float_templates.hh | 2 +- src/Floating_Point_Expression_defs.hh | 2 +- src/Floating_Point_Expression_inlines.hh | 2 +- src/Floating_Point_Expression_templates.hh | 2 +- src/Floating_Point_Expression_types.hh | 2 +- src/GMP_Integer_defs.hh | 2 +- src/GMP_Integer_inlines.hh | 2 +- src/GMP_Integer_types.hh | 2 +- src/Generator.cc | 2 +- src/Generator_System.cc | 2 +- src/Generator_System_defs.hh | 2 +- src/Generator_System_inlines.hh | 2 +- src/Generator_System_types.hh | 2 +- src/Generator_defs.hh | 2 +- src/Generator_inlines.hh | 2 +- src/Generator_types.hh | 2 +- src/Grid_Certificate.cc | 2 +- src/Grid_Certificate_defs.hh | 2 +- src/Grid_Certificate_inlines.hh | 2 +- src/Grid_Certificate_types.hh | 2 +- src/Grid_Generator.cc | 2 +- src/Grid_Generator_System.cc | 2 +- src/Grid_Generator_System_defs.hh | 2 +- src/Grid_Generator_System_inlines.hh | 2 +- src/Grid_Generator_System_types.hh | 2 +- src/Grid_Generator_defs.hh | 2 +- src/Grid_Generator_inlines.hh | 2 +- src/Grid_Generator_types.hh | 2 +- src/Grid_Status.cc | 2 +- src/Grid_Status_idefs.hh | 2 +- src/Grid_Status_inlines.hh | 2 +- src/Grid_chdims.cc | 2 +- src/Grid_conversion.cc | 2 +- src/Grid_defs.hh | 2 +- src/Grid_inlines.hh | 2 +- src/Grid_nonpublic.cc | 2 +- src/Grid_public.cc | 2 +- src/Grid_simplify.cc | 2 +- src/Grid_templates.hh | 2 +- src/Grid_types.hh | 2 +- src/Grid_widenings.cc | 2 +- src/H79_Certificate.cc | 2 +- src/H79_Certificate_defs.hh | 2 +- src/H79_Certificate_inlines.hh | 2 +- src/H79_Certificate_types.hh | 2 +- src/Handler.cc | 2 +- src/Handler_defs.hh | 2 +- src/Handler_inlines.hh | 2 +- src/Handler_types.hh | 2 +- src/Has_Assign_Or_Swap.hh | 2 +- src/Init.cc | 2 +- src/Init_defs.hh | 2 +- src/Init_inlines.hh | 2 +- src/Init_types.hh | 2 +- src/Integer_Interval.hh | 2 +- src/Interval_Info_defs.hh | 2 +- src/Interval_Info_inlines.hh | 2 +- src/Interval_Info_types.hh | 2 +- src/Interval_defs.hh | 2 +- src/Interval_inlines.hh | 2 +- src/Interval_templates.hh | 2 +- src/Interval_types.hh | 2 +- src/Linear_Expression.cc | 2 +- src/Linear_Expression_Impl.cc | 2 +- src/Linear_Expression_Impl_defs.hh | 2 +- src/Linear_Expression_Impl_inlines.hh | 2 +- src/Linear_Expression_Impl_templates.hh | 2 +- src/Linear_Expression_Impl_types.hh | 2 +- src/Linear_Expression_Interface.cc | 2 +- src/Linear_Expression_Interface_defs.hh | 2 +- src/Linear_Expression_Interface_types.hh | 2 +- src/Linear_Expression_defs.hh | 2 +- src/Linear_Expression_inlines.hh | 2 +- src/Linear_Expression_types.hh | 2 +- src/Linear_Form.cc | 2 +- src/Linear_Form_defs.hh | 2 +- src/Linear_Form_inlines.hh | 2 +- src/Linear_Form_templates.hh | 2 +- src/Linear_Form_types.hh | 2 +- src/Linear_System_defs.hh | 2 +- src/Linear_System_inlines.hh | 2 +- src/Linear_System_templates.hh | 2 +- src/Linear_System_types.hh | 2 +- src/MIP_Problem.cc | 2 +- src/MIP_Problem_defs.hh | 2 +- src/MIP_Problem_inlines.hh | 2 +- src/MIP_Problem_templates.hh | 2 +- src/MIP_Problem_types.hh | 2 +- src/Makefile.am | 2 +- src/Matrix_defs.hh | 2 +- src/Matrix_inlines.hh | 2 +- src/Matrix_templates.hh | 2 +- src/Matrix_types.hh | 2 +- ...ultiplication_Floating_Point_Expression_defs.hh | 2 +- ...iplication_Floating_Point_Expression_inlines.hh | 2 +- ...lication_Floating_Point_Expression_templates.hh | 2 +- ...ltiplication_Floating_Point_Expression_types.hh | 2 +- src/NNC_Polyhedron.cc | 2 +- src/NNC_Polyhedron_defs.hh | 2 +- src/NNC_Polyhedron_inlines.hh | 2 +- src/NNC_Polyhedron_types.hh | 2 +- src/Numeric_Format_defs.hh | 2 +- src/OR_Matrix_defs.hh | 2 +- src/OR_Matrix_inlines.hh | 2 +- src/OR_Matrix_templates.hh | 2 +- src/OR_Matrix_types.hh | 2 +- src/Octagonal_Shape.cc | 2 +- src/Octagonal_Shape_defs.hh | 2 +- src/Octagonal_Shape_inlines.hh | 2 +- src/Octagonal_Shape_templates.hh | 2 +- src/Octagonal_Shape_types.hh | 2 +- src/Og_Status.cc | 2 +- src/Og_Status_idefs.hh | 2 +- src/Og_Status_inlines.hh | 2 +- src/Opposite_Floating_Point_Expression_defs.hh | 2 +- src/Opposite_Floating_Point_Expression_inlines.hh | 2 +- src/Opposite_Floating_Point_Expression_types.hh | 2 +- src/PIP_Problem.cc | 2 +- src/PIP_Problem_defs.hh | 2 +- src/PIP_Problem_inlines.hh | 2 +- src/PIP_Problem_templates.hh | 2 +- src/PIP_Problem_types.hh | 2 +- src/PIP_Tree.cc | 2 +- src/PIP_Tree_defs.hh | 2 +- src/PIP_Tree_inlines.hh | 2 +- src/PIP_Tree_types.hh | 2 +- src/Partial_Function.cc | 2 +- src/Partial_Function_defs.hh | 2 +- src/Partial_Function_inlines.hh | 2 +- src/Partial_Function_types.hh | 2 +- src/Partially_Reduced_Product_defs.hh | 2 +- src/Partially_Reduced_Product_inlines.hh | 2 +- src/Partially_Reduced_Product_templates.hh | 2 +- src/Partially_Reduced_Product_types.hh | 2 +- src/Pending_Element_defs.hh | 2 +- src/Pending_Element_inlines.hh | 2 +- src/Pending_Element_types.hh | 2 +- src/Pending_List_defs.hh | 2 +- src/Pending_List_inlines.hh | 2 +- src/Pending_List_templates.hh | 2 +- src/Pending_List_types.hh | 2 +- src/Ph_Status.cc | 2 +- src/Ph_Status_idefs.hh | 2 +- src/Ph_Status_inlines.hh | 2 +- src/Pointset_Ask_Tell.cc | 2 +- src/Pointset_Ask_Tell_defs.hh | 2 +- src/Pointset_Ask_Tell_inlines.hh | 2 +- src/Pointset_Ask_Tell_templates.hh | 2 +- src/Pointset_Ask_Tell_types.hh | 2 +- src/Pointset_Powerset.cc | 2 +- src/Pointset_Powerset_defs.hh | 2 +- src/Pointset_Powerset_inlines.hh | 2 +- src/Pointset_Powerset_templates.hh | 2 +- src/Pointset_Powerset_types.hh | 2 +- src/Poly_Con_Relation.cc | 2 +- src/Poly_Con_Relation_defs.hh | 2 +- src/Poly_Con_Relation_inlines.hh | 2 +- src/Poly_Con_Relation_types.hh | 2 +- src/Poly_Gen_Relation.cc | 2 +- src/Poly_Gen_Relation_defs.hh | 2 +- src/Poly_Gen_Relation_inlines.hh | 2 +- src/Poly_Gen_Relation_types.hh | 2 +- src/Polyhedron_chdims.cc | 2 +- src/Polyhedron_chdims_templates.hh | 2 +- src/Polyhedron_conversion_templates.hh | 2 +- src/Polyhedron_defs.hh | 2 +- src/Polyhedron_inlines.hh | 2 +- src/Polyhedron_minimize_templates.hh | 2 +- src/Polyhedron_nonpublic.cc | 2 +- src/Polyhedron_public.cc | 2 +- src/Polyhedron_simplify_templates.hh | 2 +- src/Polyhedron_templates.hh | 2 +- src/Polyhedron_types.hh | 2 +- src/Polyhedron_widenings.cc | 2 +- src/Powerset_defs.hh | 2 +- src/Powerset_inlines.hh | 2 +- src/Powerset_templates.hh | 2 +- src/Powerset_types.hh | 2 +- src/Ptr_Iterator_defs.hh | 2 +- src/Ptr_Iterator_inlines.hh | 2 +- src/Ptr_Iterator_types.hh | 2 +- src/Rational_Box.hh | 2 +- src/Rational_Interval.hh | 2 +- src/Result_defs.hh | 2 +- src/Result_inlines.hh | 2 +- src/Rounding_Dir_defs.hh | 2 +- src/Rounding_Dir_inlines.hh | 2 +- src/Scalar_Products.cc | 2 +- src/Scalar_Products_defs.hh | 2 +- src/Scalar_Products_inlines.hh | 2 +- src/Scalar_Products_types.hh | 2 +- src/Slow_Copy.hh | 2 +- src/Sparse_Row.cc | 2 +- src/Sparse_Row_defs.hh | 2 +- src/Sparse_Row_inlines.hh | 2 +- src/Sparse_Row_templates.hh | 2 +- src/Sparse_Row_types.hh | 2 +- src/Sum_Floating_Point_Expression_defs.hh | 2 +- src/Sum_Floating_Point_Expression_inlines.hh | 2 +- src/Sum_Floating_Point_Expression_templates.hh | 2 +- src/Sum_Floating_Point_Expression_types.hh | 2 +- src/Swapping_Vector_defs.hh | 2 +- src/Swapping_Vector_inlines.hh | 2 +- src/Swapping_Vector_types.hh | 2 +- src/Temp_defs.hh | 2 +- src/Temp_inlines.hh | 2 +- src/Temp_templates.hh | 2 +- src/Threshold_Watcher.cc | 2 +- src/Threshold_Watcher_defs.hh | 2 +- src/Threshold_Watcher_inlines.hh | 2 +- src/Threshold_Watcher_templates.hh | 2 +- src/Threshold_Watcher_types.hh | 2 +- src/Time.cc | 2 +- src/Time_defs.hh | 2 +- src/Time_inlines.hh | 2 +- src/Time_types.hh | 2 +- src/Topology_types.hh | 2 +- src/Variable.cc | 2 +- src/Variable_Floating_Point_Expression_defs.hh | 2 +- src/Variable_Floating_Point_Expression_inlines.hh | 2 +- src/Variable_Floating_Point_Expression_types.hh | 2 +- src/Variable_defs.hh | 2 +- src/Variable_inlines.hh | 2 +- src/Variable_types.hh | 2 +- src/Variables_Set.cc | 2 +- src/Variables_Set_defs.hh | 2 +- src/Variables_Set_inlines.hh | 2 +- src/Variables_Set_types.hh | 2 +- src/WRD_coefficient_types_defs.hh | 2 +- src/WRD_coefficient_types_inlines.hh | 2 +- src/Watchdog.cc | 2 +- src/Watchdog_defs.hh | 2 +- src/Watchdog_inlines.hh | 2 +- src/Watchdog_types.hh | 2 +- src/Weight_Profiler.cc | 2 +- src/Weight_Profiler_defs.hh | 2 +- src/Widening_Function_defs.hh | 2 +- src/Widening_Function_inlines.hh | 2 +- src/Widening_Function_types.hh | 2 +- src/algorithms.hh | 2 +- src/assertions.cc | 2 +- src/assertions.hh | 2 +- src/assign_or_swap.hh | 2 +- src/c_streambuf.cc | 2 +- src/c_streambuf_defs.hh | 2 +- src/c_streambuf_inlines.hh | 2 +- src/c_streambuf_types.hh | 2 +- src/checked.cc | 2 +- src/checked_defs.hh | 2 +- src/checked_ext_defs.hh | 2 +- src/checked_ext_inlines.hh | 2 +- src/checked_float_inlines.hh | 2 +- src/checked_inlines.hh | 2 +- src/checked_int_inlines.hh | 2 +- src/checked_mpq_inlines.hh | 2 +- src/checked_mpz_inlines.hh | 2 +- src/checked_numeric_limits.hh | 2 +- src/compiler.hh | 2 +- src/distances_defs.hh | 2 +- src/distances_inlines.hh | 2 +- src/distances_types.hh | 2 +- src/fpu-c99_inlines.hh | 2 +- src/fpu-ia32.cc | 2 +- src/fpu-ia32_inlines.hh | 2 +- src/fpu-none_inlines.hh | 2 +- src/fpu-sparc_inlines.hh | 2 +- src/fpu_defs.hh | 2 +- src/fpu_types.hh | 2 +- src/globals.cc | 2 +- src/globals_defs.hh | 2 +- src/globals_inlines.hh | 2 +- src/globals_types.hh | 2 +- src/initializer.hh | 2 +- src/intervals_defs.hh | 2 +- src/iterator_to_const_defs.hh | 2 +- src/iterator_to_const_inlines.hh | 2 +- src/iterator_to_const_types.hh | 2 +- src/linearize.hh | 2 +- src/math_utilities_defs.hh | 2 +- src/math_utilities_inlines.hh | 2 +- src/max_space_dimension.hh | 2 +- src/meta_programming.hh | 2 +- src/mp_std_bits.cc | 2 +- src/mp_std_bits_defs.hh | 2 +- src/mp_std_bits_inlines.hh | 2 +- src/namespaces.hh | 2 +- src/ppl-config.cc.in | 2 +- src/ppl_header.hh | 2 +- src/set_GMP_memory_alloc_funcs.cc | 2 +- src/stdiobuf.cc | 2 +- src/stdiobuf_defs.hh | 2 +- src/stdiobuf_inlines.hh | 2 +- src/stdiobuf_types.hh | 2 +- src/swapping_sort_templates.hh | 2 +- src/termination.cc | 2 +- src/termination_defs.hh | 2 +- src/termination_templates.hh | 2 +- src/termination_types.hh | 2 +- src/version.cc | 4 ++-- src/version.hh.in | 2 +- src/wrap_assign.hh | 2 +- src/wrap_string.cc | 2 +- src/wrap_string.hh | 2 +- tests/Ask_Tell/Makefile.am | 2 +- tests/Ask_Tell/append1.cc | 2 +- tests/BD_Shape/Makefile.am | 2 +- tests/BD_Shape/addconstraints1.cc | 2 +- tests/BD_Shape/addspacedims1.cc | 2 +- tests/BD_Shape/affinedimension1.cc | 2 +- tests/BD_Shape/affineimage1.cc | 2 +- tests/BD_Shape/affineimage2.cc | 2 +- tests/BD_Shape/affinepreimage1.cc | 2 +- tests/BD_Shape/ascii_dump_load1.cc | 2 +- tests/BD_Shape/bgp99extrapolation1.cc | 2 +- tests/BD_Shape/bhmz05widening1.cc | 2 +- tests/BD_Shape/bhz03widening1.cc | 2 +- tests/BD_Shape/bounded1.cc | 2 +- tests/BD_Shape/boundedaffineimage1.cc | 2 +- tests/BD_Shape/boundedaffinepreimage1.cc | 2 +- tests/BD_Shape/bounds1.cc | 2 +- tests/BD_Shape/cc76extrapolation1.cc | 2 +- tests/BD_Shape/cc76narrowing1.cc | 2 +- tests/BD_Shape/closure1.cc | 2 +- tests/BD_Shape/concatenate1.cc | 2 +- tests/BD_Shape/congruences1.cc | 2 +- tests/BD_Shape/constrains1.cc | 2 +- tests/BD_Shape/constraints1.cc | 2 +- tests/BD_Shape/contains1.cc | 2 +- tests/BD_Shape/containsintegerpoint1.cc | 2 +- tests/BD_Shape/difference1.cc | 2 +- tests/BD_Shape/discrete1.cc | 2 +- tests/BD_Shape/disjoint1.cc | 2 +- tests/BD_Shape/dropsomenonintegerpoints1.cc | 2 +- tests/BD_Shape/empty1.cc | 2 +- tests/BD_Shape/equality1.cc | 2 +- tests/BD_Shape/expandspacedim1.cc | 2 +- tests/BD_Shape/foldspacedims1.cc | 2 +- tests/BD_Shape/frequency1.cc | 2 +- tests/BD_Shape/frombdshape1.cc | 2 +- tests/BD_Shape/frombox1.cc | 2 +- tests/BD_Shape/fromgensys1.cc | 2 +- tests/BD_Shape/fromgrid1.cc | 2 +- tests/BD_Shape/fromoctagonalshape1.cc | 2 +- tests/BD_Shape/frompolyhedron1.cc | 2 +- tests/BD_Shape/fromspacedim1.cc | 2 +- tests/BD_Shape/generalizedaffineimage1.cc | 2 +- tests/BD_Shape/generalizedaffineimage2.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage1.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage2.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage3.cc | 2 +- tests/BD_Shape/geomcovers1.cc | 2 +- tests/BD_Shape/h79widening1.cc | 2 +- tests/BD_Shape/integerupperboundifexact1.cc | 2 +- tests/BD_Shape/intersection1.cc | 2 +- tests/BD_Shape/limitedbhmz05extrapolation1.cc | 2 +- tests/BD_Shape/limitedcc76extrapolation1.cc | 2 +- tests/BD_Shape/limitedh79extrapolation1.cc | 2 +- tests/BD_Shape/mapspacedims1.cc | 2 +- tests/BD_Shape/max_min1.cc | 2 +- tests/BD_Shape/max_min2.cc | 2 +- tests/BD_Shape/maxspacedim1.cc | 2 +- tests/BD_Shape/membytes1.cc | 2 +- tests/BD_Shape/minconstraints1.cc | 2 +- tests/BD_Shape/relations1.cc | 2 +- tests/BD_Shape/relations2.cc | 2 +- tests/BD_Shape/relations3.cc | 2 +- tests/BD_Shape/relations4.cc | 2 +- tests/BD_Shape/removespacedims1.cc | 2 +- tests/BD_Shape/run_tests | 2 +- tests/BD_Shape/simplifyusingcontext1.cc | 2 +- tests/BD_Shape/timeelapse1.cc | 2 +- tests/BD_Shape/unconstrain1.cc | 2 +- tests/BD_Shape/universe1.cc | 2 +- tests/BD_Shape/upperbound1.cc | 2 +- tests/BD_Shape/upperboundifexact1.cc | 2 +- tests/BD_Shape/wrap1.cc | 2 +- tests/BD_Shape/writebdshape1.cc | 2 +- tests/Box/Makefile.am | 2 +- tests/Box/addconstraints1.cc | 2 +- tests/Box/addspacedims1.cc | 2 +- tests/Box/affinedimension1.cc | 2 +- tests/Box/affineimage1.cc | 2 +- tests/Box/affinepreimage1.cc | 2 +- tests/Box/ascii_dump_load1.cc | 2 +- tests/Box/bgp99extrapolation1.cc | 2 +- tests/Box/bhz03widening1.cc | 2 +- tests/Box/bounded1.cc | 2 +- tests/Box/boundedaffineimage1.cc | 2 +- tests/Box/boundedaffinepreimage1.cc | 2 +- tests/Box/cc76narrowing1.cc | 2 +- tests/Box/cc76widening.cc | 2 +- tests/Box/concatenate1.cc | 2 +- tests/Box/congruences1.cc | 2 +- tests/Box/constrains1.cc | 2 +- tests/Box/constraints1.cc | 2 +- tests/Box/contains1.cc | 2 +- tests/Box/containsintegerpoint1.cc | 2 +- tests/Box/difference1.cc | 2 +- tests/Box/discrete1.cc | 2 +- tests/Box/disjoint1.cc | 2 +- tests/Box/empty1.cc | 2 +- tests/Box/equality1.cc | 2 +- tests/Box/expandspacedim1.cc | 2 +- tests/Box/foldspacedims1.cc | 2 +- tests/Box/frequency1.cc | 2 +- tests/Box/frombdshape1.cc | 2 +- tests/Box/frombox1.cc | 2 +- tests/Box/fromgensys1.cc | 2 +- tests/Box/fromgrid1.cc | 2 +- tests/Box/frompartiallyreducedproduct1.cc | 2 +- tests/Box/frompolyhedron1.cc | 2 +- tests/Box/frompolyhedron2.cc | 2 +- tests/Box/fromspacedim1.cc | 2 +- tests/Box/generalizedaffineimage1.cc | 2 +- tests/Box/generalizedaffineimage2.cc | 2 +- tests/Box/generalizedaffinepreimage1.cc | 2 +- tests/Box/geomcovers1.cc | 2 +- tests/Box/intersection1.cc | 2 +- tests/Box/interval1.cc | 2 +- tests/Box/limitedcc76extrapolation1.cc | 2 +- tests/Box/mapspacedims1.cc | 2 +- tests/Box/max_min1.cc | 2 +- tests/Box/maxspacedim1.cc | 2 +- tests/Box/membytes1.cc | 2 +- tests/Box/minconstraints1.cc | 2 +- tests/Box/propagateconstraints1.cc | 2 +- tests/Box/propagateconstraints2.cc | 2 +- tests/Box/refinewithcongruence1.cc | 2 +- tests/Box/refinewithcongruences1.cc | 2 +- tests/Box/refinewithconstraint1.cc | 2 +- tests/Box/refinewithconstraint2.cc | 2 +- tests/Box/refinewithconstraints1.cc | 2 +- tests/Box/refinewithconstraints2.cc | 2 +- tests/Box/relations1.cc | 2 +- tests/Box/relations2.cc | 2 +- tests/Box/relations3.cc | 2 +- tests/Box/relations4.cc | 2 +- tests/Box/removespacedims1.cc | 2 +- tests/Box/run_tests | 2 +- tests/Box/simplifyusingcontext1.cc | 2 +- tests/Box/timeelapse1.cc | 2 +- tests/Box/topclosed1.cc | 2 +- tests/Box/unconstrain1.cc | 2 +- tests/Box/universe1.cc | 2 +- tests/Box/upperbound1.cc | 2 +- tests/Box/upperboundifexact1.cc | 2 +- tests/Box/wrap1.cc | 2 +- tests/Box/writebox1.cc | 2 +- tests/CO_Tree/Makefile.am | 2 +- tests/CO_Tree/cotree1.cc | 2 +- tests/Concrete_Expression/C_Expr.cc | 2 +- tests/Concrete_Expression/C_Expr_defs.hh | 2 +- tests/Concrete_Expression/C_Expr_inlines.hh | 2 +- tests/Concrete_Expression/C_Expr_types.hh | 2 +- tests/Concrete_Expression/Makefile.am | 2 +- tests/Concrete_Expression/bdshape1.cc | 2 +- tests/Concrete_Expression/bdshape2.cc | 2 +- tests/Concrete_Expression/digitalfilters1.cc | 2 +- tests/Concrete_Expression/linearform1.cc | 2 +- tests/Concrete_Expression/linearize.cc | 2 +- tests/Concrete_Expression/octagonalshape1.cc | 2 +- tests/Concrete_Expression/octagonalshape2.cc | 2 +- tests/Concrete_Expression/polyhedron1.cc | 2 +- tests/Concrete_Expression/polyhedron2.cc | 2 +- tests/Concrete_Expression/run_tests | 2 +- tests/Grid/Makefile.am | 2 +- tests/Grid/addcongruence1.cc | 2 +- tests/Grid/addcongruences1.cc | 2 +- tests/Grid/addconstraint1.cc | 2 +- tests/Grid/addconstraints1.cc | 2 +- tests/Grid/addgenerator1.cc | 2 +- tests/Grid/addgenerators1.cc | 2 +- tests/Grid/addspacedims1.cc | 2 +- tests/Grid/affinedim1.cc | 2 +- tests/Grid/affineimage1.cc | 2 +- tests/Grid/affineimage2.cc | 2 +- tests/Grid/affinepreimage1.cc | 2 +- tests/Grid/affinepreimage2.cc | 2 +- tests/Grid/approximatepartition1.cc | 2 +- tests/Grid/asciidumpload1.cc | 2 +- tests/Grid/asciidumpload2.cc | 2 +- tests/Grid/asciidumpload3.cc | 2 +- tests/Grid/asciidumpload4.cc | 2 +- tests/Grid/asciidumpload5.cc | 2 +- tests/Grid/asciidumpload6.cc | 2 +- tests/Grid/bhz03widening1.cc | 2 +- tests/Grid/bounded1.cc | 2 +- tests/Grid/boundedaffineimage1.cc | 2 +- tests/Grid/boundedaffinepreimage1.cc | 2 +- tests/Grid/boundingbox1.cc | 2 +- tests/Grid/bounds1.cc | 2 +- tests/Grid/certificate1.cc | 2 +- tests/Grid/concatenate1.cc | 2 +- tests/Grid/congruence1.cc | 2 +- tests/Grid/congruences1.cc | 2 +- tests/Grid/congruences2.cc | 2 +- tests/Grid/constraints1.cc | 2 +- tests/Grid/contains1.cc | 2 +- tests/Grid/containsintegerpoint1.cc | 2 +- tests/Grid/discrete1.cc | 2 +- tests/Grid/disjoint1.cc | 2 +- tests/Grid/dropnonintegerpoints1.cc | 2 +- tests/Grid/equals1.cc | 2 +- tests/Grid/expandspacedim1.cc | 2 +- tests/Grid/foldspacedims1.cc | 2 +- tests/Grid/frequency1.cc | 2 +- tests/Grid/frombdshape1.cc | 2 +- tests/Grid/frombox1.cc | 2 +- tests/Grid/fromgrid1.cc | 2 +- tests/Grid/fromoctagonalshape1.cc | 2 +- tests/Grid/frompolyhedron1.cc | 2 +- tests/Grid/generalizedaffineimage1.cc | 2 +- tests/Grid/generalizedaffineimage2.cc | 2 +- tests/Grid/generalizedaffineimage3.cc | 2 +- tests/Grid/generalizedaffinepreimage1.cc | 2 +- tests/Grid/generalizedaffinepreimage2.cc | 2 +- tests/Grid/generalizedaffinepreimage3.cc | 2 +- tests/Grid/generator1.cc | 2 +- tests/Grid/generators1.cc | 2 +- tests/Grid/generators2.cc | 2 +- tests/Grid/grid1.cc | 2 +- tests/Grid/grid2.cc | 2 +- tests/Grid/grid3.cc | 2 +- tests/Grid/griddifference1.cc | 2 +- tests/Grid/intersection1.cc | 2 +- tests/Grid/isempty1.cc | 2 +- tests/Grid/isuniverse1.cc | 2 +- tests/Grid/limitedextrapolation1.cc | 2 +- tests/Grid/limitedextrapolation2.cc | 2 +- tests/Grid/limitedextrapolation3.cc | 2 +- tests/Grid/mapspacedims1.cc | 2 +- tests/Grid/maxmin1.cc | 2 +- tests/Grid/membytes1.cc | 2 +- tests/Grid/mincongruences1.cc | 2 +- tests/Grid/mingenerators1.cc | 2 +- tests/Grid/outputoperator1.cc | 2 +- tests/Grid/outputoperator2.cc | 2 +- tests/Grid/outputoperator3.cc | 2 +- tests/Grid/partition1.cc | 2 +- tests/Grid/powersetdifference1.cc | 2 +- tests/Grid/powersetgeometricallycovers1.cc | 2 +- tests/Grid/powersetgeometricallyequals1.cc | 2 +- tests/Grid/refinewithcongruences1.cc | 2 +- tests/Grid/refinewithconstraints1.cc | 2 +- tests/Grid/relations1.cc | 2 +- tests/Grid/relations2.cc | 2 +- tests/Grid/relations3.cc | 2 +- tests/Grid/removespacedims1.cc | 2 +- tests/Grid/removespacedims2.cc | 2 +- tests/Grid/simplifyusingcontext1.cc | 2 +- tests/Grid/timeelapse1.cc | 2 +- tests/Grid/topclosed1.cc | 2 +- tests/Grid/topclosure1.cc | 2 +- tests/Grid/unconstrain1.cc | 2 +- tests/Grid/upperbound1.cc | 2 +- tests/Grid/upperbound2.cc | 2 +- tests/Grid/widening1.cc | 2 +- tests/Grid/widening2.cc | 2 +- tests/Grid/widening3.cc | 2 +- tests/Grid/wrap1.cc | 2 +- tests/Grid/writecongruencesystem.cc | 2 +- tests/MIP_Problem/Makefile.am | 2 +- tests/MIP_Problem/ascii_dump_load1.cc | 2 +- tests/MIP_Problem/exceptions1.cc | 2 +- tests/MIP_Problem/mipproblem1.cc | 2 +- tests/MIP_Problem/mipproblem2.cc | 2 +- tests/MIP_Problem/mipproblem3.cc | 2 +- tests/MIP_Problem/mipproblem4.cc | 2 +- tests/Makefile.am | 2 +- tests/Octagonal_Shape/Makefile.am | 2 +- tests/Octagonal_Shape/addspacedims1.cc | 2 +- tests/Octagonal_Shape/affinedimension1.cc | 2 +- tests/Octagonal_Shape/affineimage1.cc | 2 +- tests/Octagonal_Shape/affineimage2.cc | 2 +- tests/Octagonal_Shape/affinepreimage1.cc | 2 +- tests/Octagonal_Shape/affinepreimage2.cc | 2 +- tests/Octagonal_Shape/ascii_dump_load1.cc | 2 +- tests/Octagonal_Shape/bhmz05widening1.cc | 2 +- tests/Octagonal_Shape/bhz03widening1.cc | 2 +- tests/Octagonal_Shape/bounded1.cc | 2 +- tests/Octagonal_Shape/boundedaffineimage1.cc | 2 +- tests/Octagonal_Shape/boundedaffinepreimage1.cc | 2 +- tests/Octagonal_Shape/bounds1.cc | 2 +- tests/Octagonal_Shape/cc76extrapolation1.cc | 2 +- tests/Octagonal_Shape/cc76narrowing1.cc | 2 +- tests/Octagonal_Shape/chinainit.cc | 2 +- tests/Octagonal_Shape/concatenate1.cc | 2 +- tests/Octagonal_Shape/congruences1.cc | 2 +- tests/Octagonal_Shape/constrains1.cc | 2 +- tests/Octagonal_Shape/constraints1.cc | 2 +- tests/Octagonal_Shape/contains1.cc | 2 +- tests/Octagonal_Shape/containsintegerpoint1.cc | 2 +- tests/Octagonal_Shape/difference1.cc | 2 +- tests/Octagonal_Shape/discrete1.cc | 2 +- tests/Octagonal_Shape/disjoint1.cc | 2 +- tests/Octagonal_Shape/dropsomenonintegerpoints1.cc | 2 +- tests/Octagonal_Shape/empty1.cc | 2 +- tests/Octagonal_Shape/expandspacedim1.cc | 2 +- tests/Octagonal_Shape/foldspacedims1.cc | 2 +- tests/Octagonal_Shape/frequency1.cc | 2 +- tests/Octagonal_Shape/frombdshape1.cc | 2 +- tests/Octagonal_Shape/frombox1.cc | 2 +- tests/Octagonal_Shape/fromgensys1.cc | 2 +- tests/Octagonal_Shape/fromgrid1.cc | 2 +- tests/Octagonal_Shape/fromoctagonalshape1.cc | 2 +- tests/Octagonal_Shape/frompolyhedron1.cc | 2 +- tests/Octagonal_Shape/fromspacedim1.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage1.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage2.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage3.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage4.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage5.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage1.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage2.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage3.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage4.cc | 2 +- tests/Octagonal_Shape/integerupperboundifexact1.cc | 2 +- tests/Octagonal_Shape/intersection1.cc | 2 +- .../Octagonal_Shape/limitedbhmz05extrapolation1.cc | 2 +- tests/Octagonal_Shape/limitedcc76extrapolation1.cc | 2 +- tests/Octagonal_Shape/mapspacedims1.cc | 2 +- tests/Octagonal_Shape/max_min1.cc | 2 +- tests/Octagonal_Shape/max_min2.cc | 2 +- tests/Octagonal_Shape/maxspacedim1.cc | 2 +- tests/Octagonal_Shape/membytes1.cc | 2 +- tests/Octagonal_Shape/minconstraints1.cc | 2 +- tests/Octagonal_Shape/relatwithcons1.cc | 2 +- tests/Octagonal_Shape/relatwithcons2.cc | 2 +- tests/Octagonal_Shape/relatwithcons3.cc | 2 +- tests/Octagonal_Shape/relatwithgen1.cc | 2 +- tests/Octagonal_Shape/removespacedims1.cc | 2 +- tests/Octagonal_Shape/run_tests | 2 +- tests/Octagonal_Shape/simplifyusingcontext1.cc | 2 +- tests/Octagonal_Shape/timeelapse1.cc | 2 +- tests/Octagonal_Shape/unconstrain1.cc | 2 +- tests/Octagonal_Shape/universe1.cc | 2 +- tests/Octagonal_Shape/upperbound1.cc | 2 +- tests/Octagonal_Shape/upperboundifexact1.cc | 2 +- tests/Octagonal_Shape/wrap1.cc | 2 +- tests/Octagonal_Shape/writeoctagon1.cc | 2 +- tests/PIP_Problem/Makefile.am | 2 +- tests/PIP_Problem/ascii_dump_load1.cc | 2 +- tests/PIP_Problem/exceptions1.cc | 2 +- tests/PIP_Problem/pipproblem1.cc | 2 +- tests/PIP_Problem/pipproblem2.cc | 2 +- tests/PIP_Problem/pipproblem3.cc | 2 +- tests/PIP_Problem/weightwatch1.cc | 2 +- tests/Partially_Reduced_Product/Makefile.am | 2 +- tests/Partially_Reduced_Product/addcongruences1.cc | 2 +- tests/Partially_Reduced_Product/addconstraints1.cc | 2 +- tests/Partially_Reduced_Product/affineimage1.cc | 2 +- tests/Partially_Reduced_Product/asciidumpload1.cc | 2 +- tests/Partially_Reduced_Product/bounded1.cc | 2 +- .../boundedaffineimage1.cc | 2 +- tests/Partially_Reduced_Product/bounds1.cc | 2 +- tests/Partially_Reduced_Product/concatenate1.cc | 2 +- tests/Partially_Reduced_Product/congruences1.cc | 2 +- .../congruencesproduct1.cc | 2 +- tests/Partially_Reduced_Product/constraints1.cc | 2 +- .../constraintsproduct1.cc | 2 +- tests/Partially_Reduced_Product/contains1.cc | 2 +- tests/Partially_Reduced_Product/difference1.cc | 2 +- tests/Partially_Reduced_Product/dimension1.cc | 2 +- tests/Partially_Reduced_Product/directproduct1.cc | 2 +- tests/Partially_Reduced_Product/directproduct2.cc | 2 +- tests/Partially_Reduced_Product/directproduct3.cc | 2 +- tests/Partially_Reduced_Product/directproduct4.cc | 2 +- tests/Partially_Reduced_Product/directproduct5.cc | 2 +- tests/Partially_Reduced_Product/directproduct6.cc | 2 +- tests/Partially_Reduced_Product/discrete1.cc | 2 +- tests/Partially_Reduced_Product/disjoint1.cc | 2 +- .../dropsomenonintegerpoints1.cc | 2 +- tests/Partially_Reduced_Product/equals1.cc | 2 +- tests/Partially_Reduced_Product/frombdshape1.cc | 2 +- tests/Partially_Reduced_Product/frombox1.cc | 2 +- tests/Partially_Reduced_Product/fromgrid1.cc | 2 +- .../fromoctagonalshape1.cc | 2 +- tests/Partially_Reduced_Product/frompolyhedron1.cc | 2 +- tests/Partially_Reduced_Product/fromproduct1.cc | 2 +- .../generalizedaffineimage1.cc | 2 +- tests/Partially_Reduced_Product/intersection1.cc | 2 +- tests/Partially_Reduced_Product/isempty1.cc | 2 +- tests/Partially_Reduced_Product/isuniverse1.cc | 2 +- tests/Partially_Reduced_Product/maxmin1.cc | 2 +- .../partially_reduced_product_test.hh | 2 +- .../partiallyreducedproduct1.cc | 2 +- .../partiallyreducedproduct2.cc | 2 +- .../partiallyreducedproduct3.cc | 2 +- .../partiallyreducedproduct4.cc | 2 +- .../refinewithcongruences1.cc | 2 +- .../refinewithconstraints1.cc | 2 +- tests/Partially_Reduced_Product/relations1.cc | 2 +- .../shapepreservingproduct1.cc | 2 +- tests/Partially_Reduced_Product/smashproduct1.cc | 2 +- tests/Partially_Reduced_Product/spacedims1.cc | 2 +- tests/Partially_Reduced_Product/timeelapse1.cc | 2 +- tests/Partially_Reduced_Product/topclosed1.cc | 2 +- tests/Partially_Reduced_Product/topclosure1.cc | 2 +- tests/Partially_Reduced_Product/upperbound1.cc | 2 +- tests/Partially_Reduced_Product/widening1.cc | 2 +- tests/Polyhedron/Makefile.am | 2 +- tests/Polyhedron/addcongruence1.cc | 2 +- tests/Polyhedron/addcongruences1.cc | 2 +- tests/Polyhedron/addconstraint1.cc | 2 +- tests/Polyhedron/addconstraints1.cc | 2 +- tests/Polyhedron/addconstraints2.cc | 2 +- tests/Polyhedron/addgenerator1.cc | 2 +- tests/Polyhedron/addgenerator2.cc | 2 +- tests/Polyhedron/addgenerators1.cc | 2 +- tests/Polyhedron/addgenerators2.cc | 2 +- tests/Polyhedron/addspacedims1.cc | 2 +- tests/Polyhedron/addspacedims2.cc | 2 +- tests/Polyhedron/affineimage1.cc | 2 +- tests/Polyhedron/affineimage2.cc | 2 +- tests/Polyhedron/affinepreimage1.cc | 2 +- tests/Polyhedron/affinetrans.cc | 2 +- tests/Polyhedron/append1.cc | 2 +- tests/Polyhedron/append2.cc | 2 +- tests/Polyhedron/ascii_dump_load1.cc | 2 +- tests/Polyhedron/ascii_dump_load2.cc | 2 +- tests/Polyhedron/ascii_dump_load3.cc | 2 +- tests/Polyhedron/bgp99extrapolation1.cc | 2 +- tests/Polyhedron/bgp99extrapolation2.cc | 2 +- tests/Polyhedron/bhrz03widening1.cc | 2 +- tests/Polyhedron/bhrz03widening2.cc | 2 +- tests/Polyhedron/bhrz03widening3.cc | 2 +- tests/Polyhedron/bhz03widening1.cc | 2 +- tests/Polyhedron/bounded1.cc | 2 +- tests/Polyhedron/boundedaffineimage1.cc | 2 +- tests/Polyhedron/boundedaffinepreimage1.cc | 2 +- tests/Polyhedron/boundedbhrz03extrapolation1.cc | 2 +- tests/Polyhedron/boundedh79extrapolation1.cc | 2 +- tests/Polyhedron/bounds1.cc | 2 +- tests/Polyhedron/cnncconversion1.cc | 2 +- tests/Polyhedron/concatenate1.cc | 2 +- tests/Polyhedron/congruences1.cc | 2 +- tests/Polyhedron/constrains1.cc | 2 +- tests/Polyhedron/constraints1.cc | 2 +- tests/Polyhedron/contains1.cc | 2 +- tests/Polyhedron/contains2.cc | 2 +- tests/Polyhedron/containsintegerpoint1.cc | 2 +- tests/Polyhedron/disjoint1.cc | 2 +- tests/Polyhedron/disjoint2.cc | 2 +- tests/Polyhedron/dropsomenonintegerpoints1.cc | 2 +- tests/Polyhedron/dropsomenonintegerpoints2.cc | 2 +- tests/Polyhedron/dualhypercubes.cc | 2 +- tests/Polyhedron/empty1.cc | 2 +- tests/Polyhedron/equals1.cc | 2 +- tests/Polyhedron/exceptions1.cc | 2 +- tests/Polyhedron/exceptions2.cc | 2 +- tests/Polyhedron/exceptions3.cc | 2 +- tests/Polyhedron/expandspacedim1.cc | 2 +- tests/Polyhedron/expandspacedim2.cc | 2 +- tests/Polyhedron/foldspacedims1.cc | 2 +- tests/Polyhedron/foldspacedims2.cc | 2 +- tests/Polyhedron/frequency1.cc | 2 +- tests/Polyhedron/frombdshape1.cc | 2 +- tests/Polyhedron/frombox1.cc | 2 +- tests/Polyhedron/frombox2.cc | 2 +- tests/Polyhedron/fromgrid1.cc | 2 +- tests/Polyhedron/fromoctagonalshape1.cc | 2 +- tests/Polyhedron/generalizedaffineimage1.cc | 2 +- tests/Polyhedron/generalizedaffineimage2.cc | 2 +- tests/Polyhedron/generalizedaffinepreimage1.cc | 2 +- tests/Polyhedron/generalizedaffinepreimage2.cc | 2 +- tests/Polyhedron/generators1.cc | 2 +- tests/Polyhedron/geomcovers1.cc | 2 +- tests/Polyhedron/h79widening1.cc | 2 +- tests/Polyhedron/h79widening2.cc | 2 +- tests/Polyhedron/hybrid.cc | 2 +- tests/Polyhedron/intersection1.cc | 2 +- tests/Polyhedron/limitedbhrz03extrapolation1.cc | 2 +- tests/Polyhedron/limitedh79extrapolation1.cc | 2 +- tests/Polyhedron/linearexpression1.cc | 2 +- tests/Polyhedron/linearpartition1.cc | 2 +- tests/Polyhedron/linearsystem1.cc | 2 +- tests/Polyhedron/mapspacedims1.cc | 2 +- tests/Polyhedron/matrix1.cc | 2 +- tests/Polyhedron/max_min1.cc | 2 +- tests/Polyhedron/maxspacedim1.cc | 2 +- tests/Polyhedron/mc91.cc | 2 +- tests/Polyhedron/membytes1.cc | 2 +- tests/Polyhedron/memory1.cc | 2 +- tests/Polyhedron/memory2.cc | 2 +- tests/Polyhedron/minconstraints1.cc | 2 +- tests/Polyhedron/minconstraints2.cc | 2 +- tests/Polyhedron/mingenerators1.cc | 2 +- tests/Polyhedron/mingenerators2.cc | 2 +- tests/Polyhedron/nncminimize1.cc | 2 +- tests/Polyhedron/nncminimize2.cc | 2 +- tests/Polyhedron/nncpostimeelapse1.cc | 2 +- tests/Polyhedron/numberinput1.cc | 2 +- tests/Polyhedron/onepoint.cc | 2 +- tests/Polyhedron/permute.cc | 2 +- tests/Polyhedron/polydifference1.cc | 2 +- tests/Polyhedron/polydifference2.cc | 2 +- tests/Polyhedron/polyhull1.cc | 2 +- tests/Polyhedron/polyhull2.cc | 2 +- tests/Polyhedron/polyhullifexact1.cc | 2 +- tests/Polyhedron/polyhullifexact2.cc | 2 +- tests/Polyhedron/randphull1.cc | 2 +- tests/Polyhedron/refinewithcongruence1.cc | 2 +- tests/Polyhedron/refinewithcongruences1.cc | 2 +- tests/Polyhedron/refinewithconstraint1.cc | 2 +- tests/Polyhedron/refinewithconstraints1.cc | 2 +- tests/Polyhedron/relations1.cc | 2 +- tests/Polyhedron/relations2.cc | 2 +- tests/Polyhedron/relations3.cc | 2 +- tests/Polyhedron/removespacedims1.cc | 2 +- tests/Polyhedron/removespacedims2.cc | 2 +- tests/Polyhedron/simplifyusingcontext1.cc | 2 +- tests/Polyhedron/simplifyusingcontext2.cc | 2 +- tests/Polyhedron/smm1.cc | 2 +- tests/Polyhedron/sparserow1.cc | 2 +- tests/Polyhedron/termination1.cc | 2 +- tests/Polyhedron/termination2.cc | 2 +- tests/Polyhedron/timeelapse1.cc | 2 +- tests/Polyhedron/timeelapse2.cc | 2 +- tests/Polyhedron/topclosed1.cc | 2 +- tests/Polyhedron/topclosure1.cc | 2 +- tests/Polyhedron/unconstrain1.cc | 2 +- tests/Polyhedron/universe1.cc | 2 +- tests/Polyhedron/universe2.cc | 2 +- tests/Polyhedron/variablesset1.cc | 2 +- tests/Polyhedron/watchdog1.cc | 2 +- tests/Polyhedron/weightwatch1.cc | 2 +- tests/Polyhedron/wrap1.cc | 2 +- tests/Polyhedron/wrap2.cc | 2 +- tests/Polyhedron/writeconsys1.cc | 2 +- tests/Polyhedron/writegensys1.cc | 2 +- tests/Polyhedron/writepolyhedron1.cc | 2 +- tests/Polyhedron/writepolyhedron2.cc | 2 +- tests/Polyhedron/writerelation1.cc | 2 +- tests/Polyhedron/writevariable1.cc | 2 +- tests/Powerset/Makefile.am | 2 +- tests/Powerset/addcongruences1.cc | 2 +- tests/Powerset/addconstraints1.cc | 2 +- tests/Powerset/affinedimension1.cc | 2 +- tests/Powerset/affineimage1.cc | 2 +- tests/Powerset/affinepreimage1.cc | 2 +- tests/Powerset/bounded1.cc | 2 +- tests/Powerset/bounds1.cc | 2 +- tests/Powerset/closed1.cc | 2 +- tests/Powerset/closure1.cc | 2 +- tests/Powerset/collapse1.cc | 2 +- tests/Powerset/concatenate1.cc | 2 +- tests/Powerset/contains1.cc | 2 +- tests/Powerset/containsintegerpoint1.cc | 2 +- tests/Powerset/difference1.cc | 2 +- tests/Powerset/discrete1.cc | 2 +- tests/Powerset/disjoint1.cc | 2 +- tests/Powerset/disjunct1.cc | 2 +- tests/Powerset/empty1.cc | 2 +- tests/Powerset/entails1.cc | 2 +- tests/Powerset/equals1.cc | 2 +- tests/Powerset/frombdshape1.cc | 2 +- tests/Powerset/frombox1.cc | 2 +- tests/Powerset/fromcongruences1.cc | 2 +- tests/Powerset/fromconstraints1.cc | 2 +- tests/Powerset/fromgrid1.cc | 2 +- tests/Powerset/fromoctagonalshape1.cc | 2 +- tests/Powerset/frompolyhedron1.cc | 2 +- tests/Powerset/fromspacedimension1.cc | 2 +- tests/Powerset/intersection1.cc | 2 +- tests/Powerset/maxmin1.cc | 2 +- tests/Powerset/meet1.cc | 2 +- tests/Powerset/membytes1.cc | 2 +- tests/Powerset/powerset1.cc | 2 +- tests/Powerset/reduce1.cc | 2 +- tests/Powerset/refinewith1.cc | 2 +- tests/Powerset/relationwith1.cc | 2 +- tests/Powerset/simplifyusingcontext1.cc | 2 +- tests/Powerset/size1.cc | 2 +- tests/Powerset/spacedims1.cc | 2 +- tests/Powerset/universe1.cc | 2 +- tests/Powerset/upperbound1.cc | 2 +- tests/README | 4 ++-- tests/Random_Number_Generator_defs.hh | 2 +- tests/Random_Number_Generator_inlines.hh | 2 +- tests/Random_Number_Generator_types.hh | 2 +- tests/Watchdog/Makefile.am | 2 +- tests/Watchdog/watchdog1.cc | 2 +- tests/files.cc | 2 +- tests/files.hh | 2 +- tests/ppl_test.cc | 2 +- tests/ppl_test.hh | 2 +- utils/Makefile.am | 2 +- utils/build_header.in | 2 +- utils/cm_cleaner.sh | 2 +- utils/cm_splitter.sh | 2 +- utils/text2cxxarray.in | 2 +- utils/timings.cc | 2 +- utils/timings.hh | 2 +- 1353 files changed, 1369 insertions(+), 1369 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=17f7837e…

1 0

[GIT] ppl/ppl(master): Bumped copyright years.
by Roberto Bagnara 01 Jan '18

01 Jan '18

Module: ppl/ppl Branch: master Commit: 3a5e1e20a94cffb830182f22132b153d6691b7c5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a5e1e20a94c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Jan 1 19:38:59 2018 +0100 Bumped copyright years. --- Makefile.am | 2 +- NEWS | 2 +- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- configure.ac | 2 +- debian/libppl-pwl.copyright.in | 2 +- debian/libppl.copyright.in | 2 +- demos/Makefile.am | 2 +- demos/ppl_lcdd/Makefile.am | 2 +- demos/ppl_lcdd/examples/Makefile.am | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- demos/ppl_lcdd/ppl_lcdd_extra_man_text | 2 +- demos/ppl_lpsol/Makefile.am | 2 +- demos/ppl_lpsol/dummy.cc | 2 +- demos/ppl_lpsol/examples/Makefile.am | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.c | 2 +- demos/ppl_lpsol/ppl_lpsol_extra_man_text | 2 +- demos/ppl_pips/Makefile.am | 2 +- demos/ppl_pips/examples/Makefile.am | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- demos/ppl_pips/ppl_pips.cc | 2 +- demos/ppl_pips/ppl_pips_extra_man_text | 2 +- devtools/bump_copyright_years | 2 +- devtools/generate_dox_biblio | 2 +- devtools/generate_man_pages | 2 +- devtools/print_nonascii_lines | 2 +- devtools/update_ChangeLog | 2 +- doc/Makefile.am | 2 +- doc/README.doc | 4 ++-- doc/definitions.dox | 2 +- doc/devref-language-interface.tex | 4 ++-- doc/devref.tex | 4 ++-- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 2 +- doc/ppl-config_extra_man_text | 2 +- doc/ppl.bib | 2 +- doc/ppl.sty | 2 +- doc/ppl_citations.bib | 2 +- doc/user-language-interface.tex | 4 ++-- doc/user.tex | 4 ++-- fedora/ppl.hh | 2 +- fedora/ppl_c.h | 2 +- fedora/pwl.hh | 2 +- instchk.hh | 2 +- interfaces/C/C_interface.dox | 2 +- interfaces/C/Makefile.am | 2 +- interfaces/C/ppl_c_header.h | 2 +- interfaces/C/ppl_c_implementation_common.cc | 2 +- interfaces/C/ppl_c_implementation_common_defs.hh | 2 +- .../C/ppl_c_implementation_common_inlines.hh | 2 +- interfaces/C/ppl_c_version.h.in | 2 +- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 2 +- interfaces/C/ppl_interface_generator_c_cc_files.m4 | 2 +- interfaces/C/ppl_interface_generator_c_h.m4 | 2 +- interfaces/C/ppl_interface_generator_c_h_code.m4 | 2 +- interfaces/C/ppl_interface_generator_c_hh_files.m4 | 2 +- ...l_interface_generator_c_procedure_generators.m4 | 2 +- interfaces/C/tests/Makefile.am | 2 +- interfaces/C/tests/formatted_output.c | 2 +- interfaces/C/tests/pip_test.c | 2 +- interfaces/C/tests/ppl_c_test.cc | 2 +- interfaces/C/tests/ppl_c_test.h | 2 +- interfaces/C/tests/print_to_buffer.c | 2 +- interfaces/C/tests/print_to_buffer.h | 2 +- interfaces/C/tests/watchdog1.c | 2 +- interfaces/C/tests/weightwatch1.c | 2 +- interfaces/Java/Makefile.am | 2 +- interfaces/Java/README.java | 2 +- interfaces/Java/jni/Makefile.am | 2 +- ...ppl_interface_generator_java_classes_cc_code.m4 | 2 +- ...pl_interface_generator_java_classes_cc_files.m4 | 2 +- interfaces/Java/jni/ppl_java_common.cc | 2 +- interfaces/Java/jni/ppl_java_common_defs.hh | 2 +- interfaces/Java/jni/ppl_java_common_inlines.hh | 2 +- interfaces/Java/jni/ppl_java_globals.cc | 2 +- .../Artificial_Parameter.java | 2 +- .../Artificial_Parameter_Sequence.java | 2 +- .../Bounded_Integer_Type_Overflow.java | 2 +- .../Bounded_Integer_Type_Representation.java | 2 +- .../Bounded_Integer_Type_Width.java | 2 +- .../Java/parma_polyhedra_library/By_Reference.java | 2 +- .../Java/parma_polyhedra_library/Coefficient.java | 2 +- .../parma_polyhedra_library/Complexity_Class.java | 2 +- .../Java/parma_polyhedra_library/Congruence.java | 2 +- .../parma_polyhedra_library/Congruence_System.java | 2 +- .../Java/parma_polyhedra_library/Constraint.java | 2 +- .../parma_polyhedra_library/Constraint_System.java | 2 +- .../Control_Parameter_Name.java | 2 +- .../Control_Parameter_Value.java | 2 +- .../Degenerate_Element.java | 2 +- .../Domain_Error_Exception.java | 2 +- .../Fake_Class_for_Doxygen.java | 2 +- .../Java/parma_polyhedra_library/Generator.java | 2 +- .../parma_polyhedra_library/Generator_System.java | 2 +- .../parma_polyhedra_library/Generator_Type.java | 2 +- .../parma_polyhedra_library/Grid_Generator.java | 2 +- .../Grid_Generator_System.java | 2 +- .../Grid_Generator_Type.java | 2 +- interfaces/Java/parma_polyhedra_library/IO.java | 2 +- .../Invalid_Argument_Exception.java | 2 +- .../Length_Error_Exception.java | 2 +- .../parma_polyhedra_library/Linear_Expression.java | 2 +- .../Linear_Expression_Coefficient.java | 2 +- .../Linear_Expression_Difference.java | 2 +- .../Linear_Expression_Sum.java | 2 +- .../Linear_Expression_Times.java | 2 +- .../Linear_Expression_Unary_Minus.java | 2 +- .../Linear_Expression_Variable.java | 2 +- .../Logic_Error_Exception.java | 2 +- .../Java/parma_polyhedra_library/MIP_Problem.java | 2 +- .../MIP_Problem_Status.java | 2 +- .../Java/parma_polyhedra_library/Makefile.am | 2 +- .../parma_polyhedra_library/Optimization_Mode.java | 2 +- .../Overflow_Error_Exception.java | 2 +- .../parma_polyhedra_library/PIP_Decision_Node.java | 2 +- .../Java/parma_polyhedra_library/PIP_Problem.java | 2 +- .../PIP_Problem_Control_Parameter_Name.java | 2 +- .../PIP_Problem_Control_Parameter_Value.java | 2 +- .../PIP_Problem_Status.java | 2 +- .../parma_polyhedra_library/PIP_Solution_Node.java | 2 +- .../parma_polyhedra_library/PIP_Tree_Node.java | 2 +- .../Java/parma_polyhedra_library/PPL_Object.java | 2 +- interfaces/Java/parma_polyhedra_library/Pair.java | 2 +- .../Parma_Polyhedra_Library.java | 2 +- .../parma_polyhedra_library/Partial_Function.java | 2 +- .../parma_polyhedra_library/Poly_Con_Relation.java | 2 +- .../parma_polyhedra_library/Poly_Gen_Relation.java | 2 +- .../parma_polyhedra_library/Relation_Symbol.java | 2 +- .../parma_polyhedra_library/Timeout_Exception.java | 2 +- .../Java/parma_polyhedra_library/Variable.java | 2 +- .../Variable_Stringifier.java | 2 +- .../parma_polyhedra_library/Variables_Set.java | 2 +- .../ppl_interface_generator_java_classes_java.m4 | 2 +- ...l_interface_generator_java_classes_java_code.m4 | 2 +- ...nterface_generator_java_procedure_generators.m4 | 2 +- interfaces/Java/tests/C_Polyhedron_test1.java | 2 +- .../Java/tests/Custom_Variable_Stringifier.java | 2 +- interfaces/Java/tests/MIP_Problem_test1.java | 2 +- interfaces/Java/tests/Makefile.am | 2 +- interfaces/Java/tests/NNC_Polyhedron_test1.java | 2 +- interfaces/Java/tests/PIP_Problem_test1.java | 2 +- interfaces/Java/tests/PPL_Test.java | 2 +- .../Java/tests/Parma_Polyhedra_Library_test1.java | 2 +- .../Java/tests/Parma_Polyhedra_Library_test2.java | 2 +- interfaces/Java/tests/Test_Executor.java | 2 +- interfaces/Java/tests/Variable_Output_test1.java | 2 +- .../ppl_interface_generator_java_test_java.m4 | 2 +- .../ppl_interface_generator_java_test_java_code.m4 | 2 +- interfaces/Java/tests/ppl_java_tests_common | 2 +- interfaces/Makefile.am | 2 +- interfaces/OCaml/Makefile.am | 2 +- interfaces/OCaml/OCaml_interface.dox | 2 +- interfaces/OCaml/README.ocaml | 2 +- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +- .../ppl_interface_generator_ocaml_cc_files.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 2 +- .../ppl_interface_generator_ocaml_hh_files.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_ml.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_mli.m4 | 2 +- .../ppl_interface_generator_ocaml_mli_code.m4 | 2 +- ...terface_generator_ocaml_procedure_generators.m4 | 2 +- interfaces/OCaml/ppl_ocaml_common.cc | 2 +- interfaces/OCaml/ppl_ocaml_common_defs.hh | 2 +- interfaces/OCaml/ppl_ocaml_common_inlines.hh | 2 +- interfaces/OCaml/ppl_ocaml_globals.ml | 2 +- interfaces/OCaml/ppl_ocaml_globals.mli | 2 +- interfaces/OCaml/tests/Makefile.am | 2 +- .../tests/ppl_interface_generator_ocaml_test_ml.m4 | 2 +- .../ppl_interface_generator_ocaml_test_ml_code.m4 | 2 +- interfaces/OCaml/tests/ppl_ocaml_tests_common | 2 +- interfaces/OCaml/tests/test1.ml | 2 +- interfaces/Prolog/Ciao/Makefile.am | 2 +- interfaces/Prolog/Ciao/README.ciao | 2 +- interfaces/Prolog/Ciao/ciao_cfli.hh | 2 +- interfaces/Prolog/Ciao/ciao_clpq.pl | 2 +- interfaces/Prolog/Ciao/ciao_clpq2.pl | 2 +- interfaces/Prolog/Ciao/ciao_efli.cc | 2 +- interfaces/Prolog/Ciao/ciao_efli.hh | 2 +- interfaces/Prolog/Ciao/ciao_pl_check.pl | 2 +- .../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 2 +- ...face_generator_ciao_prolog_generated_test_pl.m4 | 2 +- interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/GNU/Makefile.am | 2 +- interfaces/Prolog/GNU/README.gprolog | 2 +- interfaces/Prolog/GNU/gnu_pl_check.pl | 2 +- interfaces/Prolog/GNU/gnu_prolog_generated_test.pl | 2 +- interfaces/Prolog/GNU/gp_clpq.pl | 2 +- interfaces/Prolog/GNU/gprolog_cfli.hh | 2 +- interfaces/Prolog/GNU/gprolog_efli.cc | 2 +- interfaces/Prolog/GNU/gprolog_efli.hh | 2 +- .../GNU/ppl_interface_generator_gprolog_pl.m4 | 2 +- interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/Makefile.am | 2 +- interfaces/Prolog/Prolog_configured_interface.dox | 2 +- interfaces/Prolog/Prolog_interface.dox | 2 +- interfaces/Prolog/Prolog_interface_compilation.dox | 2 +- interfaces/Prolog/Prolog_interface_sysdep.dox | 2 +- interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +- .../Prolog/Prolog_interface_sysindep_domains.dox | 2 +- interfaces/Prolog/SICStus/Makefile.am | 2 +- .../ppl_interface_generator_sicstus_sd_cc.m4 | 2 +- interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/SICStus/ppl_sicstus.pl | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.cc | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.h | 2 +- interfaces/Prolog/SICStus/sicstus_cfli.ic | 2 +- interfaces/Prolog/SICStus/sicstus_efli.cc | 2 +- interfaces/Prolog/SICStus/sicstus_efli.hh | 2 +- interfaces/Prolog/SICStus/sp_clpq.pl | 2 +- interfaces/Prolog/SICStus/sp_pl_check.pl | 2 +- .../Prolog/SICStus/sp_prolog_generated_test.pl | 2 +- interfaces/Prolog/SWI/Makefile.am | 2 +- interfaces/Prolog/SWI/README.swiprolog | 2 +- interfaces/Prolog/SWI/pl_clpq.cc | 2 +- interfaces/Prolog/SWI/pl_clpq.pl | 2 +- .../SWI/ppl_interface_generator_swiprolog_cc.m4 | 2 +- interfaces/Prolog/SWI/ppl_pl.cc | 2 +- interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/SWI/ppl_swiprolog.hh | 2 +- interfaces/Prolog/SWI/ppl_swiprolog.pl | 2 +- interfaces/Prolog/SWI/swi_cfli.hh | 2 +- interfaces/Prolog/SWI/swi_efli.cc | 2 +- interfaces/Prolog/SWI/swi_efli.hh | 2 +- interfaces/Prolog/SWI/swi_pl_check.pl | 2 +- interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 2 +- interfaces/Prolog/XSB/Makefile.am | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 2 +- .../Prolog/XSB/ppl_interface_generator_xsb_hh.m4 | 2 +- ...erface_generator_xsb_prolog_generated_test_P.m4 | 2 +- interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/XSB/xsb_cfli.hh | 2 +- interfaces/Prolog/XSB/xsb_clpq.P | 2 +- interfaces/Prolog/XSB/xsb_clpq2.P | 2 +- interfaces/Prolog/XSB/xsb_efli.cc | 2 +- interfaces/Prolog/XSB/xsb_efli.hh | 2 +- interfaces/Prolog/XSB/xsb_pl_check.P | 2 +- interfaces/Prolog/YAP/Makefile.am | 2 +- interfaces/Prolog/YAP/README.yap | 2 +- .../Prolog/YAP/ppl_interface_generator_yap_cc.m4 | 2 +- interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 2 +- interfaces/Prolog/YAP/ppl_yap.pl | 2 +- interfaces/Prolog/YAP/yap_cfli.hh | 2 +- interfaces/Prolog/YAP/yap_clpq.pl | 2 +- interfaces/Prolog/YAP/yap_clpq2.pl | 2 +- interfaces/Prolog/YAP/yap_efli.cc | 2 +- interfaces/Prolog/YAP/yap_efli.hh | 2 +- interfaces/Prolog/YAP/yap_pl_check.pl | 2 +- interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 2 +- .../ppl_interface_generator_prolog_cc_code.m4 | 2 +- .../ppl_interface_generator_prolog_cc_files.m4 | 2 +- .../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +- .../ppl_interface_generator_prolog_dox_code.m4 | 2 +- .../ppl_interface_generator_prolog_hh_code.m4 | 2 +- .../ppl_interface_generator_prolog_hh_files.m4 | 2 +- ...erface_generator_prolog_procedure_generators.m4 | 2 +- .../ppl_interface_generator_prolog_systems.m4 | 2 +- interfaces/Prolog/ppl_prolog_common.cc | 2 +- interfaces/Prolog/ppl_prolog_common_defs.hh | 2 +- interfaces/Prolog/ppl_prolog_common_inlines.hh | 2 +- interfaces/Prolog/tests/Makefile.am | 2 +- interfaces/Prolog/tests/clpq.pl | 4 ++-- interfaces/Prolog/tests/clpq2.pl | 4 ++-- interfaces/Prolog/tests/expected_clpq2_int16 | 2 +- interfaces/Prolog/tests/expected_clpq2_int16_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int32 | 2 +- interfaces/Prolog/tests/expected_clpq2_int32_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int64 | 2 +- interfaces/Prolog/tests/expected_clpq2_int64_a | 2 +- interfaces/Prolog/tests/expected_clpq2_int8 | 2 +- interfaces/Prolog/tests/expected_clpq2_int8_a | 2 +- interfaces/Prolog/tests/expected_clpq2_mpz | 2 +- interfaces/Prolog/tests/expected_clpq2_mpz_a | 2 +- interfaces/Prolog/tests/expected_clpq_int16 | 2 +- interfaces/Prolog/tests/expected_clpq_int16_a | 2 +- interfaces/Prolog/tests/expected_clpq_int32 | 2 +- interfaces/Prolog/tests/expected_clpq_int32_a | 2 +- interfaces/Prolog/tests/expected_clpq_int64 | 2 +- interfaces/Prolog/tests/expected_clpq_int64_a | 2 +- interfaces/Prolog/tests/expected_clpq_int8 | 2 +- interfaces/Prolog/tests/expected_clpq_int8_a | 2 +- interfaces/Prolog/tests/expected_clpq_mpz | 2 +- interfaces/Prolog/tests/expected_clpq_mpz_a | 2 +- interfaces/Prolog/tests/pl_check.pl | 2 +- ...interface_generator_prolog_generated_test_pl.m4 | 2 +- ...face_generator_prolog_generated_test_pl_code.m4 | 2 +- .../tests/ppl_prolog_generated_test_common.pl | 2 +- interfaces/Python/ppl_py.cc | 2 +- interfaces/Python/ppl_py.py | 2 +- interfaces/interfaced_boxes.hh | 2 +- interfaces/marked_pointers.hh | 2 +- interfaces/ppl_interface_generator_common.m4 | 2 +- interfaces/ppl_interface_generator_common_dat.m4 | 2 +- ...erface_generator_common_procedure_generators.m4 | 2 +- interfaces/ppl_interface_generator_copyright | 2 +- m4/Makefile.am | 2 +- m4/ac_check_ciao.m4 | 2 +- m4/ac_check_cxx11.m4 | 2 +- m4/ac_check_fpu_control.m4 | 2 +- m4/ac_check_gmp.m4 | 2 +- m4/ac_check_sicstus_prolog.m4 | 2 +- m4/ac_check_swi_prolog.m4 | 2 +- m4/ac_check_xsb_prolog.m4 | 2 +- m4/ac_check_yap.m4 | 2 +- m4/ac_cxx_attribute_weak.m4 | 2 +- m4/ac_cxx_double_binary_format.m4 | 2 +- m4/ac_cxx_float_binary_format.m4 | 2 +- m4/ac_cxx_ieee_inexact_flag.m4 | 2 +- m4/ac_cxx_limit_memory.m4 | 2 +- m4/ac_cxx_long_double_binary_format.m4 | 2 +- m4/ac_cxx_plain_char_is_signed.m4 | 2 +- m4/ac_cxx_proper_long_double.m4 | 2 +- m4/ac_cxx_zero_length_arrays.m4 | 2 +- m4/ac_prog_jar.m4 | 2 +- m4/ac_prog_java.m4 | 2 +- m4/ac_prog_javac.m4 | 4 ++-- m4/ac_prog_javah.m4 | 2 +- m4/ac_text_md5sum.m4 | 2 +- m4/ppl.m4 | 2 +- m4/ppl_c.m4 | 2 +- src/Affine_Space.cc | 2 +- src/Affine_Space_defs.hh | 2 +- src/Affine_Space_inlines.hh | 2 +- src/Affine_Space_types.hh | 2 +- src/Any_Pointset_defs.hh | 2 +- src/Any_Pointset_inlines.hh | 2 +- src/Any_Pointset_types.hh | 2 +- src/Ask_Tell_defs.hh | 2 +- src/Ask_Tell_inlines.hh | 2 +- src/Ask_Tell_templates.hh | 2 +- src/Ask_Tell_types.hh | 2 +- src/BDS_Status.cc | 2 +- src/BDS_Status_idefs.hh | 2 +- src/BDS_Status_inlines.hh | 2 +- src/BD_Shape.cc | 2 +- src/BD_Shape_defs.hh | 2 +- src/BD_Shape_inlines.hh | 2 +- src/BD_Shape_templates.hh | 2 +- src/BD_Shape_types.hh | 2 +- src/BHRZ03_Certificate.cc | 2 +- src/BHRZ03_Certificate_defs.hh | 2 +- src/BHRZ03_Certificate_inlines.hh | 2 +- src/BHRZ03_Certificate_types.hh | 2 +- src/Bit_Matrix.cc | 2 +- src/Bit_Matrix_defs.hh | 2 +- src/Bit_Matrix_inlines.hh | 2 +- src/Bit_Matrix_types.hh | 2 +- src/Bit_Row.cc | 2 +- src/Bit_Row_defs.hh | 2 +- src/Bit_Row_inlines.hh | 2 +- src/Bit_Row_types.hh | 2 +- src/Boundary_defs.hh | 2 +- src/Box.cc | 2 +- src/Box_Status.cc | 2 +- src/Box_Status_idefs.hh | 2 +- src/Box_Status_inlines.hh | 2 +- src/Box_defs.hh | 2 +- src/Box_inlines.hh | 2 +- src/Box_templates.hh | 2 +- src/Box_types.hh | 2 +- src/CO_Tree.cc | 2 +- src/CO_Tree_defs.hh | 2 +- src/CO_Tree_inlines.hh | 2 +- src/CO_Tree_templates.hh | 2 +- src/CO_Tree_types.hh | 2 +- src/C_Integer.hh | 2 +- src/C_Polyhedron.cc | 2 +- src/C_Polyhedron_defs.hh | 2 +- src/C_Polyhedron_inlines.hh | 2 +- src/C_Polyhedron_types.hh | 2 +- src/Cast_Floating_Point_Expression_defs.hh | 2 +- src/Cast_Floating_Point_Expression_inlines.hh | 2 +- src/Cast_Floating_Point_Expression_templates.hh | 2 +- src/Cast_Floating_Point_Expression_types.hh | 2 +- src/Checked_Number.cc | 2 +- src/Checked_Number_defs.hh | 2 +- src/Checked_Number_inlines.hh | 2 +- src/Checked_Number_templates.hh | 2 +- src/Checked_Number_types.hh | 2 +- src/Coefficient.cc | 2 +- src/Coefficient_defs.hh | 2 +- src/Coefficient_inlines.hh | 2 +- src/Coefficient_traits_template.hh | 2 +- src/Coefficient_types.hh | 2 +- src/Concrete_Expression.cc | 2 +- src/Concrete_Expression_defs.hh | 2 +- src/Concrete_Expression_inlines.hh | 2 +- src/Concrete_Expression_types.hh | 2 +- src/Congruence.cc | 2 +- src/Congruence_System.cc | 2 +- src/Congruence_System_defs.hh | 2 +- src/Congruence_System_inlines.hh | 2 +- src/Congruence_System_types.hh | 2 +- src/Congruence_defs.hh | 2 +- src/Congruence_inlines.hh | 2 +- src/Congruence_types.hh | 2 +- src/Constant_Floating_Point_Expression_defs.hh | 2 +- src/Constant_Floating_Point_Expression_inlines.hh | 2 +- src/Constant_Floating_Point_Expression_types.hh | 2 +- src/Constraint.cc | 2 +- src/Constraint_System.cc | 2 +- src/Constraint_System_defs.hh | 2 +- src/Constraint_System_inlines.hh | 2 +- src/Constraint_System_types.hh | 2 +- src/Constraint_defs.hh | 2 +- src/Constraint_inlines.hh | 2 +- src/Constraint_types.hh | 2 +- src/DB_Matrix_defs.hh | 2 +- src/DB_Matrix_inlines.hh | 2 +- src/DB_Matrix_templates.hh | 2 +- src/DB_Matrix_types.hh | 2 +- src/DB_Row_defs.hh | 2 +- src/DB_Row_inlines.hh | 2 +- src/DB_Row_templates.hh | 2 +- src/DB_Row_types.hh | 2 +- src/Dense_Row.cc | 2 +- src/Dense_Row_defs.hh | 2 +- src/Dense_Row_inlines.hh | 2 +- src/Dense_Row_templates.hh | 2 +- src/Dense_Row_types.hh | 2 +- src/Determinate_defs.hh | 2 +- src/Determinate_inlines.hh | 2 +- src/Determinate_types.hh | 2 +- src/Difference_Floating_Point_Expression_defs.hh | 2 +- ...Difference_Floating_Point_Expression_inlines.hh | 2 +- ...fference_Floating_Point_Expression_templates.hh | 2 +- src/Difference_Floating_Point_Expression_types.hh | 2 +- src/Division_Floating_Point_Expression_defs.hh | 2 +- src/Division_Floating_Point_Expression_inlines.hh | 2 +- ...Division_Floating_Point_Expression_templates.hh | 2 +- src/Division_Floating_Point_Expression_types.hh | 2 +- src/Doubly_Linked_Object_defs.hh | 2 +- src/Doubly_Linked_Object_inlines.hh | 2 +- src/Doubly_Linked_Object_types.hh | 2 +- src/EList_Iterator_defs.hh | 2 +- src/EList_Iterator_inlines.hh | 2 +- src/EList_Iterator_types.hh | 2 +- src/EList_defs.hh | 2 +- src/EList_inlines.hh | 2 +- src/EList_types.hh | 2 +- src/Expression_Adapter_defs.hh | 2 +- src/Expression_Adapter_inlines.hh | 2 +- src/Expression_Adapter_types.hh | 2 +- src/Expression_Hide_Inhomo_defs.hh | 2 +- src/Expression_Hide_Inhomo_inlines.hh | 2 +- src/Expression_Hide_Inhomo_types.hh | 2 +- src/Expression_Hide_Last_defs.hh | 2 +- src/Expression_Hide_Last_inlines.hh | 2 +- src/Expression_Hide_Last_types.hh | 2 +- src/Float.cc | 2 +- src/Float_defs.hh | 2 +- src/Float_inlines.hh | 2 +- src/Float_templates.hh | 2 +- src/Floating_Point_Expression_defs.hh | 2 +- src/Floating_Point_Expression_inlines.hh | 2 +- src/Floating_Point_Expression_templates.hh | 2 +- src/Floating_Point_Expression_types.hh | 2 +- src/GMP_Integer_defs.hh | 2 +- src/GMP_Integer_inlines.hh | 2 +- src/GMP_Integer_types.hh | 2 +- src/Generator.cc | 2 +- src/Generator_System.cc | 2 +- src/Generator_System_defs.hh | 2 +- src/Generator_System_inlines.hh | 2 +- src/Generator_System_types.hh | 2 +- src/Generator_defs.hh | 2 +- src/Generator_inlines.hh | 2 +- src/Generator_types.hh | 2 +- src/Grid_Certificate.cc | 2 +- src/Grid_Certificate_defs.hh | 2 +- src/Grid_Certificate_inlines.hh | 2 +- src/Grid_Certificate_types.hh | 2 +- src/Grid_Generator.cc | 2 +- src/Grid_Generator_System.cc | 2 +- src/Grid_Generator_System_defs.hh | 2 +- src/Grid_Generator_System_inlines.hh | 2 +- src/Grid_Generator_System_types.hh | 2 +- src/Grid_Generator_defs.hh | 2 +- src/Grid_Generator_inlines.hh | 2 +- src/Grid_Generator_types.hh | 2 +- src/Grid_Status.cc | 2 +- src/Grid_Status_idefs.hh | 2 +- src/Grid_Status_inlines.hh | 2 +- src/Grid_chdims.cc | 2 +- src/Grid_conversion.cc | 2 +- src/Grid_defs.hh | 2 +- src/Grid_inlines.hh | 2 +- src/Grid_nonpublic.cc | 2 +- src/Grid_public.cc | 2 +- src/Grid_simplify.cc | 2 +- src/Grid_templates.hh | 2 +- src/Grid_types.hh | 2 +- src/Grid_widenings.cc | 2 +- src/H79_Certificate.cc | 2 +- src/H79_Certificate_defs.hh | 2 +- src/H79_Certificate_inlines.hh | 2 +- src/H79_Certificate_types.hh | 2 +- src/Handler.cc | 2 +- src/Handler_defs.hh | 2 +- src/Handler_inlines.hh | 2 +- src/Handler_types.hh | 2 +- src/Has_Assign_Or_Swap.hh | 2 +- src/Init.cc | 2 +- src/Init_defs.hh | 2 +- src/Init_inlines.hh | 2 +- src/Init_types.hh | 2 +- src/Integer_Interval.hh | 2 +- src/Interval_Info_defs.hh | 2 +- src/Interval_Info_inlines.hh | 2 +- src/Interval_Info_types.hh | 2 +- src/Interval_defs.hh | 2 +- src/Interval_inlines.hh | 2 +- src/Interval_templates.hh | 2 +- src/Interval_types.hh | 2 +- src/Linear_Expression.cc | 2 +- src/Linear_Expression_Impl.cc | 2 +- src/Linear_Expression_Impl_defs.hh | 2 +- src/Linear_Expression_Impl_inlines.hh | 2 +- src/Linear_Expression_Impl_templates.hh | 2 +- src/Linear_Expression_Impl_types.hh | 2 +- src/Linear_Expression_Interface.cc | 2 +- src/Linear_Expression_Interface_defs.hh | 2 +- src/Linear_Expression_Interface_types.hh | 2 +- src/Linear_Expression_defs.hh | 2 +- src/Linear_Expression_inlines.hh | 2 +- src/Linear_Expression_types.hh | 2 +- src/Linear_Form.cc | 2 +- src/Linear_Form_defs.hh | 2 +- src/Linear_Form_inlines.hh | 2 +- src/Linear_Form_templates.hh | 2 +- src/Linear_Form_types.hh | 2 +- src/Linear_System_defs.hh | 2 +- src/Linear_System_inlines.hh | 2 +- src/Linear_System_templates.hh | 2 +- src/Linear_System_types.hh | 2 +- src/MIP_Problem.cc | 2 +- src/MIP_Problem_defs.hh | 2 +- src/MIP_Problem_inlines.hh | 2 +- src/MIP_Problem_templates.hh | 2 +- src/MIP_Problem_types.hh | 2 +- src/Makefile.am | 2 +- src/Matrix_defs.hh | 2 +- src/Matrix_inlines.hh | 2 +- src/Matrix_templates.hh | 2 +- src/Matrix_types.hh | 2 +- ...ultiplication_Floating_Point_Expression_defs.hh | 2 +- ...iplication_Floating_Point_Expression_inlines.hh | 2 +- ...lication_Floating_Point_Expression_templates.hh | 2 +- ...ltiplication_Floating_Point_Expression_types.hh | 2 +- src/NNC_Polyhedron.cc | 2 +- src/NNC_Polyhedron_defs.hh | 2 +- src/NNC_Polyhedron_inlines.hh | 2 +- src/NNC_Polyhedron_types.hh | 2 +- src/Numeric_Format_defs.hh | 2 +- src/OR_Matrix_defs.hh | 2 +- src/OR_Matrix_inlines.hh | 2 +- src/OR_Matrix_templates.hh | 2 +- src/OR_Matrix_types.hh | 2 +- src/Octagonal_Shape.cc | 2 +- src/Octagonal_Shape_defs.hh | 2 +- src/Octagonal_Shape_inlines.hh | 2 +- src/Octagonal_Shape_templates.hh | 2 +- src/Octagonal_Shape_types.hh | 2 +- src/Og_Status.cc | 2 +- src/Og_Status_idefs.hh | 2 +- src/Og_Status_inlines.hh | 2 +- src/Opposite_Floating_Point_Expression_defs.hh | 2 +- src/Opposite_Floating_Point_Expression_inlines.hh | 2 +- src/Opposite_Floating_Point_Expression_types.hh | 2 +- src/PIP_Problem.cc | 2 +- src/PIP_Problem_defs.hh | 2 +- src/PIP_Problem_inlines.hh | 2 +- src/PIP_Problem_templates.hh | 2 +- src/PIP_Problem_types.hh | 2 +- src/PIP_Tree.cc | 2 +- src/PIP_Tree_defs.hh | 2 +- src/PIP_Tree_inlines.hh | 2 +- src/PIP_Tree_types.hh | 2 +- src/Partial_Function.cc | 2 +- src/Partial_Function_defs.hh | 2 +- src/Partial_Function_inlines.hh | 2 +- src/Partial_Function_types.hh | 2 +- src/Partially_Reduced_Product_defs.hh | 2 +- src/Partially_Reduced_Product_inlines.hh | 2 +- src/Partially_Reduced_Product_templates.hh | 2 +- src/Partially_Reduced_Product_types.hh | 2 +- src/Pending_Element_defs.hh | 2 +- src/Pending_Element_inlines.hh | 2 +- src/Pending_Element_types.hh | 2 +- src/Pending_List_defs.hh | 2 +- src/Pending_List_inlines.hh | 2 +- src/Pending_List_templates.hh | 2 +- src/Pending_List_types.hh | 2 +- src/Ph_Status.cc | 2 +- src/Ph_Status_idefs.hh | 2 +- src/Ph_Status_inlines.hh | 2 +- src/Pointset_Ask_Tell.cc | 2 +- src/Pointset_Ask_Tell_defs.hh | 2 +- src/Pointset_Ask_Tell_inlines.hh | 2 +- src/Pointset_Ask_Tell_templates.hh | 2 +- src/Pointset_Ask_Tell_types.hh | 2 +- src/Pointset_Powerset.cc | 2 +- src/Pointset_Powerset_defs.hh | 2 +- src/Pointset_Powerset_inlines.hh | 2 +- src/Pointset_Powerset_templates.hh | 2 +- src/Pointset_Powerset_types.hh | 2 +- src/Poly_Con_Relation.cc | 2 +- src/Poly_Con_Relation_defs.hh | 2 +- src/Poly_Con_Relation_inlines.hh | 2 +- src/Poly_Con_Relation_types.hh | 2 +- src/Poly_Gen_Relation.cc | 2 +- src/Poly_Gen_Relation_defs.hh | 2 +- src/Poly_Gen_Relation_inlines.hh | 2 +- src/Poly_Gen_Relation_types.hh | 2 +- src/Polyhedron_chdims.cc | 2 +- src/Polyhedron_chdims_templates.hh | 2 +- src/Polyhedron_conversion_templates.hh | 2 +- src/Polyhedron_defs.hh | 2 +- src/Polyhedron_inlines.hh | 2 +- src/Polyhedron_minimize_templates.hh | 2 +- src/Polyhedron_nonpublic.cc | 2 +- src/Polyhedron_public.cc | 2 +- src/Polyhedron_simplify_templates.hh | 2 +- src/Polyhedron_templates.hh | 2 +- src/Polyhedron_types.hh | 2 +- src/Polyhedron_widenings.cc | 2 +- src/Powerset_defs.hh | 2 +- src/Powerset_inlines.hh | 2 +- src/Powerset_templates.hh | 2 +- src/Powerset_types.hh | 2 +- src/Ptr_Iterator_defs.hh | 2 +- src/Ptr_Iterator_inlines.hh | 2 +- src/Ptr_Iterator_types.hh | 2 +- src/Rational_Box.hh | 2 +- src/Rational_Interval.hh | 2 +- src/Result_defs.hh | 2 +- src/Result_inlines.hh | 2 +- src/Rounding_Dir_defs.hh | 2 +- src/Rounding_Dir_inlines.hh | 2 +- src/Scalar_Products.cc | 2 +- src/Scalar_Products_defs.hh | 2 +- src/Scalar_Products_inlines.hh | 2 +- src/Scalar_Products_types.hh | 2 +- src/Slow_Copy.hh | 2 +- src/Sparse_Row.cc | 2 +- src/Sparse_Row_defs.hh | 2 +- src/Sparse_Row_inlines.hh | 2 +- src/Sparse_Row_templates.hh | 2 +- src/Sparse_Row_types.hh | 2 +- src/Sum_Floating_Point_Expression_defs.hh | 2 +- src/Sum_Floating_Point_Expression_inlines.hh | 2 +- src/Sum_Floating_Point_Expression_templates.hh | 2 +- src/Sum_Floating_Point_Expression_types.hh | 2 +- src/Swapping_Vector_defs.hh | 2 +- src/Swapping_Vector_inlines.hh | 2 +- src/Swapping_Vector_types.hh | 2 +- src/Temp_defs.hh | 2 +- src/Temp_inlines.hh | 2 +- src/Temp_templates.hh | 2 +- src/Threshold_Watcher.cc | 2 +- src/Threshold_Watcher_defs.hh | 2 +- src/Threshold_Watcher_inlines.hh | 2 +- src/Threshold_Watcher_templates.hh | 2 +- src/Threshold_Watcher_types.hh | 2 +- src/Time.cc | 2 +- src/Time_defs.hh | 2 +- src/Time_inlines.hh | 2 +- src/Time_types.hh | 2 +- src/Topology_types.hh | 2 +- src/Variable.cc | 2 +- src/Variable_Floating_Point_Expression_defs.hh | 2 +- src/Variable_Floating_Point_Expression_inlines.hh | 2 +- src/Variable_Floating_Point_Expression_types.hh | 2 +- src/Variable_defs.hh | 2 +- src/Variable_inlines.hh | 2 +- src/Variable_types.hh | 2 +- src/Variables_Set.cc | 2 +- src/Variables_Set_defs.hh | 2 +- src/Variables_Set_inlines.hh | 2 +- src/Variables_Set_types.hh | 2 +- src/WRD_coefficient_types_defs.hh | 2 +- src/WRD_coefficient_types_inlines.hh | 2 +- src/Watchdog.cc | 2 +- src/Watchdog_defs.hh | 2 +- src/Watchdog_inlines.hh | 2 +- src/Watchdog_types.hh | 2 +- src/Weight_Profiler.cc | 2 +- src/Weight_Profiler_defs.hh | 2 +- src/Widening_Function_defs.hh | 2 +- src/Widening_Function_inlines.hh | 2 +- src/Widening_Function_types.hh | 2 +- src/algorithms.hh | 2 +- src/assertions.cc | 2 +- src/assertions.hh | 2 +- src/assign_or_swap.hh | 2 +- src/c_streambuf.cc | 2 +- src/c_streambuf_defs.hh | 2 +- src/c_streambuf_inlines.hh | 2 +- src/c_streambuf_types.hh | 2 +- src/checked.cc | 2 +- src/checked_defs.hh | 2 +- src/checked_ext_defs.hh | 2 +- src/checked_ext_inlines.hh | 2 +- src/checked_float_inlines.hh | 2 +- src/checked_inlines.hh | 2 +- src/checked_int_inlines.hh | 2 +- src/checked_mpq_inlines.hh | 2 +- src/checked_mpz_inlines.hh | 2 +- src/checked_numeric_limits.hh | 2 +- src/compiler.hh | 2 +- src/distances_defs.hh | 2 +- src/distances_inlines.hh | 2 +- src/distances_types.hh | 2 +- src/fpu-c99_inlines.hh | 2 +- src/fpu-ia32.cc | 2 +- src/fpu-ia32_inlines.hh | 2 +- src/fpu-none_inlines.hh | 2 +- src/fpu-sparc_inlines.hh | 2 +- src/fpu_defs.hh | 2 +- src/fpu_types.hh | 2 +- src/globals.cc | 2 +- src/globals_defs.hh | 2 +- src/globals_inlines.hh | 2 +- src/globals_types.hh | 2 +- src/initializer.hh | 2 +- src/intervals_defs.hh | 2 +- src/iterator_to_const_defs.hh | 2 +- src/iterator_to_const_inlines.hh | 2 +- src/iterator_to_const_types.hh | 2 +- src/linearize.hh | 2 +- src/math_utilities_defs.hh | 2 +- src/math_utilities_inlines.hh | 2 +- src/max_space_dimension.hh | 2 +- src/meta_programming.hh | 2 +- src/mp_std_bits.cc | 2 +- src/mp_std_bits_defs.hh | 2 +- src/mp_std_bits_inlines.hh | 2 +- src/namespaces.hh | 2 +- src/ppl-config.cc.in | 2 +- src/ppl_header.hh | 2 +- src/set_GMP_memory_alloc_funcs.cc | 2 +- src/stdiobuf.cc | 2 +- src/stdiobuf_defs.hh | 2 +- src/stdiobuf_inlines.hh | 2 +- src/stdiobuf_types.hh | 2 +- src/swapping_sort_templates.hh | 2 +- src/termination.cc | 2 +- src/termination_defs.hh | 2 +- src/termination_templates.hh | 2 +- src/termination_types.hh | 2 +- src/version.cc | 4 ++-- src/version.hh.in | 2 +- src/wrap_assign.hh | 2 +- src/wrap_string.cc | 2 +- src/wrap_string.hh | 2 +- tests/Ask_Tell/Makefile.am | 2 +- tests/Ask_Tell/append1.cc | 2 +- tests/BD_Shape/Makefile.am | 2 +- tests/BD_Shape/addconstraints1.cc | 2 +- tests/BD_Shape/addspacedims1.cc | 2 +- tests/BD_Shape/affinedimension1.cc | 2 +- tests/BD_Shape/affineimage1.cc | 2 +- tests/BD_Shape/affineimage2.cc | 2 +- tests/BD_Shape/affinepreimage1.cc | 2 +- tests/BD_Shape/ascii_dump_load1.cc | 2 +- tests/BD_Shape/bgp99extrapolation1.cc | 2 +- tests/BD_Shape/bhmz05widening1.cc | 2 +- tests/BD_Shape/bhz03widening1.cc | 2 +- tests/BD_Shape/bounded1.cc | 2 +- tests/BD_Shape/boundedaffineimage1.cc | 2 +- tests/BD_Shape/boundedaffinepreimage1.cc | 2 +- tests/BD_Shape/bounds1.cc | 2 +- tests/BD_Shape/cc76extrapolation1.cc | 2 +- tests/BD_Shape/cc76narrowing1.cc | 2 +- tests/BD_Shape/closure1.cc | 2 +- tests/BD_Shape/concatenate1.cc | 2 +- tests/BD_Shape/congruences1.cc | 2 +- tests/BD_Shape/constrains1.cc | 2 +- tests/BD_Shape/constraints1.cc | 2 +- tests/BD_Shape/contains1.cc | 2 +- tests/BD_Shape/containsintegerpoint1.cc | 2 +- tests/BD_Shape/difference1.cc | 2 +- tests/BD_Shape/discrete1.cc | 2 +- tests/BD_Shape/disjoint1.cc | 2 +- tests/BD_Shape/dropsomenonintegerpoints1.cc | 2 +- tests/BD_Shape/empty1.cc | 2 +- tests/BD_Shape/equality1.cc | 2 +- tests/BD_Shape/expandspacedim1.cc | 2 +- tests/BD_Shape/foldspacedims1.cc | 2 +- tests/BD_Shape/frequency1.cc | 2 +- tests/BD_Shape/frombdshape1.cc | 2 +- tests/BD_Shape/frombox1.cc | 2 +- tests/BD_Shape/fromgensys1.cc | 2 +- tests/BD_Shape/fromgrid1.cc | 2 +- tests/BD_Shape/fromoctagonalshape1.cc | 2 +- tests/BD_Shape/frompolyhedron1.cc | 2 +- tests/BD_Shape/fromspacedim1.cc | 2 +- tests/BD_Shape/generalizedaffineimage1.cc | 2 +- tests/BD_Shape/generalizedaffineimage2.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage1.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage2.cc | 2 +- tests/BD_Shape/generalizedaffinepreimage3.cc | 2 +- tests/BD_Shape/geomcovers1.cc | 2 +- tests/BD_Shape/h79widening1.cc | 2 +- tests/BD_Shape/integerupperboundifexact1.cc | 2 +- tests/BD_Shape/intersection1.cc | 2 +- tests/BD_Shape/limitedbhmz05extrapolation1.cc | 2 +- tests/BD_Shape/limitedcc76extrapolation1.cc | 2 +- tests/BD_Shape/limitedh79extrapolation1.cc | 2 +- tests/BD_Shape/mapspacedims1.cc | 2 +- tests/BD_Shape/max_min1.cc | 2 +- tests/BD_Shape/max_min2.cc | 2 +- tests/BD_Shape/maxspacedim1.cc | 2 +- tests/BD_Shape/membytes1.cc | 2 +- tests/BD_Shape/minconstraints1.cc | 2 +- tests/BD_Shape/relations1.cc | 2 +- tests/BD_Shape/relations2.cc | 2 +- tests/BD_Shape/relations3.cc | 2 +- tests/BD_Shape/relations4.cc | 2 +- tests/BD_Shape/removespacedims1.cc | 2 +- tests/BD_Shape/run_tests | 2 +- tests/BD_Shape/simplifyusingcontext1.cc | 2 +- tests/BD_Shape/timeelapse1.cc | 2 +- tests/BD_Shape/unconstrain1.cc | 2 +- tests/BD_Shape/universe1.cc | 2 +- tests/BD_Shape/upperbound1.cc | 2 +- tests/BD_Shape/upperboundifexact1.cc | 2 +- tests/BD_Shape/wrap1.cc | 2 +- tests/BD_Shape/writebdshape1.cc | 2 +- tests/Box/Makefile.am | 2 +- tests/Box/addconstraints1.cc | 2 +- tests/Box/addspacedims1.cc | 2 +- tests/Box/affinedimension1.cc | 2 +- tests/Box/affineimage1.cc | 2 +- tests/Box/affinepreimage1.cc | 2 +- tests/Box/ascii_dump_load1.cc | 2 +- tests/Box/bgp99extrapolation1.cc | 2 +- tests/Box/bhz03widening1.cc | 2 +- tests/Box/bounded1.cc | 2 +- tests/Box/boundedaffineimage1.cc | 2 +- tests/Box/boundedaffinepreimage1.cc | 2 +- tests/Box/cc76narrowing1.cc | 2 +- tests/Box/cc76widening.cc | 2 +- tests/Box/concatenate1.cc | 2 +- tests/Box/congruences1.cc | 2 +- tests/Box/constrains1.cc | 2 +- tests/Box/constraints1.cc | 2 +- tests/Box/contains1.cc | 2 +- tests/Box/containsintegerpoint1.cc | 2 +- tests/Box/difference1.cc | 2 +- tests/Box/discrete1.cc | 2 +- tests/Box/disjoint1.cc | 2 +- tests/Box/empty1.cc | 2 +- tests/Box/equality1.cc | 2 +- tests/Box/expandspacedim1.cc | 2 +- tests/Box/foldspacedims1.cc | 2 +- tests/Box/frequency1.cc | 2 +- tests/Box/frombdshape1.cc | 2 +- tests/Box/frombox1.cc | 2 +- tests/Box/fromgensys1.cc | 2 +- tests/Box/fromgrid1.cc | 2 +- tests/Box/frompartiallyreducedproduct1.cc | 2 +- tests/Box/frompolyhedron1.cc | 2 +- tests/Box/frompolyhedron2.cc | 2 +- tests/Box/fromspacedim1.cc | 2 +- tests/Box/generalizedaffineimage1.cc | 2 +- tests/Box/generalizedaffineimage2.cc | 2 +- tests/Box/generalizedaffinepreimage1.cc | 2 +- tests/Box/geomcovers1.cc | 2 +- tests/Box/intersection1.cc | 2 +- tests/Box/interval1.cc | 2 +- tests/Box/limitedcc76extrapolation1.cc | 2 +- tests/Box/mapspacedims1.cc | 2 +- tests/Box/max_min1.cc | 2 +- tests/Box/maxspacedim1.cc | 2 +- tests/Box/membytes1.cc | 2 +- tests/Box/minconstraints1.cc | 2 +- tests/Box/propagateconstraints1.cc | 2 +- tests/Box/propagateconstraints2.cc | 2 +- tests/Box/refinewithcongruence1.cc | 2 +- tests/Box/refinewithcongruences1.cc | 2 +- tests/Box/refinewithconstraint1.cc | 2 +- tests/Box/refinewithconstraint2.cc | 2 +- tests/Box/refinewithconstraints1.cc | 2 +- tests/Box/refinewithconstraints2.cc | 2 +- tests/Box/relations1.cc | 2 +- tests/Box/relations2.cc | 2 +- tests/Box/relations3.cc | 2 +- tests/Box/relations4.cc | 2 +- tests/Box/removespacedims1.cc | 2 +- tests/Box/run_tests | 2 +- tests/Box/simplifyusingcontext1.cc | 2 +- tests/Box/timeelapse1.cc | 2 +- tests/Box/topclosed1.cc | 2 +- tests/Box/unconstrain1.cc | 2 +- tests/Box/universe1.cc | 2 +- tests/Box/upperbound1.cc | 2 +- tests/Box/upperboundifexact1.cc | 2 +- tests/Box/wrap1.cc | 2 +- tests/Box/writebox1.cc | 2 +- tests/CO_Tree/Makefile.am | 2 +- tests/CO_Tree/cotree1.cc | 2 +- tests/Concrete_Expression/C_Expr.cc | 2 +- tests/Concrete_Expression/C_Expr_defs.hh | 2 +- tests/Concrete_Expression/C_Expr_inlines.hh | 2 +- tests/Concrete_Expression/C_Expr_types.hh | 2 +- tests/Concrete_Expression/Makefile.am | 2 +- tests/Concrete_Expression/bdshape1.cc | 2 +- tests/Concrete_Expression/bdshape2.cc | 2 +- tests/Concrete_Expression/digitalfilters1.cc | 2 +- tests/Concrete_Expression/linearform1.cc | 2 +- tests/Concrete_Expression/linearize.cc | 2 +- tests/Concrete_Expression/octagonalshape1.cc | 2 +- tests/Concrete_Expression/octagonalshape2.cc | 2 +- tests/Concrete_Expression/polyhedron1.cc | 2 +- tests/Concrete_Expression/polyhedron2.cc | 2 +- tests/Concrete_Expression/run_tests | 2 +- tests/Grid/Makefile.am | 2 +- tests/Grid/addcongruence1.cc | 2 +- tests/Grid/addcongruences1.cc | 2 +- tests/Grid/addconstraint1.cc | 2 +- tests/Grid/addconstraints1.cc | 2 +- tests/Grid/addgenerator1.cc | 2 +- tests/Grid/addgenerators1.cc | 2 +- tests/Grid/addspacedims1.cc | 2 +- tests/Grid/affinedim1.cc | 2 +- tests/Grid/affineimage1.cc | 2 +- tests/Grid/affineimage2.cc | 2 +- tests/Grid/affinepreimage1.cc | 2 +- tests/Grid/affinepreimage2.cc | 2 +- tests/Grid/approximatepartition1.cc | 2 +- tests/Grid/asciidumpload1.cc | 2 +- tests/Grid/asciidumpload2.cc | 2 +- tests/Grid/asciidumpload3.cc | 2 +- tests/Grid/asciidumpload4.cc | 2 +- tests/Grid/asciidumpload5.cc | 2 +- tests/Grid/asciidumpload6.cc | 2 +- tests/Grid/bhz03widening1.cc | 2 +- tests/Grid/bounded1.cc | 2 +- tests/Grid/boundedaffineimage1.cc | 2 +- tests/Grid/boundedaffinepreimage1.cc | 2 +- tests/Grid/boundingbox1.cc | 2 +- tests/Grid/bounds1.cc | 2 +- tests/Grid/certificate1.cc | 2 +- tests/Grid/concatenate1.cc | 2 +- tests/Grid/congruence1.cc | 2 +- tests/Grid/congruences1.cc | 2 +- tests/Grid/congruences2.cc | 2 +- tests/Grid/constraints1.cc | 2 +- tests/Grid/contains1.cc | 2 +- tests/Grid/containsintegerpoint1.cc | 2 +- tests/Grid/discrete1.cc | 2 +- tests/Grid/disjoint1.cc | 2 +- tests/Grid/dropnonintegerpoints1.cc | 2 +- tests/Grid/equals1.cc | 2 +- tests/Grid/expandspacedim1.cc | 2 +- tests/Grid/foldspacedims1.cc | 2 +- tests/Grid/frequency1.cc | 2 +- tests/Grid/frombdshape1.cc | 2 +- tests/Grid/frombox1.cc | 2 +- tests/Grid/fromgrid1.cc | 2 +- tests/Grid/fromoctagonalshape1.cc | 2 +- tests/Grid/frompolyhedron1.cc | 2 +- tests/Grid/generalizedaffineimage1.cc | 2 +- tests/Grid/generalizedaffineimage2.cc | 2 +- tests/Grid/generalizedaffineimage3.cc | 2 +- tests/Grid/generalizedaffinepreimage1.cc | 2 +- tests/Grid/generalizedaffinepreimage2.cc | 2 +- tests/Grid/generalizedaffinepreimage3.cc | 2 +- tests/Grid/generator1.cc | 2 +- tests/Grid/generators1.cc | 2 +- tests/Grid/generators2.cc | 2 +- tests/Grid/grid1.cc | 2 +- tests/Grid/grid2.cc | 2 +- tests/Grid/grid3.cc | 2 +- tests/Grid/griddifference1.cc | 2 +- tests/Grid/intersection1.cc | 2 +- tests/Grid/isempty1.cc | 2 +- tests/Grid/isuniverse1.cc | 2 +- tests/Grid/limitedextrapolation1.cc | 2 +- tests/Grid/limitedextrapolation2.cc | 2 +- tests/Grid/limitedextrapolation3.cc | 2 +- tests/Grid/mapspacedims1.cc | 2 +- tests/Grid/maxmin1.cc | 2 +- tests/Grid/membytes1.cc | 2 +- tests/Grid/mincongruences1.cc | 2 +- tests/Grid/mingenerators1.cc | 2 +- tests/Grid/outputoperator1.cc | 2 +- tests/Grid/outputoperator2.cc | 2 +- tests/Grid/outputoperator3.cc | 2 +- tests/Grid/partition1.cc | 2 +- tests/Grid/powersetdifference1.cc | 2 +- tests/Grid/powersetgeometricallycovers1.cc | 2 +- tests/Grid/powersetgeometricallyequals1.cc | 2 +- tests/Grid/refinewithcongruences1.cc | 2 +- tests/Grid/refinewithconstraints1.cc | 2 +- tests/Grid/relations1.cc | 2 +- tests/Grid/relations2.cc | 2 +- tests/Grid/relations3.cc | 2 +- tests/Grid/removespacedims1.cc | 2 +- tests/Grid/removespacedims2.cc | 2 +- tests/Grid/simplifyusingcontext1.cc | 2 +- tests/Grid/timeelapse1.cc | 2 +- tests/Grid/topclosed1.cc | 2 +- tests/Grid/topclosure1.cc | 2 +- tests/Grid/unconstrain1.cc | 2 +- tests/Grid/upperbound1.cc | 2 +- tests/Grid/upperbound2.cc | 2 +- tests/Grid/widening1.cc | 2 +- tests/Grid/widening2.cc | 2 +- tests/Grid/widening3.cc | 2 +- tests/Grid/wrap1.cc | 2 +- tests/Grid/writecongruencesystem.cc | 2 +- tests/MIP_Problem/Makefile.am | 2 +- tests/MIP_Problem/ascii_dump_load1.cc | 2 +- tests/MIP_Problem/exceptions1.cc | 2 +- tests/MIP_Problem/mipproblem1.cc | 2 +- tests/MIP_Problem/mipproblem2.cc | 2 +- tests/MIP_Problem/mipproblem3.cc | 2 +- tests/MIP_Problem/mipproblem4.cc | 2 +- tests/Makefile.am | 2 +- tests/Octagonal_Shape/Makefile.am | 2 +- tests/Octagonal_Shape/addspacedims1.cc | 2 +- tests/Octagonal_Shape/affinedimension1.cc | 2 +- tests/Octagonal_Shape/affineimage1.cc | 2 +- tests/Octagonal_Shape/affineimage2.cc | 2 +- tests/Octagonal_Shape/affinepreimage1.cc | 2 +- tests/Octagonal_Shape/affinepreimage2.cc | 2 +- tests/Octagonal_Shape/ascii_dump_load1.cc | 2 +- tests/Octagonal_Shape/bhmz05widening1.cc | 2 +- tests/Octagonal_Shape/bhz03widening1.cc | 2 +- tests/Octagonal_Shape/bounded1.cc | 2 +- tests/Octagonal_Shape/boundedaffineimage1.cc | 2 +- tests/Octagonal_Shape/boundedaffinepreimage1.cc | 2 +- tests/Octagonal_Shape/bounds1.cc | 2 +- tests/Octagonal_Shape/cc76extrapolation1.cc | 2 +- tests/Octagonal_Shape/cc76narrowing1.cc | 2 +- tests/Octagonal_Shape/chinainit.cc | 2 +- tests/Octagonal_Shape/concatenate1.cc | 2 +- tests/Octagonal_Shape/congruences1.cc | 2 +- tests/Octagonal_Shape/constrains1.cc | 2 +- tests/Octagonal_Shape/constraints1.cc | 2 +- tests/Octagonal_Shape/contains1.cc | 2 +- tests/Octagonal_Shape/containsintegerpoint1.cc | 2 +- tests/Octagonal_Shape/difference1.cc | 2 +- tests/Octagonal_Shape/discrete1.cc | 2 +- tests/Octagonal_Shape/disjoint1.cc | 2 +- tests/Octagonal_Shape/dropsomenonintegerpoints1.cc | 2 +- tests/Octagonal_Shape/empty1.cc | 2 +- tests/Octagonal_Shape/expandspacedim1.cc | 2 +- tests/Octagonal_Shape/foldspacedims1.cc | 2 +- tests/Octagonal_Shape/frequency1.cc | 2 +- tests/Octagonal_Shape/frombdshape1.cc | 2 +- tests/Octagonal_Shape/frombox1.cc | 2 +- tests/Octagonal_Shape/fromgensys1.cc | 2 +- tests/Octagonal_Shape/fromgrid1.cc | 2 +- tests/Octagonal_Shape/fromoctagonalshape1.cc | 2 +- tests/Octagonal_Shape/frompolyhedron1.cc | 2 +- tests/Octagonal_Shape/fromspacedim1.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage1.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage2.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage3.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage4.cc | 2 +- tests/Octagonal_Shape/generalizedaffineimage5.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage1.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage2.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage3.cc | 2 +- .../Octagonal_Shape/generalizedaffinepreimage4.cc | 2 +- tests/Octagonal_Shape/integerupperboundifexact1.cc | 2 +- tests/Octagonal_Shape/intersection1.cc | 2 +- .../Octagonal_Shape/limitedbhmz05extrapolation1.cc | 2 +- tests/Octagonal_Shape/limitedcc76extrapolation1.cc | 2 +- tests/Octagonal_Shape/mapspacedims1.cc | 2 +- tests/Octagonal_Shape/max_min1.cc | 2 +- tests/Octagonal_Shape/max_min2.cc | 2 +- tests/Octagonal_Shape/maxspacedim1.cc | 2 +- tests/Octagonal_Shape/membytes1.cc | 2 +- tests/Octagonal_Shape/minconstraints1.cc | 2 +- tests/Octagonal_Shape/relatwithcons1.cc | 2 +- tests/Octagonal_Shape/relatwithcons2.cc | 2 +- tests/Octagonal_Shape/relatwithcons3.cc | 2 +- tests/Octagonal_Shape/relatwithgen1.cc | 2 +- tests/Octagonal_Shape/removespacedims1.cc | 2 +- tests/Octagonal_Shape/run_tests | 2 +- tests/Octagonal_Shape/simplifyusingcontext1.cc | 2 +- tests/Octagonal_Shape/timeelapse1.cc | 2 +- tests/Octagonal_Shape/unconstrain1.cc | 2 +- tests/Octagonal_Shape/universe1.cc | 2 +- tests/Octagonal_Shape/upperbound1.cc | 2 +- tests/Octagonal_Shape/upperboundifexact1.cc | 2 +- tests/Octagonal_Shape/wrap1.cc | 2 +- tests/Octagonal_Shape/writeoctagon1.cc | 2 +- tests/PIP_Problem/Makefile.am | 2 +- tests/PIP_Problem/ascii_dump_load1.cc | 2 +- tests/PIP_Problem/exceptions1.cc | 2 +- tests/PIP_Problem/pipproblem1.cc | 2 +- tests/PIP_Problem/pipproblem2.cc | 2 +- tests/PIP_Problem/pipproblem3.cc | 2 +- tests/PIP_Problem/weightwatch1.cc | 2 +- tests/Partially_Reduced_Product/Makefile.am | 2 +- tests/Partially_Reduced_Product/addcongruences1.cc | 2 +- tests/Partially_Reduced_Product/addconstraints1.cc | 2 +- tests/Partially_Reduced_Product/affineimage1.cc | 2 +- tests/Partially_Reduced_Product/asciidumpload1.cc | 2 +- tests/Partially_Reduced_Product/bounded1.cc | 2 +- .../boundedaffineimage1.cc | 2 +- tests/Partially_Reduced_Product/bounds1.cc | 2 +- tests/Partially_Reduced_Product/concatenate1.cc | 2 +- tests/Partially_Reduced_Product/congruences1.cc | 2 +- .../congruencesproduct1.cc | 2 +- tests/Partially_Reduced_Product/constraints1.cc | 2 +- .../constraintsproduct1.cc | 2 +- tests/Partially_Reduced_Product/contains1.cc | 2 +- tests/Partially_Reduced_Product/difference1.cc | 2 +- tests/Partially_Reduced_Product/dimension1.cc | 2 +- tests/Partially_Reduced_Product/directproduct1.cc | 2 +- tests/Partially_Reduced_Product/directproduct2.cc | 2 +- tests/Partially_Reduced_Product/directproduct3.cc | 2 +- tests/Partially_Reduced_Product/directproduct4.cc | 2 +- tests/Partially_Reduced_Product/directproduct5.cc | 2 +- tests/Partially_Reduced_Product/directproduct6.cc | 2 +- tests/Partially_Reduced_Product/discrete1.cc | 2 +- tests/Partially_Reduced_Product/disjoint1.cc | 2 +- .../dropsomenonintegerpoints1.cc | 2 +- tests/Partially_Reduced_Product/equals1.cc | 2 +- tests/Partially_Reduced_Product/frombdshape1.cc | 2 +- tests/Partially_Reduced_Product/frombox1.cc | 2 +- tests/Partially_Reduced_Product/fromgrid1.cc | 2 +- .../fromoctagonalshape1.cc | 2 +- tests/Partially_Reduced_Product/frompolyhedron1.cc | 2 +- tests/Partially_Reduced_Product/fromproduct1.cc | 2 +- .../generalizedaffineimage1.cc | 2 +- tests/Partially_Reduced_Product/intersection1.cc | 2 +- tests/Partially_Reduced_Product/isempty1.cc | 2 +- tests/Partially_Reduced_Product/isuniverse1.cc | 2 +- tests/Partially_Reduced_Product/maxmin1.cc | 2 +- .../partially_reduced_product_test.hh | 2 +- .../partiallyreducedproduct1.cc | 2 +- .../partiallyreducedproduct2.cc | 2 +- .../partiallyreducedproduct3.cc | 2 +- .../partiallyreducedproduct4.cc | 2 +- .../refinewithcongruences1.cc | 2 +- .../refinewithconstraints1.cc | 2 +- tests/Partially_Reduced_Product/relations1.cc | 2 +- .../shapepreservingproduct1.cc | 2 +- tests/Partially_Reduced_Product/smashproduct1.cc | 2 +- tests/Partially_Reduced_Product/spacedims1.cc | 2 +- tests/Partially_Reduced_Product/timeelapse1.cc | 2 +- tests/Partially_Reduced_Product/topclosed1.cc | 2 +- tests/Partially_Reduced_Product/topclosure1.cc | 2 +- tests/Partially_Reduced_Product/upperbound1.cc | 2 +- tests/Partially_Reduced_Product/widening1.cc | 2 +- tests/Polyhedron/Makefile.am | 2 +- tests/Polyhedron/addcongruence1.cc | 2 +- tests/Polyhedron/addcongruences1.cc | 2 +- tests/Polyhedron/addconstraint1.cc | 2 +- tests/Polyhedron/addconstraints1.cc | 2 +- tests/Polyhedron/addconstraints2.cc | 2 +- tests/Polyhedron/addgenerator1.cc | 2 +- tests/Polyhedron/addgenerator2.cc | 2 +- tests/Polyhedron/addgenerators1.cc | 2 +- tests/Polyhedron/addgenerators2.cc | 2 +- tests/Polyhedron/addspacedims1.cc | 2 +- tests/Polyhedron/addspacedims2.cc | 2 +- tests/Polyhedron/affineimage1.cc | 2 +- tests/Polyhedron/affineimage2.cc | 2 +- tests/Polyhedron/affinepreimage1.cc | 2 +- tests/Polyhedron/affinetrans.cc | 2 +- tests/Polyhedron/append1.cc | 2 +- tests/Polyhedron/append2.cc | 2 +- tests/Polyhedron/ascii_dump_load1.cc | 2 +- tests/Polyhedron/ascii_dump_load2.cc | 2 +- tests/Polyhedron/ascii_dump_load3.cc | 2 +- tests/Polyhedron/bgp99extrapolation1.cc | 2 +- tests/Polyhedron/bgp99extrapolation2.cc | 2 +- tests/Polyhedron/bhrz03widening1.cc | 2 +- tests/Polyhedron/bhrz03widening2.cc | 2 +- tests/Polyhedron/bhrz03widening3.cc | 2 +- tests/Polyhedron/bhz03widening1.cc | 2 +- tests/Polyhedron/bounded1.cc | 2 +- tests/Polyhedron/boundedaffineimage1.cc | 2 +- tests/Polyhedron/boundedaffinepreimage1.cc | 2 +- tests/Polyhedron/boundedbhrz03extrapolation1.cc | 2 +- tests/Polyhedron/boundedh79extrapolation1.cc | 2 +- tests/Polyhedron/bounds1.cc | 2 +- tests/Polyhedron/cnncconversion1.cc | 2 +- tests/Polyhedron/concatenate1.cc | 2 +- tests/Polyhedron/congruences1.cc | 2 +- tests/Polyhedron/constrains1.cc | 2 +- tests/Polyhedron/constraints1.cc | 2 +- tests/Polyhedron/contains1.cc | 2 +- tests/Polyhedron/contains2.cc | 2 +- tests/Polyhedron/containsintegerpoint1.cc | 2 +- tests/Polyhedron/disjoint1.cc | 2 +- tests/Polyhedron/disjoint2.cc | 2 +- tests/Polyhedron/dropsomenonintegerpoints1.cc | 2 +- tests/Polyhedron/dropsomenonintegerpoints2.cc | 2 +- tests/Polyhedron/dualhypercubes.cc | 2 +- tests/Polyhedron/empty1.cc | 2 +- tests/Polyhedron/equals1.cc | 2 +- tests/Polyhedron/exceptions1.cc | 2 +- tests/Polyhedron/exceptions2.cc | 2 +- tests/Polyhedron/exceptions3.cc | 2 +- tests/Polyhedron/expandspacedim1.cc | 2 +- tests/Polyhedron/expandspacedim2.cc | 2 +- tests/Polyhedron/foldspacedims1.cc | 2 +- tests/Polyhedron/foldspacedims2.cc | 2 +- tests/Polyhedron/frequency1.cc | 2 +- tests/Polyhedron/frombdshape1.cc | 2 +- tests/Polyhedron/frombox1.cc | 2 +- tests/Polyhedron/frombox2.cc | 2 +- tests/Polyhedron/fromgrid1.cc | 2 +- tests/Polyhedron/fromoctagonalshape1.cc | 2 +- tests/Polyhedron/generalizedaffineimage1.cc | 2 +- tests/Polyhedron/generalizedaffineimage2.cc | 2 +- tests/Polyhedron/generalizedaffinepreimage1.cc | 2 +- tests/Polyhedron/generalizedaffinepreimage2.cc | 2 +- tests/Polyhedron/generators1.cc | 2 +- tests/Polyhedron/geomcovers1.cc | 2 +- tests/Polyhedron/h79widening1.cc | 2 +- tests/Polyhedron/h79widening2.cc | 2 +- tests/Polyhedron/hybrid.cc | 2 +- tests/Polyhedron/intersection1.cc | 2 +- tests/Polyhedron/limitedbhrz03extrapolation1.cc | 2 +- tests/Polyhedron/limitedh79extrapolation1.cc | 2 +- tests/Polyhedron/linearexpression1.cc | 2 +- tests/Polyhedron/linearpartition1.cc | 2 +- tests/Polyhedron/linearsystem1.cc | 2 +- tests/Polyhedron/mapspacedims1.cc | 2 +- tests/Polyhedron/matrix1.cc | 2 +- tests/Polyhedron/max_min1.cc | 2 +- tests/Polyhedron/maxspacedim1.cc | 2 +- tests/Polyhedron/mc91.cc | 2 +- tests/Polyhedron/membytes1.cc | 2 +- tests/Polyhedron/memory1.cc | 2 +- tests/Polyhedron/memory2.cc | 2 +- tests/Polyhedron/minconstraints1.cc | 2 +- tests/Polyhedron/minconstraints2.cc | 2 +- tests/Polyhedron/mingenerators1.cc | 2 +- tests/Polyhedron/mingenerators2.cc | 2 +- tests/Polyhedron/nncminimize1.cc | 2 +- tests/Polyhedron/nncminimize2.cc | 2 +- tests/Polyhedron/nncpostimeelapse1.cc | 2 +- tests/Polyhedron/numberinput1.cc | 2 +- tests/Polyhedron/onepoint.cc | 2 +- tests/Polyhedron/permute.cc | 2 +- tests/Polyhedron/polydifference1.cc | 2 +- tests/Polyhedron/polydifference2.cc | 2 +- tests/Polyhedron/polyhull1.cc | 2 +- tests/Polyhedron/polyhull2.cc | 2 +- tests/Polyhedron/polyhullifexact1.cc | 2 +- tests/Polyhedron/polyhullifexact2.cc | 2 +- tests/Polyhedron/randphull1.cc | 2 +- tests/Polyhedron/refinewithcongruence1.cc | 2 +- tests/Polyhedron/refinewithcongruences1.cc | 2 +- tests/Polyhedron/refinewithconstraint1.cc | 2 +- tests/Polyhedron/refinewithconstraints1.cc | 2 +- tests/Polyhedron/relations1.cc | 2 +- tests/Polyhedron/relations2.cc | 2 +- tests/Polyhedron/relations3.cc | 2 +- tests/Polyhedron/removespacedims1.cc | 2 +- tests/Polyhedron/removespacedims2.cc | 2 +- tests/Polyhedron/simplifyusingcontext1.cc | 2 +- tests/Polyhedron/simplifyusingcontext2.cc | 2 +- tests/Polyhedron/smm1.cc | 2 +- tests/Polyhedron/sparserow1.cc | 2 +- tests/Polyhedron/termination1.cc | 2 +- tests/Polyhedron/termination2.cc | 2 +- tests/Polyhedron/timeelapse1.cc | 2 +- tests/Polyhedron/timeelapse2.cc | 2 +- tests/Polyhedron/topclosed1.cc | 2 +- tests/Polyhedron/topclosure1.cc | 2 +- tests/Polyhedron/unconstrain1.cc | 2 +- tests/Polyhedron/universe1.cc | 2 +- tests/Polyhedron/universe2.cc | 2 +- tests/Polyhedron/variablesset1.cc | 2 +- tests/Polyhedron/watchdog1.cc | 2 +- tests/Polyhedron/weightwatch1.cc | 2 +- tests/Polyhedron/wrap1.cc | 2 +- tests/Polyhedron/wrap2.cc | 2 +- tests/Polyhedron/writeconsys1.cc | 2 +- tests/Polyhedron/writegensys1.cc | 2 +- tests/Polyhedron/writepolyhedron1.cc | 2 +- tests/Polyhedron/writepolyhedron2.cc | 2 +- tests/Polyhedron/writerelation1.cc | 2 +- tests/Polyhedron/writevariable1.cc | 2 +- tests/Powerset/Makefile.am | 2 +- tests/Powerset/addcongruences1.cc | 2 +- tests/Powerset/addconstraints1.cc | 2 +- tests/Powerset/affinedimension1.cc | 2 +- tests/Powerset/affineimage1.cc | 2 +- tests/Powerset/affinepreimage1.cc | 2 +- tests/Powerset/bounded1.cc | 2 +- tests/Powerset/bounds1.cc | 2 +- tests/Powerset/closed1.cc | 2 +- tests/Powerset/closure1.cc | 2 +- tests/Powerset/collapse1.cc | 2 +- tests/Powerset/concatenate1.cc | 2 +- tests/Powerset/contains1.cc | 2 +- tests/Powerset/containsintegerpoint1.cc | 2 +- tests/Powerset/difference1.cc | 2 +- tests/Powerset/discrete1.cc | 2 +- tests/Powerset/disjoint1.cc | 2 +- tests/Powerset/disjunct1.cc | 2 +- tests/Powerset/empty1.cc | 2 +- tests/Powerset/entails1.cc | 2 +- tests/Powerset/equals1.cc | 2 +- tests/Powerset/frombdshape1.cc | 2 +- tests/Powerset/frombox1.cc | 2 +- tests/Powerset/fromcongruences1.cc | 2 +- tests/Powerset/fromconstraints1.cc | 2 +- tests/Powerset/fromgrid1.cc | 2 +- tests/Powerset/fromoctagonalshape1.cc | 2 +- tests/Powerset/frompolyhedron1.cc | 2 +- tests/Powerset/fromspacedimension1.cc | 2 +- tests/Powerset/intersection1.cc | 2 +- tests/Powerset/maxmin1.cc | 2 +- tests/Powerset/meet1.cc | 2 +- tests/Powerset/membytes1.cc | 2 +- tests/Powerset/powerset1.cc | 2 +- tests/Powerset/reduce1.cc | 2 +- tests/Powerset/refinewith1.cc | 2 +- tests/Powerset/relationwith1.cc | 2 +- tests/Powerset/simplifyusingcontext1.cc | 2 +- tests/Powerset/size1.cc | 2 +- tests/Powerset/spacedims1.cc | 2 +- tests/Powerset/universe1.cc | 2 +- tests/Powerset/upperbound1.cc | 2 +- tests/README | 4 ++-- tests/Random_Number_Generator_defs.hh | 2 +- tests/Random_Number_Generator_inlines.hh | 2 +- tests/Random_Number_Generator_types.hh | 2 +- tests/Watchdog/Makefile.am | 2 +- tests/Watchdog/watchdog1.cc | 2 +- tests/files.cc | 2 +- tests/files.hh | 2 +- tests/ppl_test.cc | 2 +- tests/ppl_test.hh | 2 +- utils/Makefile.am | 2 +- utils/build_header.in | 2 +- utils/cm_cleaner.sh | 2 +- utils/cm_splitter.sh | 2 +- utils/text2cxxarray.in | 2 +- utils/timings.cc | 2 +- utils/timings.hh | 2 +- 1353 files changed, 1369 insertions(+), 1369 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3a5e1e20…

1 0