August 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Avoided non-constant pointers to function.
by Roberto Bagnara 20 Aug '12

20 Aug '12

Module: ppl/ppl Branch: master Commit: d75793538dc649e9d985d16095a5a445fba4cd26 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d75793538dc6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 20 16:51:41 2012 +0200 Avoided non-constant pointers to function. Detected by ECLAIR service funpntr. --- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- src/Watchdog_defs.hh | 2 +- src/Watchdog_inlines.hh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index d492f33..97d4a20 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -298,7 +298,7 @@ warning(const char* format, ...) { #ifdef PPL_LCDD_SUPPORTS_LIMIT_ON_CPU_TIME -extern "C" typedef void (*sig_handler_type)(int); +extern "C" typedef void (* const sig_handler_type)(int); void set_alarm_on_cpu_time(const unsigned long seconds, sig_handler_type handler) { diff --git a/src/Watchdog_defs.hh b/src/Watchdog_defs.hh index 9ff258b..003d5be 100644 --- a/src/Watchdog_defs.hh +++ b/src/Watchdog_defs.hh @@ -57,7 +57,7 @@ public: Constructor: if not reset, the watchdog will trigger after \p csecs centiseconds, invoking handler \p function. */ - Watchdog(long csecs, void (*function)()); + Watchdog(long csecs, void (* const function)()); //! Destructor. ~Watchdog(); diff --git a/src/Watchdog_inlines.hh b/src/Watchdog_inlines.hh index 8522fca..8244922 100644 --- a/src/Watchdog_inlines.hh +++ b/src/Watchdog_inlines.hh @@ -48,7 +48,7 @@ Watchdog::Watchdog(long csecs, } inline -Watchdog::Watchdog(long csecs, void (*function)()) +Watchdog::Watchdog(long csecs, void (* const function)()) : expired(false), handler(*new Implementation::Watchdog::Handler_Function(function)) { if (csecs == 0)

1 0

[GIT] ppl/ppl(master): Avoided non-constant pointers to function.
by Roberto Bagnara 20 Aug '12

20 Aug '12

Module: ppl/ppl Branch: master Commit: eb5a736c101e176993d889f24a563bb3ff8ccd1e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb5a736c101e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 20 16:27:50 2012 +0200 Avoided non-constant pointers to function. Detected by ECLAIR service funpntr. --- src/Handler_defs.hh | 4 ++-- src/Handler_inlines.hh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Handler_defs.hh b/src/Handler_defs.hh index 6c5938e..eb4f09e 100644 --- a/src/Handler_defs.hh +++ b/src/Handler_defs.hh @@ -81,14 +81,14 @@ class Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Function : public Handler { public: //! Constructor with a given function. - Handler_Function(void (*function)()); + Handler_Function(void (* const function)()); //! Does its job: calls the embedded function. virtual void act() const; private: //! Pointer to the embedded function. - void (*f)(); + void (* const f)(); }; #include "Handler_inlines.hh" diff --git a/src/Handler_inlines.hh b/src/Handler_inlines.hh index fd930bf..0af187f 100644 --- a/src/Handler_inlines.hh +++ b/src/Handler_inlines.hh @@ -48,7 +48,7 @@ Handler_Flag<Flag_Base, Flag>::act() const { } inline -Handler_Function::Handler_Function(void (*function)()) +Handler_Function::Handler_Function(void (* const function)()) : f(function) { }

1 0

[GIT] ppl/ppl(master): Avoided non-constant pointers to function.
by Roberto Bagnara 20 Aug '12

20 Aug '12

Module: ppl/ppl Branch: master Commit: b23873fe14a7204ec856aae21209eaf1cc6ea3a9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b23873fe14a7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 20 15:49:20 2012 +0200 Avoided non-constant pointers to function. Detected by ECLAIR service funpntr. --- src/Scalar_Products_defs.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Scalar_Products_defs.hh b/src/Scalar_Products_defs.hh index f58a816..4c001d7 100644 --- a/src/Scalar_Products_defs.hh +++ b/src/Scalar_Products_defs.hh @@ -214,7 +214,8 @@ public: private: //! The type of the scalar product sign function pointer. - typedef int (*SPS_type)(const Linear_Expression&, const Linear_Expression&); + typedef int (* const SPS_type)(const Linear_Expression&, + const Linear_Expression&); //! The scalar product sign function pointer. SPS_type sps_fp;

1 0

[GIT] ppl/ppl(ppl-1_0-branch): New commits
by Roberto Bagnara 20 Aug '12

20 Aug '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c2978601db3… Merge: 1bb3f444e6dbaf8f81d122fa9a4908461edbb428 15a09460fd3ff29367a6d96f9ada8eb792f0d73b Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 20 13:54:09 2012 +0200 Merge branch 'master' into ppl-1_0-branch Conflicts: interfaces/OCaml/Makefile.am src/Expression_Adapter.defs.hh src/Expression_Adapter_inlines.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15a09460fd3f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 20 13:19:42 2012 +0200 Guarantee that header file names are unique as per C++11's 16.2#5. Detected by ECLAIR service hedrname. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd2a3147b0d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 22:49:03 2012 +0200 Fixed the code layout for several if-then-elses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=765172cce292… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 12:42:09 2012 +0200 Fixed comments that were meant to be Doxygen comments. Detected by ECLAIR service cmntdecl_srceline. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15181d45d90d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 11:44:26 2012 +0200 Comment fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccf34d6e8ac3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 18 14:12:59 2012 +0200 Advertise the portability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=416ab74e65a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 18 13:54:23 2012 +0200 Avoid a non-portable GNU Make idiom (using `$<' in a non-suffix rule context). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6247133f289… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 18 11:14:19 2012 +0200 Modified the Expression_Adapter infrastructure. Prefer the creation of transient, lightweight adapters to the usage of wild reference casts. While at it, improved documentation and systematically renamed `Expression' inner typedefs as `expr_type'.

1 0

[GIT] ppl/ppl(master): Guarantee that header file names are unique as per C++11's 16.2#5.
by Roberto Bagnara 20 Aug '12

20 Aug '12

Module: ppl/ppl Branch: master Commit: 15a09460fd3ff29367a6d96f9ada8eb792f0d73b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15a09460fd3f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 20 13:19:42 2012 +0200 Guarantee that header file names are unique as per C++11's 16.2#5. Detected by ECLAIR service hedrname. --- README.configure | 2 +- doc/Makefile.am | 52 +- interfaces/C/Makefile.am | 4 +- interfaces/C/ppl_c_implementation_common.cc | 2 +- interfaces/C/ppl_c_implementation_common.defs.hh | 259 - interfaces/C/ppl_c_implementation_common_defs.hh | 259 + ...s.hh => ppl_c_implementation_common_inlines.hh} | 0 interfaces/C/ppl_interface_generator_c_cc_files.m4 | 2 +- interfaces/Java/jni/Makefile.am | 4 +- ...pl_interface_generator_java_classes_cc_files.m4 | 4 +- interfaces/Java/jni/ppl_java_common.cc | 2 +- interfaces/Java/jni/ppl_java_common.defs.hh | 899 --- interfaces/Java/jni/ppl_java_common_defs.hh | 899 +++ ...ommon.inlines.hh => ppl_java_common_inlines.hh} | 0 interfaces/Java/jni/ppl_java_globals.cc | 2 +- interfaces/OCaml/Makefile.am | 22 +- .../ppl_interface_generator_ocaml_hh_files.m4 | 2 +- interfaces/OCaml/ppl_ocaml_common.cc | 2 +- interfaces/OCaml/ppl_ocaml_common.defs.hh | 234 - interfaces/OCaml/ppl_ocaml_common_defs.hh | 234 + ...mmon.inlines.hh => ppl_ocaml_common_inlines.hh} | 0 interfaces/Prolog/Ciao/ciao_efli.cc | 2 +- interfaces/Prolog/GNU/gprolog_efli.cc | 2 +- interfaces/Prolog/Makefile.am | 4 +- interfaces/Prolog/XSB/xsb_efli.cc | 2 +- .../ppl_interface_generator_prolog_cc_files.m4 | 2 +- .../ppl_interface_generator_prolog_hh_files.m4 | 2 +- interfaces/Prolog/ppl_prolog_common.cc | 2 +- interfaces/Prolog/ppl_prolog_common.defs.hh | 1084 --- interfaces/Prolog/ppl_prolog_common_defs.hh | 1084 +++ ...mon.inlines.hh => ppl_prolog_common_inlines.hh} | 0 src/Affine_Space.cc | 2 +- src/Affine_Space.defs.hh | 1715 ----- src/Affine_Space_defs.hh | 1715 +++++ ...ne_Space.inlines.hh => Affine_Space_inlines.hh} | 0 ...Affine_Space.types.hh => Affine_Space_types.hh} | 0 src/Any_Pointset.defs.hh | 1375 ---- src/Any_Pointset_defs.hh | 1375 ++++ ...Pointset.inlines.hh => Any_Pointset_inlines.hh} | 0 ...Any_Pointset.types.hh => Any_Pointset_types.hh} | 0 src/Ask_Tell.defs.hh | 374 - src/Ask_Tell_defs.hh | 374 + src/{Ask_Tell.inlines.hh => Ask_Tell_inlines.hh} | 0 ...Ask_Tell.templates.hh => Ask_Tell_templates.hh} | 0 src/{Ask_Tell.types.hh => Ask_Tell_types.hh} | 0 src/BDS_Status.idefs.hh | 117 - src/BDS_Status_idefs.hh | 117 + ...BDS_Status.inlines.hh => BDS_Status_inlines.hh} | 0 src/BD_Shape.cc | 2 +- src/BD_Shape.defs.hh | 2370 ------ src/BD_Shape.inlines.hh | 910 --- src/BD_Shape.templates.hh | 6789 ---------------- src/BD_Shape_defs.hh | 2370 ++++++ src/BD_Shape_inlines.hh | 910 +++ src/BD_Shape_templates.hh | 6789 ++++++++++++++++ src/{BD_Shape.types.hh => BD_Shape_types.hh} | 0 src/BHRZ03_Certificate.cc | 4 +- src/BHRZ03_Certificate.defs.hh | 118 - src/BHRZ03_Certificate_defs.hh | 118 + ...te.inlines.hh => BHRZ03_Certificate_inlines.hh} | 0 ...ficate.types.hh => BHRZ03_Certificate_types.hh} | 0 src/Bit_Matrix.cc | 8 +- src/Bit_Matrix.defs.hh | 187 - src/Bit_Matrix_defs.hh | 187 + ...Bit_Matrix.inlines.hh => Bit_Matrix_inlines.hh} | 0 src/{Bit_Matrix.types.hh => Bit_Matrix_types.hh} | 0 src/Bit_Row.cc | 2 +- src/Bit_Row.defs.hh | 214 - src/Bit_Row.inlines.hh | 236 - src/Bit_Row_defs.hh | 214 + src/Bit_Row_inlines.hh | 236 + src/{Bit_Row.types.hh => Bit_Row_types.hh} | 0 src/Boundary.defs.hh | 738 -- src/Boundary_defs.hh | 738 ++ src/Box.cc | 2 +- src/Box.defs.hh | 2286 ------ src/Box.inlines.hh | 692 -- src/Box.templates.hh | 4287 ----------- src/Box_Status.idefs.hh | 115 - src/Box_Status_idefs.hh | 115 + ...Box_Status.inlines.hh => Box_Status_inlines.hh} | 0 src/Box_defs.hh | 2286 ++++++ src/Box_inlines.hh | 692 ++ src/Box_templates.hh | 4287 +++++++++++ src/{Box.types.hh => Box_types.hh} | 0 src/CO_Tree.cc | 2 +- src/CO_Tree.defs.hh | 1559 ---- src/CO_Tree_defs.hh | 1559 ++++ src/{CO_Tree.inlines.hh => CO_Tree_inlines.hh} | 0 src/{CO_Tree.templates.hh => CO_Tree_templates.hh} | 0 src/{CO_Tree.types.hh => CO_Tree_types.hh} | 0 src/C_Polyhedron.cc | 6 +- src/C_Polyhedron.defs.hh | 280 - src/C_Polyhedron_defs.hh | 280 + ...lyhedron.inlines.hh => C_Polyhedron_inlines.hh} | 0 ...C_Polyhedron.types.hh => C_Polyhedron_types.hh} | 0 src/Cast_Floating_Point_Expression.defs.hh | 182 - src/Cast_Floating_Point_Expression.inlines.hh | 64 - src/Cast_Floating_Point_Expression_defs.hh | 182 + src/Cast_Floating_Point_Expression_inlines.hh | 64 + ...=> Cast_Floating_Point_Expression_templates.hh} | 0 ....hh => Cast_Floating_Point_Expression_types.hh} | 0 src/Checked_Number.cc | 2 +- src/Checked_Number.defs.hh | 1068 --- src/Checked_Number.inlines.hh | 848 -- src/Checked_Number_defs.hh | 1068 +++ src/Checked_Number_inlines.hh | 848 ++ ...er.templates.hh => Checked_Number_templates.hh} | 0 ...ked_Number.types.hh => Checked_Number_types.hh} | 0 src/Coefficient.cc | 2 +- src/Coefficient.defs.hh | 61 - src/Coefficient.types.hh | 182 - src/Coefficient_defs.hh | 61 + ...efficient.inlines.hh => Coefficient_inlines.hh} | 0 src/Coefficient_types.hh | 182 + src/Concrete_Expression.cc | 2 +- src/Concrete_Expression.defs.hh | 201 - src/Concrete_Expression_defs.hh | 201 + ...n.inlines.hh => Concrete_Expression_inlines.hh} | 0 ...ssion.types.hh => Concrete_Expression_types.hh} | 0 src/Congruence.cc | 6 +- src/Congruence.defs.hh | 506 -- src/Congruence_System.cc | 16 +- src/Congruence_System.defs.hh | 544 -- src/Congruence_System.inlines.hh | 272 - src/Congruence_System_defs.hh | 544 ++ src/Congruence_System_inlines.hh | 272 + ..._System.types.hh => Congruence_System_types.hh} | 0 src/Congruence_defs.hh | 506 ++ ...Congruence.inlines.hh => Congruence_inlines.hh} | 0 src/{Congruence.types.hh => Congruence_types.hh} | 0 src/Constant_Floating_Point_Expression.defs.hh | 173 - src/Constant_Floating_Point_Expression.inlines.hh | 80 - src/Constant_Floating_Point_Expression_defs.hh | 173 + src/Constant_Floating_Point_Expression_inlines.hh | 80 + ...=> Constant_Floating_Point_Expression_types.hh} | 0 src/Constraint.cc | 10 +- src/Constraint.defs.hh | 836 -- src/Constraint.inlines.hh | 577 -- src/Constraint_System.cc | 14 +- src/Constraint_System.defs.hh | 687 -- src/Constraint_System.inlines.hh | 439 -- src/Constraint_System_defs.hh | 687 ++ src/Constraint_System_inlines.hh | 439 ++ ..._System.types.hh => Constraint_System_types.hh} | 0 src/Constraint_defs.hh | 836 ++ src/Constraint_inlines.hh | 577 ++ src/{Constraint.types.hh => Constraint_types.hh} | 0 src/DB_Matrix.defs.hh | 325 - src/DB_Matrix.inlines.hh | 330 - src/DB_Matrix_defs.hh | 325 + src/DB_Matrix_inlines.hh | 330 + ..._Matrix.templates.hh => DB_Matrix_templates.hh} | 0 src/{DB_Matrix.types.hh => DB_Matrix_types.hh} | 0 src/DB_Row.defs.hh | 470 -- src/DB_Row.inlines.hh | 428 - src/DB_Row.templates.hh | 215 - src/DB_Row_defs.hh | 470 ++ src/DB_Row_inlines.hh | 428 + src/DB_Row_templates.hh | 215 + src/{DB_Row.types.hh => DB_Row_types.hh} | 0 src/Dense_Row.cc | 6 +- src/Dense_Row.defs.hh | 561 -- src/Dense_Row_defs.hh | 561 ++ src/{Dense_Row.inlines.hh => Dense_Row_inlines.hh} | 0 ...nse_Row.templates.hh => Dense_Row_templates.hh} | 0 src/{Dense_Row.types.hh => Dense_Row_types.hh} | 0 src/Determinate.defs.hh | 331 - src/Determinate_defs.hh | 331 + ...terminate.inlines.hh => Determinate_inlines.hh} | 0 src/{Determinate.types.hh => Determinate_types.hh} | 0 src/Difference_Floating_Point_Expression.defs.hh | 221 - ...Difference_Floating_Point_Expression.inlines.hh | 70 - src/Difference_Floating_Point_Expression_defs.hh | 221 + ...Difference_Floating_Point_Expression_inlines.hh | 70 + ...ference_Floating_Point_Expression_templates.hh} | 0 ... Difference_Floating_Point_Expression_types.hh} | 0 src/Division_Floating_Point_Expression.defs.hh | 237 - src/Division_Floating_Point_Expression.inlines.hh | 69 - src/Division_Floating_Point_Expression_defs.hh | 237 + src/Division_Floating_Point_Expression_inlines.hh | 69 + ...ivision_Floating_Point_Expression_templates.hh} | 0 ...=> Division_Floating_Point_Expression_types.hh} | 0 src/Doubly_Linked_Object.defs.hh | 65 - src/Doubly_Linked_Object_defs.hh | 65 + ....inlines.hh => Doubly_Linked_Object_inlines.hh} | 0 ...ject.types.hh => Doubly_Linked_Object_types.hh} | 0 src/EList.defs.hh | 90 - src/EList_Iterator.defs.hh | 92 - src/EList_Iterator.inlines.hh | 113 - src/EList_Iterator_defs.hh | 92 + src/EList_Iterator_inlines.hh | 113 + ...t_Iterator.types.hh => EList_Iterator_types.hh} | 0 src/EList_defs.hh | 90 + src/{EList.inlines.hh => EList_inlines.hh} | 0 src/{EList.types.hh => EList_types.hh} | 0 src/Expression_Adapter.defs.hh | 216 - src/Expression_Adapter.inlines.hh | 229 - src/Expression_Adapter_defs.hh | 216 + src/Expression_Adapter_inlines.hh | 229 + ...dapter.types.hh => Expression_Adapter_types.hh} | 0 src/Expression_Hide_Inhomo.defs.hh | 147 - src/Expression_Hide_Inhomo.inlines.hh | 218 - src/Expression_Hide_Inhomo_defs.hh | 147 + src/Expression_Hide_Inhomo_inlines.hh | 218 + ...mo.types.hh => Expression_Hide_Inhomo_types.hh} | 0 src/Expression_Hide_Last.defs.hh | 165 - src/Expression_Hide_Last.inlines.hh | 241 - src/Expression_Hide_Last_defs.hh | 165 + src/Expression_Hide_Last_inlines.hh | 241 + ...Last.types.hh => Expression_Hide_Last_types.hh} | 0 src/Float.cc | 2 +- src/Float.defs.hh | 516 -- src/Float.inlines.hh | 536 -- src/Float.templates.hh | 167 - src/Float_defs.hh | 516 ++ src/Float_inlines.hh | 536 ++ src/Float_templates.hh | 167 + src/Floating_Point_Expression.defs.hh | 212 - src/Floating_Point_Expression.inlines.hh | 55 - src/Floating_Point_Expression.templates.hh | 111 - src/Floating_Point_Expression_defs.hh | 212 + src/Floating_Point_Expression_inlines.hh | 55 + src/Floating_Point_Expression_templates.hh | 111 + ...types.hh => Floating_Point_Expression_types.hh} | 0 src/GMP_Integer.defs.hh | 134 - src/GMP_Integer.types.hh | 45 - src/GMP_Integer_defs.hh | 134 + ...P_Integer.inlines.hh => GMP_Integer_inlines.hh} | 0 src/GMP_Integer_types.hh | 45 + src/Generator.cc | 8 +- src/Generator.defs.hh | 1030 --- src/Generator_System.cc | 10 +- src/Generator_System.defs.hh | 744 -- src/Generator_System.inlines.hh | 411 - src/Generator_System_defs.hh | 744 ++ src/Generator_System_inlines.hh | 411 + ...r_System.types.hh => Generator_System_types.hh} | 0 src/Generator_defs.hh | 1030 +++ src/{Generator.inlines.hh => Generator_inlines.hh} | 0 src/{Generator.types.hh => Generator_types.hh} | 0 src/Grid.defs.hh | 2665 ------- src/Grid.inlines.hh | 383 - src/Grid.templates.hh | 339 - src/Grid_Certificate.cc | 4 +- src/Grid_Certificate.defs.hh | 104 - src/Grid_Certificate_defs.hh | 104 + ...cate.inlines.hh => Grid_Certificate_inlines.hh} | 0 ...tificate.types.hh => Grid_Certificate_types.hh} | 0 src/Grid_Generator.cc | 6 +- src/Grid_Generator.defs.hh | 796 -- src/Grid_Generator_System.cc | 10 +- src/Grid_Generator_System.defs.hh | 514 -- src/Grid_Generator_System.inlines.hh | 279 - src/Grid_Generator_System_defs.hh | 514 ++ src/Grid_Generator_System_inlines.hh | 279 + ...tem.types.hh => Grid_Generator_System_types.hh} | 0 src/Grid_Generator_defs.hh | 796 ++ ...erator.inlines.hh => Grid_Generator_inlines.hh} | 0 ..._Generator.types.hh => Grid_Generator_types.hh} | 0 src/Grid_Status.cc | 2 +- src/Grid_Status.idefs.hh | 168 - src/Grid_Status_idefs.hh | 168 + ...id_Status.inlines.hh => Grid_Status_inlines.hh} | 0 src/Grid_chdims.cc | 4 +- src/Grid_conversion.cc | 2 +- src/Grid_defs.hh | 2665 +++++++ src/Grid_inlines.hh | 383 + src/Grid_nonpublic.cc | 8 +- src/Grid_public.cc | 10 +- src/Grid_simplify.cc | 2 +- src/Grid_templates.hh | 339 + src/{Grid.types.hh => Grid_types.hh} | 0 src/Grid_widenings.cc | 2 +- src/H79_Certificate.cc | 4 +- src/H79_Certificate.defs.hh | 98 - src/H79_Certificate.inlines.hh | 71 - src/H79_Certificate_defs.hh | 98 + src/H79_Certificate_inlines.hh | 71 + ...rtificate.types.hh => H79_Certificate_types.hh} | 0 src/Handler.defs.hh | 96 - src/Handler_defs.hh | 96 + src/{Handler.inlines.hh => Handler_inlines.hh} | 0 src/{Handler.types.hh => Handler_types.hh} | 0 src/Init.cc | 34 +- src/Init.defs.hh | 100 - src/Init.inlines.hh | 48 - src/Init_defs.hh | 100 + src/Init_inlines.hh | 48 + src/{Init.types.hh => Init_types.hh} | 0 src/Integer_Interval.hh | 2 +- src/Interval.defs.hh | 761 -- src/Interval_Info.defs.hh | 285 - src/Interval_Info_defs.hh | 285 + ...al_Info.inlines.hh => Interval_Info_inlines.hh} | 0 ...terval_Info.types.hh => Interval_Info_types.hh} | 0 src/Interval_defs.hh | 761 ++ src/{Interval.inlines.hh => Interval_inlines.hh} | 0 ...Interval.templates.hh => Interval_templates.hh} | 0 src/{Interval.types.hh => Interval_types.hh} | 0 src/Linear_Expression.cc | 8 +- src/Linear_Expression.defs.hh | 928 --- src/Linear_Expression.inlines.hh | 822 -- src/Linear_Expression_Impl.cc | 6 +- src/Linear_Expression_Impl.defs.hh | 906 --- src/Linear_Expression_Impl.inlines.hh | 282 - src/Linear_Expression_Impl.templates.hh | 1314 ---- src/Linear_Expression_Impl_defs.hh | 906 +++ src/Linear_Expression_Impl_inlines.hh | 282 + src/Linear_Expression_Impl_templates.hh | 1314 ++++ ...pl.types.hh => Linear_Expression_Impl_types.hh} | 0 src/Linear_Expression_Interface.cc | 2 +- src/Linear_Expression_Interface.defs.hh | 489 -- src/Linear_Expression_Interface_defs.hh | 489 ++ ...pes.hh => Linear_Expression_Interface_types.hh} | 0 src/Linear_Expression_defs.hh | 928 +++ src/Linear_Expression_inlines.hh | 822 ++ ...ression.types.hh => Linear_Expression_types.hh} | 0 src/Linear_Form.cc | 2 +- src/Linear_Form.defs.hh | 499 -- src/Linear_Form.inlines.hh | 252 - src/Linear_Form.templates.hh | 527 -- src/Linear_Form_defs.hh | 499 ++ src/Linear_Form_inlines.hh | 252 + src/Linear_Form_templates.hh | 527 ++ src/{Linear_Form.types.hh => Linear_Form_types.hh} | 0 src/Linear_System.defs.hh | 582 -- src/Linear_System.inlines.hh | 698 -- src/Linear_System.templates.hh | 928 --- src/Linear_System_defs.hh | 582 ++ src/Linear_System_inlines.hh | 698 ++ src/Linear_System_templates.hh | 928 +++ ...near_System.types.hh => Linear_System_types.hh} | 0 src/MIP_Problem.cc | 26 +- src/MIP_Problem.defs.hh | 980 --- src/MIP_Problem.inlines.hh | 322 - src/MIP_Problem.templates.hh | 181 - src/MIP_Problem_defs.hh | 980 +++ src/MIP_Problem_inlines.hh | 322 + src/MIP_Problem_templates.hh | 181 + src/{MIP_Problem.types.hh => MIP_Problem_types.hh} | 0 src/Makefile.am | 674 +- src/Matrix.defs.hh | 437 -- src/Matrix_defs.hh | 437 ++ src/{Matrix.inlines.hh => Matrix_inlines.hh} | 0 src/{Matrix.templates.hh => Matrix_templates.hh} | 0 src/{Matrix.types.hh => Matrix_types.hh} | 0 ...ultiplication_Floating_Point_Expression.defs.hh | 251 - ...iplication_Floating_Point_Expression.inlines.hh | 71 - ...ultiplication_Floating_Point_Expression_defs.hh | 251 + ...iplication_Floating_Point_Expression_inlines.hh | 71 + ...ication_Floating_Point_Expression_templates.hh} | 0 ...tiplication_Floating_Point_Expression_types.hh} | 0 src/NNC_Polyhedron.cc | 6 +- src/NNC_Polyhedron.defs.hh | 256 - src/NNC_Polyhedron.inlines.hh | 153 - src/NNC_Polyhedron_defs.hh | 256 + src/NNC_Polyhedron_inlines.hh | 153 + ...Polyhedron.types.hh => NNC_Polyhedron_types.hh} | 0 src/Numeric_Format.defs.hh | 38 - src/Numeric_Format_defs.hh | 38 + src/OR_Matrix.defs.hh | 610 -- src/OR_Matrix.inlines.hh | 751 -- src/OR_Matrix_defs.hh | 610 ++ src/OR_Matrix_inlines.hh | 751 ++ ..._Matrix.templates.hh => OR_Matrix_templates.hh} | 0 src/{OR_Matrix.types.hh => OR_Matrix_types.hh} | 0 src/Octagonal_Shape.cc | 2 +- src/Octagonal_Shape.defs.hh | 2324 ------ src/Octagonal_Shape.inlines.hh | 892 --- src/Octagonal_Shape.templates.hh | 8115 -------------------- src/Octagonal_Shape_defs.hh | 2324 ++++++ src/Octagonal_Shape_inlines.hh | 892 +++ src/Octagonal_Shape_templates.hh | 8115 ++++++++++++++++++++ ...nal_Shape.types.hh => Octagonal_Shape_types.hh} | 0 src/Og_Status.idefs.hh | 112 - src/Og_Status_idefs.hh | 112 + src/{Og_Status.inlines.hh => Og_Status_inlines.hh} | 0 src/Opposite_Floating_Point_Expression.defs.hh | 193 - src/Opposite_Floating_Point_Expression.inlines.hh | 79 - src/Opposite_Floating_Point_Expression_defs.hh | 193 + src/Opposite_Floating_Point_Expression_inlines.hh | 79 + ...=> Opposite_Floating_Point_Expression_types.hh} | 0 src/PIP_Problem.cc | 4 +- src/PIP_Problem.defs.hh | 834 -- src/PIP_Problem.templates.hh | 81 - src/PIP_Problem_defs.hh | 834 ++ ...P_Problem.inlines.hh => PIP_Problem_inlines.hh} | 0 src/PIP_Problem_templates.hh | 81 + src/{PIP_Problem.types.hh => PIP_Problem_types.hh} | 0 src/PIP_Tree.cc | 4 +- src/PIP_Tree.defs.hh | 836 -- src/PIP_Tree_defs.hh | 836 ++ src/{PIP_Tree.inlines.hh => PIP_Tree_inlines.hh} | 0 src/{PIP_Tree.types.hh => PIP_Tree_types.hh} | 0 src/Partial_Function.cc | 4 +- src/Partial_Function.defs.hh | 87 - src/Partial_Function_defs.hh | 87 + ...tion.inlines.hh => Partial_Function_inlines.hh} | 0 ...Function.types.hh => Partial_Function_types.hh} | 0 src/Partially_Reduced_Product.defs.hh | 1689 ---- src/Partially_Reduced_Product.inlines.hh | 818 -- src/Partially_Reduced_Product.templates.hh | 710 -- src/Partially_Reduced_Product_defs.hh | 1689 ++++ src/Partially_Reduced_Product_inlines.hh | 818 ++ src/Partially_Reduced_Product_templates.hh | 710 ++ ...types.hh => Partially_Reduced_Product_types.hh} | 0 src/Pending_Element.defs.hh | 77 - src/Pending_Element_defs.hh | 77 + ...ement.inlines.hh => Pending_Element_inlines.hh} | 0 ...g_Element.types.hh => Pending_Element_types.hh} | 0 src/Pending_List.defs.hh | 79 - src/Pending_List_defs.hh | 79 + ...ing_List.inlines.hh => Pending_List_inlines.hh} | 0 ...List.templates.hh => Pending_List_templates.hh} | 0 ...Pending_List.types.hh => Pending_List_types.hh} | 0 src/Ph_Status.cc | 2 +- src/Ph_Status.idefs.hh | 183 - src/Ph_Status_idefs.hh | 183 + src/{Ph_Status.inlines.hh => Ph_Status_inlines.hh} | 0 src/Pointset_Ask_Tell.cc | 2 +- src/Pointset_Ask_Tell.defs.hh | 503 -- src/Pointset_Ask_Tell.inlines.hh | 216 - src/Pointset_Ask_Tell.templates.hh | 324 - src/Pointset_Ask_Tell_defs.hh | 503 ++ src/Pointset_Ask_Tell_inlines.hh | 216 + src/Pointset_Ask_Tell_templates.hh | 324 + ...sk_Tell.types.hh => Pointset_Ask_Tell_types.hh} | 0 src/Pointset_Powerset.cc | 4 +- src/Pointset_Powerset.defs.hh | 1449 ---- src/Pointset_Powerset.inlines.hh | 320 - src/Pointset_Powerset.templates.hh | 1611 ---- src/Pointset_Powerset_defs.hh | 1449 ++++ src/Pointset_Powerset_inlines.hh | 320 + src/Pointset_Powerset_templates.hh | 1611 ++++ ...owerset.types.hh => Pointset_Powerset_types.hh} | 0 src/Poly_Con_Relation.cc | 2 +- src/Poly_Con_Relation.defs.hh | 166 - src/Poly_Con_Relation_defs.hh | 166 + ...ion.inlines.hh => Poly_Con_Relation_inlines.hh} | 0 ...elation.types.hh => Poly_Con_Relation_types.hh} | 0 src/Poly_Gen_Relation.cc | 2 +- src/Poly_Gen_Relation.defs.hh | 139 - src/Poly_Gen_Relation_defs.hh | 139 + ...ion.inlines.hh => Poly_Gen_Relation_inlines.hh} | 0 ...elation.types.hh => Poly_Gen_Relation_types.hh} | 0 src/Polyhedron.defs.hh | 2843 ------- src/Polyhedron.inlines.hh | 461 -- src/Polyhedron.templates.hh | 579 -- src/Polyhedron_chdims.cc | 4 +- ...templates.hh => Polyhedron_chdims_templates.hh} | 0 src/Polyhedron_conversion.templates.hh | 921 --- src/Polyhedron_conversion_templates.hh | 921 +++ src/Polyhedron_defs.hh | 2843 +++++++ src/Polyhedron_inlines.hh | 461 ++ src/Polyhedron_minimize.templates.hh | 437 -- src/Polyhedron_minimize_templates.hh | 437 ++ src/Polyhedron_nonpublic.cc | 8 +- src/Polyhedron_public.cc | 12 +- src/Polyhedron_simplify.templates.hh | 340 - src/Polyhedron_simplify_templates.hh | 340 + src/Polyhedron_templates.hh | 579 ++ src/{Polyhedron.types.hh => Polyhedron_types.hh} | 0 src/Polyhedron_widenings.cc | 8 +- src/Powerset.defs.hh | 450 -- src/Powerset.templates.hh | 312 - src/Powerset_defs.hh | 450 ++ src/{Powerset.inlines.hh => Powerset_inlines.hh} | 0 src/Powerset_templates.hh | 312 + src/{Powerset.types.hh => Powerset_types.hh} | 0 src/Ptr_Iterator.defs.hh | 172 - src/Ptr_Iterator_defs.hh | 172 + ...Iterator.inlines.hh => Ptr_Iterator_inlines.hh} | 0 ...Ptr_Iterator.types.hh => Ptr_Iterator_types.hh} | 0 src/Rational_Box.hh | 2 +- src/Rational_Interval.hh | 2 +- src/Result.defs.hh | 195 - src/Result_defs.hh | 195 + src/{Result.inlines.hh => Result_inlines.hh} | 0 src/Rounding_Dir.defs.hh | 124 - src/Rounding_Dir_defs.hh | 124 + ...ding_Dir.inlines.hh => Rounding_Dir_inlines.hh} | 0 src/Scalar_Products.cc | 6 +- src/Scalar_Products.defs.hh | 226 - src/Scalar_Products.inlines.hh | 163 - src/Scalar_Products_defs.hh | 226 + src/Scalar_Products_inlines.hh | 163 + ..._Products.types.hh => Scalar_Products_types.hh} | 0 src/Sparse_Row.cc | 4 +- src/Sparse_Row.defs.hh | 930 --- src/Sparse_Row_defs.hh | 930 +++ ...Sparse_Row.inlines.hh => Sparse_Row_inlines.hh} | 0 ...se_Row.templates.hh => Sparse_Row_templates.hh} | 0 src/{Sparse_Row.types.hh => Sparse_Row_types.hh} | 0 src/Sum_Floating_Point_Expression.defs.hh | 213 - src/Sum_Floating_Point_Expression.inlines.hh | 70 - src/Sum_Floating_Point_Expression_defs.hh | 213 + src/Sum_Floating_Point_Expression_inlines.hh | 70 + ... => Sum_Floating_Point_Expression_templates.hh} | 0 ...s.hh => Sum_Floating_Point_Expression_types.hh} | 0 src/Swapping_Vector.defs.hh | 98 - src/Swapping_Vector_defs.hh | 98 + ...ector.inlines.hh => Swapping_Vector_inlines.hh} | 0 ...ng_Vector.types.hh => Swapping_Vector_types.hh} | 0 src/Temp.defs.hh | 143 - src/Temp_defs.hh | 143 + src/{Temp.inlines.hh => Temp_inlines.hh} | 0 src/{Temp.templates.hh => Temp_templates.hh} | 0 src/Threshold_Watcher.cc | 2 +- src/Threshold_Watcher.defs.hh | 96 - src/Threshold_Watcher.inlines.hh | 66 - src/Threshold_Watcher_defs.hh | 96 + src/Threshold_Watcher_inlines.hh | 66 + ...templates.hh => Threshold_Watcher_templates.hh} | 0 ...Watcher.types.hh => Threshold_Watcher_types.hh} | 0 src/Time.cc | 2 +- src/Time.defs.hh | 126 - src/Time_defs.hh | 126 + src/{Time.inlines.hh => Time_inlines.hh} | 0 src/{Time.types.hh => Time_types.hh} | 0 src/{Topology.types.hh => Topology_types.hh} | 0 src/Variable.cc | 2 +- src/Variable.defs.hh | 157 - src/Variable.inlines.hh | 100 - src/Variable_Floating_Point_Expression.defs.hh | 187 - src/Variable_Floating_Point_Expression.inlines.hh | 94 - src/Variable_Floating_Point_Expression_defs.hh | 187 + src/Variable_Floating_Point_Expression_inlines.hh | 94 + ...=> Variable_Floating_Point_Expression_types.hh} | 0 src/Variable_defs.hh | 157 + src/Variable_inlines.hh | 100 + src/{Variable.types.hh => Variable_types.hh} | 0 src/Variables_Set.cc | 2 +- src/Variables_Set.defs.hh | 107 - src/Variables_Set.inlines.hh | 75 - src/Variables_Set_defs.hh | 107 + src/Variables_Set_inlines.hh | 75 + ...riables_Set.types.hh => Variables_Set_types.hh} | 0 src/WRD_coefficient_types.defs.hh | 153 - src/WRD_coefficient_types_defs.hh | 153 + ...inlines.hh => WRD_coefficient_types_inlines.hh} | 0 src/Watchdog.cc | 2 +- src/Watchdog.defs.hh | 148 - src/Watchdog.inlines.hh | 101 - src/Watchdog_defs.hh | 148 + src/Watchdog_inlines.hh | 101 + src/{Watchdog.types.hh => Watchdog_types.hh} | 0 src/Weight_Profiler.cc | 4 +- ...ht_Profiler.defs.hh => Weight_Profiler_defs.hh} | 0 src/Widening_Function.defs.hh | 127 - src/Widening_Function_defs.hh | 127 + ...ion.inlines.hh => Widening_Function_inlines.hh} | 0 ...unction.types.hh => Widening_Function_types.hh} | 0 src/algorithms.hh | 4 +- src/c_streambuf.cc | 4 +- src/c_streambuf.defs.hh | 127 - src/c_streambuf_defs.hh | 127 + ...streambuf.inlines.hh => c_streambuf_inlines.hh} | 0 src/{c_streambuf.types.hh => c_streambuf_types.hh} | 0 src/checked.cc | 2 +- src/checked.defs.hh | 716 -- src/checked.inlines.hh | 658 -- src/checked_defs.hh | 716 ++ src/checked_ext.defs.hh | 107 - src/checked_ext_defs.hh | 107 + ...ecked_ext.inlines.hh => checked_ext_inlines.hh} | 0 ...d_float.inlines.hh => checked_float_inlines.hh} | 0 src/checked_inlines.hh | 658 ++ ...ecked_int.inlines.hh => checked_int_inlines.hh} | 0 ...ecked_mpq.inlines.hh => checked_mpq_inlines.hh} | 0 ...ecked_mpz.inlines.hh => checked_mpz_inlines.hh} | 0 src/checked_numeric_limits.hh | 4 +- src/distances.defs.hh | 54 - src/distances.inlines.hh | 113 - src/distances_defs.hh | 54 + src/distances_inlines.hh | 113 + src/{distances.types.hh => distances_types.hh} | 0 src/{fpu-c99.inlines.hh => fpu-c99_inlines.hh} | 0 src/fpu-ia32.cc | 2 +- src/{fpu-ia32.inlines.hh => fpu-ia32_inlines.hh} | 0 src/{fpu-none.inlines.hh => fpu-none_inlines.hh} | 0 src/{fpu-sparc.inlines.hh => fpu-sparc_inlines.hh} | 0 src/fpu.defs.hh | 104 - src/fpu_defs.hh | 104 + src/{fpu.types.hh => fpu_types.hh} | 0 src/globals.cc | 6 +- src/globals.defs.hh | 564 -- src/globals.types.hh | 214 - src/globals_defs.hh | 564 ++ src/{globals.inlines.hh => globals_inlines.hh} | 0 src/globals_types.hh | 214 + src/initializer.hh | 2 +- src/intervals.defs.hh | 473 -- src/intervals_defs.hh | 473 ++ src/iterator_to_const.defs.hh | 221 - src/iterator_to_const_defs.hh | 221 + ...nst.inlines.hh => iterator_to_const_inlines.hh} | 0 ...o_const.types.hh => iterator_to_const_types.hh} | 0 src/linearize.hh | 8 +- src/math_utilities.defs.hh | 110 - src/math_utilities.inlines.hh | 120 - src/math_utilities_defs.hh | 110 + src/math_utilities_inlines.hh | 120 + src/max_space_dimension.hh | 12 +- src/mp_std_bits.cc | 2 +- src/mp_std_bits.defs.hh | 169 - src/mp_std_bits_defs.hh | 169 + ..._std_bits.inlines.hh => mp_std_bits_inlines.hh} | 0 src/stdiobuf.cc | 4 +- src/stdiobuf.defs.hh | 111 - src/stdiobuf_defs.hh | 111 + src/{stdiobuf.inlines.hh => stdiobuf_inlines.hh} | 0 src/{stdiobuf.types.hh => stdiobuf_types.hh} | 0 ...ort.templates.hh => swapping_sort_templates.hh} | 0 src/termination.cc | 4 +- src/termination.defs.hh | 502 -- src/termination.templates.hh | 552 -- src/termination_defs.hh | 502 ++ src/termination_templates.hh | 552 ++ src/{termination.types.hh => termination_types.hh} | 0 src/wrap_assign.hh | 8 +- src/wrap_string.hh | 2 +- tests/Concrete_Expression/C_Expr.cc | 2 +- tests/Concrete_Expression/C_Expr.defs.hh | 257 - tests/Concrete_Expression/C_Expr_defs.hh | 257 + .../{C_Expr.inlines.hh => C_Expr_inlines.hh} | 0 .../{C_Expr.types.hh => C_Expr_types.hh} | 0 tests/Concrete_Expression/Makefile.am | 2 +- tests/Concrete_Expression/digitalfilters1.cc | 2 +- tests/Concrete_Expression/linearize.cc | 2 +- tests/Grid/generator1.cc | 2 +- tests/Grid/generators1.cc | 2 +- tests/Makefile.am | 6 +- tests/Random_Number_Generator.defs.hh | 47 - tests/Random_Number_Generator_defs.hh | 47 + ...lines.hh => Random_Number_Generator_inlines.hh} | 0 ...r.types.hh => Random_Number_Generator_types.hh} | 0 tests/ppl_test.hh | 2 +- 638 files changed, 99209 insertions(+), 99209 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=15a09460…

1 0

[GIT] ppl/ppl(ppl-1_0-branch): New commits
by Roberto Bagnara 20 Aug '12

20 Aug '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bb3f444e6db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 22:49:03 2012 +0200 Fixed the code layout for several if-then-elses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1189452cf1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 12:42:09 2012 +0200 Fixed comments that were meant to be Doxygen comments. Detected by ECLAIR service cmntdecl_srceline. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fb6fa5fac99… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 11:44:26 2012 +0200 Comment fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3046a742333a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 18 14:12:59 2012 +0200 Advertise the portability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b00077df0a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 18 13:54:23 2012 +0200 Avoid a non-portable GNU Make idiom (using `$<' in a non-suffix rule context). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f3bf3f508e8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 18 11:14:19 2012 +0200 Modified the Expression_Adapter infrastructure. Prefer the creation of transient, lightweight adapters to the usage of wild reference casts. While at it, improved documentation and systematically renamed `Expression' inner typedefs as `expr_type'.

1 0

[GIT] ppl/ppl(master): Fixed the code layout for several if-then-elses.
by Roberto Bagnara 19 Aug '12

19 Aug '12

Module: ppl/ppl Branch: master Commit: fd2a3147b0d0346d78f1e0efbbbd77afe567e225 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd2a3147b0d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 22:49:03 2012 +0200 Fixed the code layout for several if-then-elses. --- src/CO_Tree.cc | 60 ++++++++---- src/CO_Tree.inlines.hh | 3 +- src/CO_Tree.templates.hh | 6 +- src/Constraint.cc | 6 +- src/Constraint.inlines.hh | 9 +- src/Dense_Row.cc | 27 ++++-- src/Expression_Hide_Last.inlines.hh | 3 +- src/Generator.cc | 3 +- src/Generator.inlines.hh | 9 +- src/Generator_System.cc | 6 +- src/Grid_Generator.inlines.hh | 3 +- src/Grid_conversion.cc | 9 +- src/Linear_Expression.inlines.hh | 12 ++- src/Linear_Expression_Impl.cc | 3 +- src/Linear_Expression_Impl.templates.hh | 156 ++++++++++++++++++++---------- src/Linear_System.inlines.hh | 18 +++- src/Linear_System.templates.hh | 12 ++- src/MIP_Problem.cc | 6 +- src/Matrix.templates.hh | 3 +- src/PIP_Problem.cc | 6 +- src/Polyhedron_conversion.templates.hh | 6 +- src/Polyhedron_minimize.templates.hh | 6 +- src/Polyhedron_public.cc | 3 +- src/Sparse_Row.cc | 84 +++++++++++------ src/Sparse_Row.templates.hh | 18 +++- 25 files changed, 318 insertions(+), 159 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fd2a3147…

1 0

[GIT] ppl/ppl(master): Fixed comments that were meant to be Doxygen comments.
by Roberto Bagnara 19 Aug '12

19 Aug '12

Module: ppl/ppl Branch: master Commit: 765172cce2929a7dd2527b81254a2806384354c2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=765172cce292… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 12:42:09 2012 +0200 Fixed comments that were meant to be Doxygen comments. Detected by ECLAIR service cmntdecl_srceline. --- src/BD_Shape.defs.hh | 57 ++++++++++++----------- src/Opposite_Floating_Point_Expression.defs.hh | 28 ++++++------ src/checked.cc | 8 ++-- 3 files changed, 48 insertions(+), 45 deletions(-) diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh index b6b17ef..7f8c4d9 100644 --- a/src/BD_Shape.defs.hh +++ b/src/BD_Shape.defs.hh @@ -2214,64 +2214,67 @@ private: Coefficient_traits::const_reference sc_denom, const N& ub_v); - /* \brief + /*! \brief Auxiliary function for \ref affine_form_relation "affine form image" that handle the general case: \f$l \equal c\f$ */ template <typename Interval_Info> void inhomogeneous_affine_form_image(const dimension_type& var_id, - const Interval<T, Interval_Info>& b); + const Interval<T, Interval_Info>& b); - /* \brief - Auxiliary function for \ref affine_form_relation "affine form image" that - handle the general case: \f$l \equal ax + c\f$ + /*! \brief + Auxiliary function for \ref affine_form_relation "affine form + image" that handle the general case: \f$l \equal ax + c\f$ */ template <typename Interval_Info> - void one_variable_affine_form_image(const dimension_type& var_id, - const Interval<T, Interval_Info>& b, - const Interval<T, Interval_Info>& w_coeff, - const dimension_type& w_id, - const dimension_type& space_dim); + void one_variable_affine_form_image + (const dimension_type& var_id, + const Interval<T, Interval_Info>& b, + const Interval<T, Interval_Info>& w_coeff, + const dimension_type& w_id, + const dimension_type& space_dim); - /* \brief + /*! \brief Auxiliary function for \ref affine_form_relation "affine form image" that handle the general case: \f$l \equal ax + by + c\f$ */ template <typename Interval_Info> - void two_variables_affine_form_image(const dimension_type& var_id, - const Linear_Form<Interval<T,Interval_Info> >& lf, - const dimension_type& space_dim); + void two_variables_affine_form_image + (const dimension_type& var_id, + const Linear_Form<Interval<T,Interval_Info> >& lf, + const dimension_type& space_dim); - /* \brief + /*! \brief Auxiliary function for refine with linear form that handle the general case: \f$l \equal ax + c\f$ */ template <typename Interval_Info> void left_inhomogeneous_refine(const dimension_type& right_t, const dimension_type& right_w_id, - const Linear_Form<Interval<T, Interval_Info> >& left, - const Linear_Form<Interval<T, Interval_Info> >& right); + const Linear_Form<Interval<T, Interval_Info> >& left, + const Linear_Form<Interval<T, Interval_Info> >& right); - /* \brief + /*! \brief Auxiliary function for refine with linear form that handle the general case: \f$ax +b \equal cy + d\f$ */ template <typename Interval_Info> - void left_one_var_refine(const dimension_type& left_w_id, - const dimension_type& right_t, - const dimension_type& right_w_id, - const Linear_Form<Interval<T, Interval_Info> >& left, - const Linear_Form<Interval<T, Interval_Info> >& right); + void left_one_var_refine + (const dimension_type& left_w_id, + const dimension_type& right_t, + const dimension_type& right_w_id, + const Linear_Form<Interval<T, Interval_Info> >& left, + const Linear_Form<Interval<T, Interval_Info> >& right); -/* \brief + /*! \brief Auxiliary function for refine with linear form that handle the general case. */ template <typename Interval_Info> void general_refine(const dimension_type& left_w_id, - const dimension_type& right_w_id, - const Linear_Form<Interval<T, Interval_Info> >& left, - const Linear_Form<Interval<T, Interval_Info> >& right); + const dimension_type& right_w_id, + const Linear_Form<Interval<T, Interval_Info> >& left, + const Linear_Form<Interval<T, Interval_Info> >& right); template <typename Interval_Info> void linear_form_upper_bound(const Linear_Form<Interval<T, Interval_Info> >& diff --git a/src/Opposite_Floating_Point_Expression.defs.hh b/src/Opposite_Floating_Point_Expression.defs.hh index 4904364..972477e 100644 --- a/src/Opposite_Floating_Point_Expression.defs.hh +++ b/src/Opposite_Floating_Point_Expression.defs.hh @@ -83,40 +83,40 @@ class Opposite_Floating_Point_Expression public: - /* \brief - Alias for the Linear_Form<FP_Interval_Type> from - Floating_Point_Expression + /*! \brief + Alias for the Linear_Form<FP_Interval_Type> from + Floating_Point_Expression */ typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Linear_Form FP_Linear_Form; - /* \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from - Floating_Point_Expression. + /*! \brief + Alias for the std::map<dimension_type, FP_Interval_Type> from + Floating_Point_Expression. */ typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Interval_Abstract_Store FP_Interval_Abstract_Store; - /* \brief - Alias for the std::map<dimension_type, FP_Linear_Form> from - Floating_Point_Expression. + /*! \brief + Alias for the std::map<dimension_type, FP_Linear_Form> from + Floating_Point_Expression. */ typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Linear_Form_Abstract_Store FP_Linear_Form_Abstract_Store; - /* \brief - Alias for the FP_Interval_Type::boundary_type from - Floating_Point_Expression. + /*! \brief + Alias for the FP_Interval_Type::boundary_type from + Floating_Point_Expression. */ typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type boundary_type; - /* \brief - Alias for the FP_Interval_Type::info_type from Floating_Point_Expression. + /*! \brief + Alias for the FP_Interval_Type::info_type from Floating_Point_Expression. */ typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type; diff --git a/src/checked.cc b/src/checked.cc index bd6c118..80edd66 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -339,10 +339,10 @@ parse_number_part(std::istream& is, number_struct& numer) { return V_CVT_STR_UNK; } -/* \brief - Reads a number from \p is writing it into \p numer, the numerator, - and \p denom, the denominator; the appropriate Result value is - returned. +/*! \brief + Reads a number from \p is writing it into \p numer, the numerator, + and \p denom, the denominator; the appropriate Result value is + returned. */ Result parse_number(std::istream& is, number_struct& numer, number_struct& denom) {

1 0

[GIT] ppl/ppl(master): Comment fixed.
by Roberto Bagnara 19 Aug '12

19 Aug '12

Module: ppl/ppl Branch: master Commit: 15181d45d90d76c9f11b6919e009154c355808ca URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15181d45d90d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 19 11:44:26 2012 +0200 Comment fixed. --- src/PIP_Tree.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh index b6f27a7..ba53b33 100644 --- a/src/PIP_Tree.defs.hh +++ b/src/PIP_Tree.defs.hh @@ -63,7 +63,7 @@ protected: /*! \brief Returns \c true if and only if all the nodes in the subtree - rooted in \p *this is owned by \p *pip. + rooted in \p *this are owned by \p *owner. */ virtual bool check_ownership(const PIP_Problem* owner) const = 0;

1 0

Big Endian Regression Test Failures
by Edd Barrett 18 Aug '12

18 Aug '12

Hi, I have (slowly) been packaging PPL for OpenBSD. I mostly have amd64/i386 build+regressions sorted with c,c++,java,ocaml interfaces enabled (swi-prolog on the todo list). We tend to test things on big endian machines, as they find all kinds of bugs. Anything that uses OCaml is especially tested on sparc64, as there is no native code backend for this architecture. Attached is a gzipped regression test log on a sparc64 machine with PPL_NOISY_TESTS=yes set. A few tests failed. This build was for PPL-1.0 with the C,C++ and Ocaml interfaces enabled (Java could not be included as openjdk only runs on i386 and amd64 on OpenBSD). Meanwhile, I will checkout the latest development code and see if anything changes. Cheers. -- Edd Barrett Programming Languages and Systems Research University of Kent http://www.cs.kent.ac.uk/people/rpg/eb771/

2 4