- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Merge branch 'master' into floating_point
by Roberto Bagnara 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: d97f72b3521e8db5a5dd433492590b539e130a02 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97f72b3521e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 17:43:21 2010 +0200 Merge branch 'master' into floating_point ---

1 0

[GIT] ppl/ppl(master): Fixed Documentation.
by Fabio Biselli 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: b22579cc1c086702eb713365ea49e5c8783f3ace URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b22579cc1c08… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Fri Apr 9 10:25:46 2010 +0200 Fixed Documentation. --- src/Cast_Floating_Point_Expression.defs.hh | 2 +- src/Constant_Floating_Point_Expression.defs.hh | 2 +- src/Difference_Floating_Point_Expression.defs.hh | 2 +- src/Division_Floating_Point_Expression.defs.hh | 2 +- src/Floating_Point_Expression.defs.hh | 8 ++++---- ...ultiplication_Floating_Point_Expression.defs.hh | 2 +- src/Sum_Floating_Point_Expression.defs.hh | 2 +- src/Variable_Floating_Point_Expression.defs.hh | 2 +- 8 files changed, 11 insertions(+), 11 deletions(-) diff --git a/src/Cast_Floating_Point_Expression.defs.hh b/src/Cast_Floating_Point_Expression.defs.hh index 5dacccc..c02f3a7 100644 --- a/src/Cast_Floating_Point_Expression.defs.hh +++ b/src/Cast_Floating_Point_Expression.defs.hh @@ -105,7 +105,7 @@ public: FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh index 5036e75..190f86d 100644 --- a/src/Constant_Floating_Point_Expression.defs.hh +++ b/src/Constant_Floating_Point_Expression.defs.hh @@ -77,7 +77,7 @@ public: FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index 1d1ab02..5fb74c6 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -118,7 +118,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index ea4ebae..56f64f6 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -134,7 +134,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index 5a25e9f..3f608d8 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -130,8 +130,8 @@ public: Verifies if a given linear form overflows. \param lf The linear form to verify. \return - Returns <CODE>true</CODE> if all coefficients in \p lf are bounded, - <CODE>false</CODE> otherwise. + Returns <CODE>false</CODE> if all coefficients in \p lf are bounded, + <CODE>true</CODE> otherwise. */ static bool overflows(const FP_Linear_Form& lf); @@ -146,7 +146,7 @@ public: This method makes <CODE>result</CODE> become a linear form obtained by evaluating the function \f$\varepsilon_{\mathbf{f}}(l)\f$ - on the linear form \p lf. This function is defined as: + on the linear form \p lf. This function is defined such as: \f[ \varepsilon_{\mathbf{f}}\left([a;b]+\sum_{v \in \cV}[a_{v};b_{v}]v\right) @@ -192,7 +192,7 @@ private: Static helper method that is used to compute the value of the public static field <CODE>absolute_error</CODE>. - \return the interval \f$[-\omega; \omega]\f$ corresponding to the value + \return The interval \f$[-\omega; \omega]\f$ corresponding to the value of <CODE>absolute_error</CODE> */ static FP_Interval_Type compute_absolute_error(); diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh index e2d994a..9630bed 100644 --- a/src/Multiplication_Floating_Point_Expression.defs.hh +++ b/src/Multiplication_Floating_Point_Expression.defs.hh @@ -148,7 +148,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Sum_Floating_Point_Expression.defs.hh b/src/Sum_Floating_Point_Expression.defs.hh index f9bb6a7..4cd1009 100644 --- a/src/Sum_Floating_Point_Expression.defs.hh +++ b/src/Sum_Floating_Point_Expression.defs.hh @@ -111,7 +111,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Variable_Floating_Point_Expression.defs.hh b/src/Variable_Floating_Point_Expression.defs.hh index 8c7eac7..1d0025b 100644 --- a/src/Variable_Floating_Point_Expression.defs.hh +++ b/src/Variable_Floating_Point_Expression.defs.hh @@ -80,7 +80,7 @@ public: FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 15 Apr '10

15 Apr '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97f72b3521e… Merge: b22579cc1c086702eb713365ea49e5c8783f3ace e17e80c8940b435d646eaac97bba591ee744ef34 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 17:43:21 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e17e80c8940b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 17:39:08 2010 +0200 Both GNU Prolog 1.3.0 and GNU Prolog 1.3.1 have bugs that affect the PPL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcc4ff72caf5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 15 15:06:28 2010 +0200 Minor improvements to documentation. Deal with the special cse of an empty input pointset for methods all_affine_*. Adapted and improved test10 in termination2.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baa72379c66f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 15 13:58:39 2010 +0200 Overflow is expected for PIP_Problem tests with 8 bits coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb0d779dadba… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 12:47:16 2010 +0200 Increased GLOBALSZ for the execution of the automatically generated test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f00290188682… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 15 11:33:29 2010 +0200 Add ppl_Coefficient_bits to Prolog and OCaml interfaces. Renamed corresponding static method in Java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b51b3600e55e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 14 07:54:49 2010 +0100 Allow for the Shape_Preserving_Product to be generated in the interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=037c5b2d0a72… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 14 07:53:21 2010 +0100 Fixed a bug in the all_affine_ranking_functions*_Grid* tests in Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95907486afa7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 13 18:10:12 2010 +0200 Some tests now succeed even on initially empty polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0d4c00944c4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 13 18:09:45 2010 +0200 Corrected typo in shift_unprimed_variables(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3804165053e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Apr 13 16:26:15 2010 +0100 Added further tests for the termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4d1ad3031cd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 13 10:21:28 2010 +0200 Avoid assertion crash on universe polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=543d7d068dc4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Apr 13 07:57:34 2010 +0100 Fixed some bugs in the tests for drop_some_non_integer_points() and added a test for termination_test_*. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9fd6d302f98… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Apr 12 16:04:04 2010 +0100 Added tests to the OCaml interface for new functions wrap_assign(), drop_some_non_integer_points() and termination_test_*. Bug in termination_test_*. fixed and test showing these added to termination1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96df33856cdb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Apr 11 16:17:44 2010 +0200 Added static method Coefficient.ppl_bits() to Java interface. test04 in PIP_Problem_test1.java overflows when using 8-bit checked integers. Fixed method PIP_TREE_Node.toString(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=694281b3a925… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 11 09:49:50 2010 +0200 test01() and test03() always succeed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bc3b69e7f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 11 09:25:47 2010 +0200 Added an entry for the new functionality concerning the synthesis of linear (quasi-) ranking functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a314d3c059… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 11 09:06:13 2010 +0200 Worked around a Doxygen bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2658694de468… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 11 08:59:57 2010 +0200 Cite BMPZ10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac22982884b2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 11 08:45:38 2010 +0200 Bibliography updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b42b6e35ad51… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Apr 10 20:39:11 2010 +0100 Added drop_some_non_integer_points(const Variables_Set& vars, Complexity_Class complexity = ANY_COMPLEXITY) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb5a410c4e26… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Apr 10 20:23:19 2010 +0100 Added drop_some_non_integer_points() to the product domain URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ba66813973a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 18:23:12 2010 +0200 Trailing whitespace removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8126fc4ec70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 18:23:01 2010 +0200 Variable hiding avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b18b92fc50dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 12:16:46 2010 +0200 Added a point about the new drop_some_non_integer_points() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31f6a807bebb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 11:33:41 2010 +0200 Tentative release date is May 8, 2010. Reorganized and improved some news items. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e77b2da3be69… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 11:25:01 2010 +0200 Man pages updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d23fe5df7c1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 8 22:42:20 2010 +0200 Renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ca985398d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 8 22:41:02 2010 +0200 Pushed one item to PPL 0.12. We will not have 0.10.3 release. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3d2caf268af… Merge: be262c561929432c22960e53026853d520396d7b be24cc575d751884fdf867291842645b3c8096ae Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 8 22:39:46 2010 +0200 Merge remote branch 'origin/master' Conflicts: TODO URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be262c561929… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 8 22:34:23 2010 +0200 Perl is no longer a strict requirement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be24cc575d75… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 16:20:40 2010 +0100 Added ppl_PIP_Problem_has_big_parameter_dimension that returns true if and only if the pip problem has a big parameter set. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01224d157033… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 16:20:17 2010 +0100 Added documentation for Prolog PPL_Problem URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ffb054be82d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 8 16:47:29 2010 +0200 Dealt with one of the items. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=039e6ba85aa4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 8 15:57:50 2010 +0200 Better documentation for the two Row_Impl::Impl::operator delete(...). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a789a7575fa… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 13:55:37 2010 +0100 Added documentation in the OCaml interface for the PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2698ee02273… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 13:54:23 2010 +0100 ppl_PIP_Problem_get_big_parameter_dimension() now throws an exception if the big parameter has not been set. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c27fa3bd5ea2… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 13:52:26 2010 +0100 Removed a completed item: - Handle std::logic_error (now thrown in case watchdogs are not available) in all the interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=924d4fbdd919… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 12:29:57 2010 +0100 Simplify function names in PIP_Tree_Node, matching corresponding predicate names in Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97c151b721fb… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 12:06:01 2010 +0100 Simplified Prolog interface for PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46aa53b6bc98… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 11:44:06 2010 +0100 Removed artificial_parameter_sequence type. Added to the PIP_Problem tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99f17d8aa4bd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 8 11:42:06 2010 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f92bdda48d5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 7 17:37:14 2010 +0200 Restructured the OCaml interface to PIP_Tree_Node C++ classes. Also corrected several bugs related to object finalization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f39f1ccdbe87… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 6 11:24:24 2010 +0200 Added a couple of entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8354fb40ac3b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Apr 6 09:52:31 2010 +0100 ...get_big_parameter_dimension/2 changed to ...has_big_parameter_dimension/2 and now this fails if the "big dimension" == not_a_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c4bc05adbdf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 6 10:18:29 2010 +0200 Solaris users should install GNU sed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=087b4f0fa21c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Apr 6 09:00:38 2010 +0100 Check if the Prolog system supports unbounded integers before testing the big_parameter for PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85ea941ab9bc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 6 09:58:17 2010 +0200 Added calls to WEIGHT macros. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cac4da6e7ece… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 5 20:46:24 2010 +0200 Corrected PIP_Problem test04 to properly call predicate ppl_*_artificials(). Applied a few renamings to the implementation of the predicate. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a72963f00f6c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 5 18:44:27 2010 +0200 Fixed Java interface for PIP_Decision_Node::child_node(branch). New interface has a (unboxed) boolean parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff51314489c0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 5 18:26:47 2010 +0200 Added known results for a couple of tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=930f0a20a7bf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 5 18:14:15 2010 +0200 Fixed bugs in Octagonal_Shape:drop_some_on_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b995ff6fcf3… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Apr 5 16:56:29 2010 +0200 Uniformed code and get rid of a warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0e043713819… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 5 16:28:14 2010 +0200 Avoid useless boxing of builtins when interfacing the wrap_assign(). Got rid of buggy j_boolean_to_bool() helper. Helper bool_to_j_boolean() renamed to bool_to_j_boolean_class() for clarity, as it builds a boxed Java Boolean value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f76ad9a2a44… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 5 15:54:51 2010 +0200 Corrected a couple of typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2858adf2a80c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Apr 5 12:29:22 2010 +0100 Completed a draft implementation of PIP_Problem OCaml interface. A few tests added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d9e83d01ee9… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Apr 2 21:01:39 2010 +0100 A start on the PIP_Problem interface for OCaml. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=548cc4801140… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Apr 2 13:00:39 2010 +0100 Completed a draft of the PIP_Problem interface for Prolog. Added tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daa93a691f89… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Apr 2 13:00:27 2010 +0100 Type fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8098a8c8f00… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Apr 2 12:58:56 2010 +0100 Restored previously removed method PIP_Problem_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b2dac6f55ee… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 1 17:25:42 2010 +0100 Tests added. Some tests marked as expected to fail indicating bug(s) in the code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c068dabdd90c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 1 14:48:14 2010 +0100 Varios bug fixes and small improvements. A clone of test02 in pipproblem1.cc added to the Java tests. FIXME added to jni/ppl_java_common.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=000631531193… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 1 09:47:46 2010 +0200 Added "quasi ranking functions" generation procedures to OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=916b06c68770… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 31 22:17:48 2010 +0200 Drafted drop_some_non_integer_points() for Interval and Box. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07abce21d65f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 31 21:23:41 2010 +0200 Drafted drop_some_non_integer_points() for weakly relational shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9690f45d9400… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 31 19:24:41 2010 +0200 Fixed problems in the Artificial_Parameter(_Sequence) interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f107b625cb25… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 31 15:12:20 2010 +0100 Several improvements and bug fixes. Removed unwanted iterator class for Artificial_Parameter_Sequence. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29ad27fd3fe8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 31 10:05:58 2010 +0100 Several improvements and bug fixes. More tests for the Java inmterface added. Commented lines in test indicate where code needs fixing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f99e22d0ea9e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 31 07:30:09 2010 +0100 Updated with news of the new reduction operator for partially reduced products and the new frequency operator. Removed a TODO item concerning the interfaces and termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2502ed9608… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 31 09:22:16 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fadce8abb10… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 31 01:27:08 2010 +0200 Completed removal of Constraint_System_Iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43ec65852330… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 31 01:21:14 2010 +0200 Fixed assign_all_inequalities_approximation for shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ad56622a3e2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 31 01:20:12 2010 +0200 Interfaced quasi_ranking procedures to C. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=332b5c15d913… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 30 20:19:10 2010 +0100 Fixed problem with PIP_Problem constructor from a sequence of constraints. Added code for testing this. As there is no need for the class Constraint_System_Iterator, Constraint_System_Iterator.java is removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f02e4d79ecd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 30 17:41:39 2010 +0100 Some tests for some of the new PIP_Problem methods added. Various bugs fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08a88693cc73… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 30 15:12:11 2010 +0100 Completed draft Java interface for PIP_Problem (untested). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d083ca77b75e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 30 11:30:48 2010 +0100 Added Java interface tests for termination_test_MS, termination_test_PR, termination_test_MS_2 and termination_test_PR_2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09db70209198… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 30 11:53:00 2010 +0200 Enable Java interface for termination procedures (and corrected bugs). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=424dcc242148… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 30 09:12:22 2010 +0100 Whitespace bug fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dae0d2224e1e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 30 09:06:27 2010 +0100 Almost complete (but untested) Java interface to the PIP_Problem URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f296c7dd6be… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 29 20:20:25 2010 +0200 Corrected several errors in Java interface for termination test procedures. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fccd1989cdc0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 29 19:21:57 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7c33880fca5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 29 10:08:20 2010 +0200 Added to Prolog interface the predicates for quasi-ranking functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5707e3d66eca… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 29 09:17:19 2010 +0200 Added procedures computing all the affine quasi-ranking functions. Corrected a few glitches in the documentation and in exception messages. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d05d653edab6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 27 15:55:01 2010 +0100 Factored away common code in the MS-based termination procedures. Improved PR-based termination procedures relying on MIP_Problem by mapping optimizations to satisfiability testing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f9556efda1f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 27 15:19:14 2010 +0100 Avoid a few annoying warnings for unused parameters. Indentation fixed. Avoid using "return;" at the end of function body. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ec4a13defe7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 27 16:07:36 2010 +0400 Comma changed into full-stop. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd3833a17b3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 27 11:04:12 2010 +0100 Other minor improvements in assign_all_inequalities_approximation(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bda0d459fde… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 27 09:13:40 2010 +0100 Apply more memory allocation improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4df3615f9dbf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 26 16:54:00 2010 +0100 A few optimizations applied to fill_constraint_systems_MS(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=366effb5cb03… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 26 07:55:33 2010 +0100 Rename Termination.cc in ppl_java_Termination.cc in Java interface. Add the generated file to CLEANFILES. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8988758c44cc… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 25 13:32:24 2010 +0000 Fixed bugs leading to warning messages. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7cb392b7d54… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 25 14:10:31 2010 +0100 Avoid nonpositivity constraints in the enhanced PR methods by changing sign. This is going to speed up the MIP_Problem based methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb01a6948633… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 25 12:58:42 2010 +0100 Use original PR method if a single pointset is provided. Prefer the enhanced method if two pointsets (before/after) are provided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7fb3d1d0cee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 25 12:37:25 2010 +0100 Avoid the creation of many temporary linear expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f07d12fc19f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 25 12:00:22 2010 +0100 Added helper function sub_mul_assign() to Linear_Expression interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ba2b885fb00… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 25 11:51:29 2010 +0000 Added missing sources line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3584a0b19f6e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 25 08:00:38 2010 +0000 Expected test result corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87adbf3f20e3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 25 07:14:40 2010 +0000 Bug in Grid::wrap_assign() fixed. Test that showed the bug added to wrap1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b28f49a5038a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 25 09:41:59 2010 +0400 Fixed the all_affine_ranking_functions_PR*() functions to correctly deal with the case where the system is unsatisfiable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b54b2fabc3be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 25 07:22:25 2010 +0400 Implemented methods Pointset_Powerset::drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f34bcd0e0c73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 25 07:07:04 2010 +0400 Test Polyhedron::drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e0624a5897… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 25 07:06:19 2010 +0400 Fixed a couple of bugs in drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42af7d51365d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 24 22:07:29 2010 +0400 Fixed a bug in drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b319599bb674… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 24 21:39:53 2010 +0400 Enable *drop_some_non_integer_points* for Polyhedron; disable it for Pointset_Powerset. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1cb70805390… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 24 21:38:59 2010 +0400 Indentation corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce7681699c3e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 24 21:37:52 2010 +0400 Drafted the implementation of methods drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44bb8667fb1c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 14:31:43 2010 +0000 Enable the interfaces procedures for Grid::drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94e1497598ab… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 14:27:29 2010 +0000 Added a draft implementation for Grid::drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70025f8ab031… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 12:23:10 2010 +0000 Added the generated Termination files to make clean. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bbcc5ab4f06… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 12:12:44 2010 +0000 In frequency(), deal properly with the case when a box is empty. Added tests for this case. Re-enable frequency test in the Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edde5f279473… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 11:37:30 2010 +0000 Test disabled while problem is investigated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fb0618bd9c8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 11:00:21 2010 +0000 Added interface code for drop_some_non-integer_points() methods. Note that these are only enabled for BD_Shapes, Octagonal_Shapes and Boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd86d85a455e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 09:38:14 2010 +0000 Added C interface for frequency(). Moved generator to language independent file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94aa8cd38dad… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 09:24:00 2010 +0000 Added Java interface method for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b43b4bfd1d1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 09:12:41 2010 +0000 Added Ocaml interface function for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=490c97b15454… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 08:34:57 2010 +0000 Added interface predicate for frequency(). Generated test added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9e41b895fb0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 07:02:35 2010 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3fd35ffe6f3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 07:00:40 2010 +0000 Added stubs for 7 and 8 argument predicates. Missing predicate names added for pl_check test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7864c532efd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 06:47:20 2010 +0000 Added stubs for 7 and 8 argument predicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06e30598ff1d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 06:37:05 2010 +0000 Move the wrap_assign generator to the language independent file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3342c5e5b7b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 21:06:16 2010 +0000 Added documentation for prolog wrap_assign/8 predicate. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc103063d4fd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 20:01:55 2010 +0000 Added documentation for the OCaml wrap_assign function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb165556dd22… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 24 06:43:33 2010 +0400 The `|' character cannot be used to produce proper paired delimiters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=490971b3d76a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 23 19:22:14 2010 +0100 Added implementations for the original PR termination tests. These are activated when the preprocessor flag USE_ORIGINAL_PR_METHOD is set. The flag is now active. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa99fbdd05ff… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:51:20 2010 +0000 Improved documentation for frequency. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6821ba41f0d1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:38:48 2010 +0000 Type error fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e9040044889… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:31:12 2010 +0000 Added interface code for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc6dffb59169… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:30:05 2010 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=706a703a5546… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 16:49:55 2010 +0000 Wrong latex fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=418e4ff3dc14… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 20:01:58 2010 +0400 Added two new tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e47ae35e17b0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 14:24:19 2010 +0000 Several errors in the documentation for frequency fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b97d0055b7b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 17:06:04 2010 +0400 Fixed ill-positioned \f$. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c22a25b3405… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 11:08:20 2010 +0000 Added interface code for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f491feddb41d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 10:26:43 2010 +0100 Fixed the expected result for test04(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2926baa7a279… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 07:46:58 2010 +0000 Added and improved documentation for the frequency operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=587c1c124687… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 11:40:12 2010 +0400 Debugging output switched off. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aa59de6c626… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 08:06:44 2010 +0100 Fixed the handling of Termination.java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5e70fc559ef… Merge: ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3 cf4849fd4290f04510c33c0a0582dc537e808500 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 09:10:11 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef1ccd4fea5b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:54:43 2010 +0100 Cut exponential execution paths by calls to maybe_abandon(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55a4822b6ce0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:51:56 2010 +0100 All test functions should be declared in the anonymous namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b647339a3a3e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 12:01:52 2010 +0000 Revised exceptions that can be thrown. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=718813cb67fe… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 11:31:29 2010 +0000 Added missing C++ exceptions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47b3a6714f3f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 10:19:29 2010 +0000 Revised to allow for for expected logic_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a684bb36a7a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 21 19:25:53 2010 +0100 Let test13 compile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfc36c700221… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 17:13:14 2010 +0000 Code, unintensionally added by previous commit, removed.. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8da5d7cae86… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 16:47:17 2010 +0000 Finished adding code for the java interface to the termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8799e410088… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 14:54:42 2010 +0000 Added OCaml interface code for the 6 new termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf4849fd4290… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:54:43 2010 +0100 Cut exponential execution paths by calls to maybe_abandon(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fae6ec5525c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:51:56 2010 +0100 All test functions should be declared in the anonymous namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ac27881f203… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 12:01:52 2010 +0000 Revised exceptions that can be thrown. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef1ea9ed97e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 11:31:29 2010 +0000 Added missing C++ exceptions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec850342436… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 10:19:29 2010 +0000 Revised to allow for for expected logic_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=027210b2a709… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 21 19:25:53 2010 +0100 Let test13 compile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ede25520fb54… Merge: 3b435f819c6f8b23e3e8a4f8d0d82777a499a6c7 b43d29400ddc9823f5d08d4148adb804dcc8e321 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 21 07:33:09 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b43d29400ddc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 21 07:32:40 2010 +0400 Fixed the ordering of exception handlers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b435f819c6f… Merge: 636c546843046a5cfa6d27a1aa4a8171d7e537ab 0f40cc8d92d033ab5c78cdd2d4661f395603e8b5 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 21 06:56:23 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f40cc8d92d0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 22:00:34 2010 +0000 Added further needed code for handling logic_error exception. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ceb0b7e208b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 21:49:18 2010 +0000 Added missing code for logic_error exception. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636c54684304… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 21:44:54 2010 +0000 Simplified OCaml code for all_zero() and all_homogeneous_terms_are_zero() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=866c0a278c03… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 21:27:54 2010 +0000 Added OCaml interface for Linear_Expression::is_zero() and all_homogeneous_terms_are_zero(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cf98127510b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 15:08:15 2010 +0000 Added std::logic_error to the list of exceptions caught. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1fbc0fec962… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 16:51:42 2010 +0000 Added Java interface for Linear_Expression::is_zero() and Linear_Expression::all_homogeneous_terms_are_zero(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5dc0a6af950… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 14:27:17 2010 +0000 Added some of the Java interface code needed for the termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca9a894625c3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sat Mar 20 11:41:44 2010 +0100 Added a test generating a solution node with two context constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f74236c272… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:33:13 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c161e90b6cb5… Merge: a55e13a59c2877379aa61686371696e30dbabcd1 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:30:07 2010 +0400 Merge branch 'master' into termination Conflicts: interfaces/Prolog/ppl_prolog_common.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a77adddb8e… Merge: 367f75cf57a1576f54c0bf553c714e838d8c1773 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:27:47 2010 +0400 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a55e13a59c28… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 13:37:34 2010 +0000 Updated the first item for TODO and removed code for linear expression is_zero() and all_homogeneous_terms_are_zero() from the Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9130e24746… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 17:00:03 2010 +0000 All_affine_ranking_functions_PR* functions, for the C and Prolog interfaces now take an NNC polyhedron as the last argument and not a C one. Interface Linear_Expression::is_zero() and Linear_Expression::all_homogeneous_terms_are_zero() added to the C and Prolog interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dab9262cbdb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:22:59 2010 +0400 Completed the implementation of all_affine_ranking_functions_PR*(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a11789292414… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:22:12 2010 +0400 New Linear_Expression methods. Methods bool Linear_Expression::is_zero() const and bool Linear_Expression::all_homogeneous_terms_are_zero() const return true if and only if `*this' is 0, and if and only if all the homogeneous terms of `*this' are 0, respectively. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eda06954832… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:15:16 2010 +0400 Termination functions renamed in non-C++ interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609a4b2ead0b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 08:32:46 2010 +0000 Delete objects before exiting code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d99284d19450… Merge: 7ededcd1147e0df879bdfaf92e9fa49c5482653d 2df786e330fbe20f7c268860bd791cc627d4c22a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 11:32:34 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ededcd1147e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 11:31:30 2010 +0400 Completed test07(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=357f7bebfaf4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 11:13:02 2010 +0400 Fixed one_affine_ranking_function_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cffedb3d03e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 09:11:16 2010 +0400 Several corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=003fb0b78634… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 06:55:41 2010 +0400 Turn off debugging output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72e0e99576d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 06:52:45 2010 +0400 Fixed two bogus invocations of PPL_WEAK_REGISTER. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff0e20fbd91f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 21:11:12 2010 +0400 Fixed several typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dcffed9f68f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 20:56:40 2010 +0400 Fixed some invocations of PPL_CHECK. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6939662599fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 20:44:53 2010 +0400 Define PROLOG_TRACK_ALLOCATION to 1 to make a few bugs evident. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d0e260671a9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 20:36:04 2010 +0400 C and Prolog interfaces for the termination utility functions renamed and fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=344cb0aca8ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 19:59:54 2010 +0400 Kludge removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f0858faa246… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 19:58:24 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6ba16bc72f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 18:46:27 2010 +0400 Completed fill_constraint_system_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a8b57ac7306… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 15:56:17 2010 +0400 Kludge to allow the proof-of-concept implementation of the PR functions to compile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6c37d8cca26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 15:11:07 2010 +0400 Temporarily implemented termination_test_PR() in terms of termination_test_PR_2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fb912684fdd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 14:50:42 2010 +0400 Implemented and fixed termination utilities with two input abstractions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f9f111da40… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 14:50:01 2010 +0400 Code formatting fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02ffc8f4e65b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 07:46:03 2010 +0000 Added a test (based on test10 in termination1.cc in the tests/Polyhedron directory) for termination_test_MS/1 and termination_test_PR/1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec57f6b3e45d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 07:32:57 2010 +0000 Added termination_test functions ending with "_2". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38e738d30f66… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 07:17:59 2010 +0000 Fixed some cut and paste typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be095b01fae7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 10:35:22 2010 +0400 Arities fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d8adeb605e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 16:34:59 2010 +0400 Printing of debug information suppressed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2472d5274d7f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 16:33:35 2010 +0400 Implemented template termination_test_PR_2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e27545f793d0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 11:21:30 2010 +0000 Added more termination_test predicates to the Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dc0de142813… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 14:58:52 2010 +0400 New versions of the termination utility functions with two input parameters. The PR ones are only stubs for the time being. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0169d5ede310… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 06:47:42 2010 +0400 Add BD_Shape<int8_t> to the instantiations enabled by default. BD_Shape<int8_t> allows to efficiently encode monotonicity constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367f75cf57a1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b93d10b25019… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 10 15:08:47 2010 +0000 Improved variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=147de8cc7cdf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 10 15:23:12 2010 +0400 test10() and test11() witness a bug in termination_test_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1d4481a3175… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 17:03:16 2010 +0400 Implemented the improved Podelski and Rybalchenko termination test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df002a70c373… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 14:31:09 2010 +0400 Function renamed. Unwanted stuff removed from comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e69262acd5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:43:32 2010 +0400 LaTeX code fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0d81dc0f79… Merge: a284ae47e8ec209d8235bc21f2802d6023fec2ec 114f0e38474584e74743f67fd1203487241b60e8 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:38:21 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a284ae47e8ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:11:32 2010 +0400 Description of the PR method improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd140775f606… Merge: 7d037e04dd8bf3d0713845d41b4eb155ff911912 4e2cacd9738634f10872d5e63f3fa9551d546a7e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 09:03:36 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d037e04dd8b… Merge: ea1d686ab772b820f2d094851f3cbf330f05f9e7 f9fbde6765402ee509a03d952fdae02115c266fa Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:05:31 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea1d686ab772… Merge: 276bf49a11da0443cc5b284cf880858a8911b48a 0a6c325c3b9615411ba40c44743268f33303589a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 22:01:23 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276bf49a11da… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 21:52:26 2010 +0400 Debugging output switched off. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bcdb95d9ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 21:37:08 2010 +0400 Fixed the implementation of the *_all_affine_ranking_functions_* predicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38df1b8d05c7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 20:22:46 2010 +0400 Fixed one_affine_ranking_function_MS(): it was not projecting the generator onto the mu variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea4a32cfd39a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 16:22:46 2010 +0000 Code for Polyhedron_all_affine_ranking_functions_PR and similar revised - but is buggy. m4 version needs fixing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81ffc77370c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 18:39:23 2010 +0400 Support newer versions of SWI-Prolog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c066af6c0505… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:57:31 2010 +0400 Fixed some copy-and-paste mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f1381c41b71… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 13:34:53 2010 +0000 Added the rest of the termination functions to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8bcb32b2739… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 12:46:14 2010 +0000 Fixed some bugs in the Prolog interface termination code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07ba164136b4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 12:39:37 2010 +0000 Added the new termination functions to Prolog interface and the termination_test_MS only to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e804f7e23346… Merge: c59646077762fcf090705ece6876b8ef35623c8b 54bf68f9ee93822f8792c0d89d45ebd0b5823aee Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:25:15 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c59646077762… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 15:41:23 2010 +0400 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cda8c51361f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 15:16:40 2010 +0400 Added a couple of missing constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e848582e115… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 14:22:41 2010 +0400 Fixed the input polyhedra for test01() and test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bf82f6ed4a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 13:53:49 2010 +0400 Added stub implementations for one_affine_ranking_function_PR() and all_affine_ranking_functions_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a21fe775ff7… Merge: 4684207ce34a88f9552f450faa6e019e475e4027 d054a83797b9b861addd7cdc5abac091edaf5865 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 10:44:11 2010 +0100 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4684207ce34a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 13:35:33 2010 +0400 Documentation improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37d7226faeb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 22:09:59 2010 +0400 Still working on specifications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8680f29d7d3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 20:42:21 2010 +0400 Completed a couple of comment blocks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5356f0d0a512… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 18:39:34 2010 +0400 Documented the interfaces of the termination analysis functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a94878edd54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 16:34:38 2010 +0400 LaTeX inconsistency removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef46f1fa94c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 15:52:03 2010 +0400 Moved the utilities for termination analysis to their final destination. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2d2e0aa634… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 14:32:06 2010 +0400 Several improvements. Changed the encoding of the input systems. Started drafting the implementation of the method of Podelski and Rybalchenko. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e66a1705f54a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 6 21:46:52 2010 +0400 Added functions for termination analysis following the approach of Mesnard and Serebrenik. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6433c0db927… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 5 22:18:05 2010 +0400 Added method bool Constraint_System::has_equalities() const.

1 0

[GIT] ppl/ppl(master): Both GNU Prolog 1.3.0 and GNU Prolog 1.3. 1 have bugs that affect the PPL.
by Roberto Bagnara 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: e17e80c8940b435d646eaac97bba591ee744ef34 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e17e80c8940b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 17:39:08 2010 +0200 Both GNU Prolog 1.3.0 and GNU Prolog 1.3.1 have bugs that affect the PPL. --- interfaces/Prolog/GNU/README.gprolog | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/GNU/README.gprolog b/interfaces/Prolog/GNU/README.gprolog index 32d814a..4acb035 100644 --- a/interfaces/Prolog/GNU/README.gprolog +++ b/interfaces/Prolog/GNU/README.gprolog @@ -1,7 +1,7 @@ The GNU Prolog interface to the Parma Polyhedra Library (PPL) is available both as a PPL-enhanced GNU Prolog interpreter and as a library that can be linked to GNU Prolog programs. Only GNU Prolog -version 1.3.0 and later versions are supported. +version 1.3.2(20100322) and later versions are supported. So that it can be used with the GNU Prolog PPL interface (and, for that matter, with any foreign code), the GNU Prolog installation must

1 0

[GIT] ppl/ppl(master): Minor improvements to documentation.
by Enea Zaffanella 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: bcc4ff72caf513a585ec003e5adaff6aec2fb05b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcc4ff72caf5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 15 15:06:28 2010 +0200 Minor improvements to documentation. Deal with the special cse of an empty input pointset for methods all_affine_*. Adapted and improved test10 in termination2.cc. --- src/termination.defs.hh | 29 ++++++++++++++----------- src/termination.templates.hh | 39 ++++++++++++++++++++++++++++++++- tests/Polyhedron/termination2.cc | 43 +++++++++++++++++++++++-------------- 3 files changed, 80 insertions(+), 31 deletions(-) diff --git a/src/termination.defs.hh b/src/termination.defs.hh index 8ccfc41..c64ed58 100644 --- a/src/termination.defs.hh +++ b/src/termination.defs.hh @@ -23,8 +23,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_termination_defs_hh #define PPL_termination_defs_hh 1 -#include "Generator.defs.hh" -#include "C_Polyhedron.defs.hh" +#include "Generator.types.hh" +#include "C_Polyhedron.types.hh" +#include "NNC_Polyhedron.types.hh" namespace Parma_Polyhedra_Library { @@ -408,15 +409,15 @@ all_affine_quasi_ranking_functions_MS_2(const PSET& pset_before, C_Polyhedron& bounded_mu_space); /*! \brief - Like termination_test_MS() but using an improvement - of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]". + Like termination_test_MS() but using the method by Podelski and + Rybalchenko \ref BMPZ10 "[BMPZ10]". */ template <typename PSET> bool termination_test_PR(const PSET& pset); /*! \brief - Like termination_test_MS_2() but using an improvement + Like termination_test_MS_2() but using an alternative formalization of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]". */ template <typename PSET> @@ -424,16 +425,17 @@ bool termination_test_PR_2(const PSET& pset_before, const PSET& pset_after); /*! \brief - Like one_affine_ranking_function_MS() but using an improvement - of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]". + Like one_affine_ranking_function_MS() but using the method by Podelski + and Rybalchenko \ref BMPZ10 "[BMPZ10]". */ template <typename PSET> bool one_affine_ranking_function_PR(const PSET& pset, Generator& mu); /*! \brief - Like one_affine_ranking_function_MS_2() but using an improvement - of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]". + Like one_affine_ranking_function_MS_2() but using an alternative + formalization of the method by Podelski and Rybalchenko + \ref BMPZ10 "[BMPZ10]". */ template <typename PSET> bool @@ -442,16 +444,17 @@ one_affine_ranking_function_PR_2(const PSET& pset_before, Generator& mu); /*! \brief - Like all_affine_ranking_functions_MS() but using an improvement - of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]". + Like all_affine_ranking_functions_MS() but using the method by Podelski + and Rybalchenko \ref BMPZ10 "[BMPZ10]". */ template <typename PSET> void all_affine_ranking_functions_PR(const PSET& pset, NNC_Polyhedron& mu_space); /*! \brief - Like all_affine_ranking_functions_MS_2() but using an improvement - of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]". + Like all_affine_ranking_functions_MS_2() but using an alternative + formalization of the method by Podelski and Rybalchenko + \ref BMPZ10 "[BMPZ10]". */ template <typename PSET> void diff --git a/src/termination.templates.hh b/src/termination.templates.hh index f60573c..8582e22 100644 --- a/src/termination.templates.hh +++ b/src/termination.templates.hh @@ -23,10 +23,13 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_termination_templates_hh #define PPL_termination_templates_hh 1 +#include "globals.defs.hh" +#include "Variable.defs.hh" +#include "Generator.defs.hh" #include "Constraint_System.defs.hh" #include "C_Polyhedron.defs.hh" -#include "BD_Shape.defs.hh" -#include "Octagonal_Shape.defs.hh" + +#include <stdexcept> #define PRINT_DEBUG_INFO 0 @@ -301,6 +304,11 @@ all_affine_ranking_functions_MS(const PSET& pset, C_Polyhedron& mu_space) { throw std::invalid_argument(s.str()); } + if (pset.is_empty()) { + mu_space = C_Polyhedron(1 + space_dim/2, UNIVERSE); + return; + } + using namespace Implementation::Termination; Constraint_System cs; assign_all_inequalities_approximation(pset, cs); @@ -324,6 +332,11 @@ all_affine_ranking_functions_MS_2(const PSET& pset_before, throw std::invalid_argument(s.str()); } + if (pset_before.is_empty()) { + mu_space = C_Polyhedron(1 + before_space_dim, UNIVERSE); + return; + } + using namespace Implementation::Termination; Constraint_System cs; assign_all_inequalities_approximation(pset_before, pset_after, cs); @@ -345,6 +358,12 @@ all_affine_quasi_ranking_functions_MS(const PSET& pset, throw std::invalid_argument(s.str()); } + if (pset.is_empty()) { + decreasing_mu_space = C_Polyhedron(1 + space_dim/2, UNIVERSE); + bounded_mu_space = decreasing_mu_space; + return; + } + using namespace Implementation::Termination; Constraint_System cs; assign_all_inequalities_approximation(pset, cs); @@ -371,6 +390,12 @@ all_affine_quasi_ranking_functions_MS_2(const PSET& pset_before, throw std::invalid_argument(s.str()); } + if (pset_before.is_empty()) { + decreasing_mu_space = C_Polyhedron(1 + before_space_dim, UNIVERSE); + bounded_mu_space = decreasing_mu_space; + return; + } + using namespace Implementation::Termination; Constraint_System cs; assign_all_inequalities_approximation(pset_before, pset_after, cs); @@ -479,6 +504,11 @@ all_affine_ranking_functions_PR_2(const PSET& pset_before, throw std::invalid_argument(s.str()); } + if (pset_before.is_empty()) { + mu_space = NNC_Polyhedron(1 + before_space_dim); + return; + } + using namespace Implementation::Termination; Constraint_System cs_before; Constraint_System cs_after; @@ -500,6 +530,11 @@ all_affine_ranking_functions_PR(const PSET& pset_after, throw std::invalid_argument(s.str()); } + if (pset_after.is_empty()) { + mu_space = NNC_Polyhedron(1 + space_dim/2); + return; + } + using namespace Implementation::Termination; Constraint_System cs; assign_all_inequalities_approximation(pset_after, cs); diff --git a/tests/Polyhedron/termination2.cc b/tests/Polyhedron/termination2.cc index 43fcceb..496a476 100644 --- a/tests/Polyhedron/termination2.cc +++ b/tests/Polyhedron/termination2.cc @@ -128,26 +128,37 @@ test09() { bool test10() { - C_Polyhedron ph1(2, EMPTY); - C_Polyhedron ph2(4, EMPTY); + C_Polyhedron ph_before(2, EMPTY); + C_Polyhedron ph_after(4, EMPTY); C_Polyhedron c_mu_space; NNC_Polyhedron nnc_mu_space; - all_affine_ranking_functions_MS(ph1, c_mu_space); - all_affine_ranking_functions_MS_2(ph1, ph2, c_mu_space); - all_affine_ranking_functions_PR(ph1, nnc_mu_space); - all_affine_ranking_functions_PR_2(ph1, ph2, nnc_mu_space); + C_Polyhedron c_known_result(3, UNIVERSE); + NNC_Polyhedron nnc_known_result(3, UNIVERSE); + bool ok = true; - C_Polyhedron c_known_result(2, EMPTY); - c_known_result.add_generator(point()); - NNC_Polyhedron nnc_known_result(3, EMPTY); - nnc_known_result.add_generator(point()); + all_affine_ranking_functions_MS(ph_after, c_mu_space); + ok &= (c_mu_space == c_known_result); - print_constraints(ph1, "*** ph ***"); - print_constraints(c_mu_space, "*** c_mu_space ***"); - print_constraints(nnc_known_result, "*** nnc_known_result ***"); - print_constraints(nnc_mu_space, "*** nnc_mu_space ***"); + all_affine_ranking_functions_MS_2(ph_before, ph_after, c_mu_space); + ok &= (c_mu_space == c_known_result); - return ph1.OK() && (nnc_mu_space == nnc_known_result); +// all_affine_ranking_functions_PR(ph_after, nnc_mu_space); +// ok &= (nnc_mu_space == nnc_known_result); + + all_affine_ranking_functions_PR_2(ph_before, ph_after, nnc_mu_space); + ok &= (nnc_mu_space == nnc_known_result); + + print_constraints(ph_after, "*** ph_after ***"); + + print_generators(c_known_result.minimized_generators(), + "*** c_known_result ***"); + print_generators(nnc_known_result.minimized_generators(), + "*** nnc_known_result ***"); + + print_generators(c_mu_space.minimized_generators(), "*** c_mu_space ***"); + print_generators(nnc_mu_space.minimized_generators(), "*** nnc_mu_space ***"); + + return ok; } } // namespace @@ -162,5 +173,5 @@ BEGIN_MAIN DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); - DO_TEST_F(test10); + DO_TEST(test10); END_MAIN

1 0

[GIT] ppl/ppl(master): Overflow is expected for PIP_Problem tests with 8 bits coefficients.
by Enea Zaffanella 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: baa72379c66f766c6ee6a6956e6f3f329cffeba7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baa72379c66f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 15 13:58:39 2010 +0200 Overflow is expected for PIP_Problem tests with 8 bits coefficients. --- interfaces/OCaml/tests/test1.ml | 162 ++++++++++++++++++++++++--------------- 1 files changed, 101 insertions(+), 61 deletions(-) diff --git a/interfaces/OCaml/tests/test1.ml b/interfaces/OCaml/tests/test1.ml index a3d84aa..e877d34 100644 --- a/interfaces/OCaml/tests/test1.ml +++ b/interfaces/OCaml/tests/test1.ml @@ -506,12 +506,21 @@ print_string_if_noisy "PIP_Problem_OK ";; print_string_if_noisy "and PIP_Tree_Node_is_bottom \n";; let pip = ppl_new_PIP_Problem 3 [e1 >=/ e2; e1 <=/ e2 -/ (linear_expression_of_int 7)] [2];; -let ptree = ppl_PIP_Problem_solution pip;; -let - out = if (ppl_PIP_Problem_OK pip - & ppl_PIP_Tree_Node_is_bottom ptree) - then "success" else "failed" - in (print_string_if_noisy out);; + +begin +try + let ptree = ppl_PIP_Problem_solution pip + in let out = if (ppl_PIP_Problem_OK pip & ppl_PIP_Tree_Node_is_bottom ptree) + then "success" else "failed" + in (print_string_if_noisy out) +with PPL_arithmetic_overflow what -> + let unexpected = (ppl_Coefficient_bits() != 8) + in if (unexpected) + then raise (PPL_arithmetic_overflow(what)); + print_string_if_noisy "Expected overflow exception caught: "; + print_string_if_noisy what; + print_string_if_noisy "\n" +end;; print_string_if_noisy "\n";; print_string_if_noisy "PIP_Problem 2 \n";; @@ -542,22 +551,31 @@ let out = if (not b0 & b1 & (big_par = 7)) else "ppl_PIP_Problem big parameter dimension tests failed" in (print_string_if_noisy out);; print_string_if_noisy "\n";; -let out = if (ppl_PIP_Problem_is_satisfiable pip2) - then "ppl_PIP_Problem_is_satisfiable test succeeded" - else "ppl_PIP_Problem_is_satisfiable test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -print_string_if_noisy "testing ppl_PIP_Problem_ascii_dump: " ;; -(* print_string_if_noisy (ppl_PIP_Problem_ascii_dump pip2);; *) -print_string_if_noisy "\n";; -let ptree2 = ppl_PIP_Problem_solution pip2;; -let _r = ppl_PIP_Problem_OK pip2;; -print_string_if_noisy "\n";; -let out = if (ppl_PIP_Tree_Node_is_bottom ptree2) - then "ppl_PIP_Tree_Node_is_bottom test succeeded" - else "ppl_PIP_Tree_Node_is_bottom test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; + +begin +try + let out = if (ppl_PIP_Problem_is_satisfiable pip2) + then "ppl_PIP_Problem_is_satisfiable test succeeded" + else "ppl_PIP_Problem_is_satisfiable test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + print_string_if_noisy "testing ppl_PIP_Problem_ascii_dump: "; + print_string_if_noisy (ppl_PIP_Problem_ascii_dump pip2); + print_string_if_noisy "\n"; + let ptree2 = ppl_PIP_Problem_solution pip2 + in let out2 = if (ppl_PIP_Tree_Node_is_bottom ptree2) + then "ppl_PIP_Tree_Node_is_bottom test succeeded" + else "ppl_PIP_Tree_Node_is_bottom test failed" + in (print_string_if_noisy out2); + print_string_if_noisy "\n" +with PPL_arithmetic_overflow what -> + let unexpected = (ppl_Coefficient_bits() != 8) + in if (unexpected) + then raise (PPL_arithmetic_overflow(what)); + print_string_if_noisy "Expected overflow exception caught: "; + print_string_if_noisy what; + print_string_if_noisy "\n" +end;; print_string_if_noisy "\nPIP_Problem 3 \n";; let i = Variable 0 @@ -583,45 +601,67 @@ let pip_cs = [pip_c1; pip_c2; pip_c3; pip_c4] ;; let ps = [2; 3];; let pip3 = ppl_new_PIP_Problem 4 pip_cs ps;; -let result = ppl_PIP_Problem_solve pip3;; -let out = if (result == Optimized_Pip_Problem) - then "PIP Problem_solve pip3 test succeeded" - else "PIP Problem_solve pip3 test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let node = ppl_PIP_Problem_solution pip3;; -let out = if (ppl_PIP_Tree_Node_OK node) - then "ppl_PIP_Tree_Node_OK node test succeeded" - else "ppl_PIP_Tree_Node_OK node test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let out = if (ppl_PIP_Tree_Node_is_decision node) - then "ppl_PIP_Tree_Node_is_decision node test succeeded" - else "ppl_PIP_Tree_Node_is_decision node test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let out = if (ppl_PIP_Tree_Node_artificials node = []) - then "ppl_PIP_Tree_Node_artificials node test succeeded" - else "ppl_PIP_Tree_Node_artificials node test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let _node_cs = ppl_PIP_Tree_Node_constraints node;; -let tchild = ppl_PIP_Tree_Node_true_child node;; -let _fchild = ppl_PIP_Tree_Node_false_child node;; -let out = if (ppl_PIP_Tree_Node_is_decision tchild) - then "ppl_PIP_Tree_Node_is_decision tchild test succeeded" - else "ppl_PIP_Tree_Node_is_decision tchild test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let ttchild = ppl_PIP_Tree_Node_true_child tchild;; -let ftchild = ppl_PIP_Tree_Node_false_child tchild;; -let out = if (ppl_PIP_Tree_Node_is_solution ttchild) - then "ppl_PIP_Tree_Node_is_decision ttchild test succeeded" - else "ppl_PIP_Tree_Node_is_decision ttchild test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let _par_vals = ppl_PIP_Tree_Node_parametric_values ttchild 0;; -let _ftchild_arts = ppl_PIP_Tree_Node_artificials ftchild;; + +begin +try + let result = ppl_PIP_Problem_solve pip3 in + let out = if (result == Optimized_Pip_Problem) + then "PIP Problem_solve pip3 test succeeded" + else "PIP Problem_solve pip3 test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let node = ppl_PIP_Problem_solution pip3 in + begin + let out = if (ppl_PIP_Tree_Node_OK node) + then "ppl_PIP_Tree_Node_OK node test succeeded" + else "ppl_PIP_Tree_Node_OK node test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let out = if (ppl_PIP_Tree_Node_is_decision node) + then "ppl_PIP_Tree_Node_is_decision node test succeeded" + else "ppl_PIP_Tree_Node_is_decision node test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let out = if (ppl_PIP_Tree_Node_artificials node = []) + then "ppl_PIP_Tree_Node_artificials node test succeeded" + else "ppl_PIP_Tree_Node_artificials node test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let _node_cs = ppl_PIP_Tree_Node_constraints node in (); + let + _fchild = ppl_PIP_Tree_Node_false_child node + and + tchild = (ppl_PIP_Tree_Node_true_child node) + in ( + let out = if (ppl_PIP_Tree_Node_is_decision tchild) + then "ppl_PIP_Tree_Node_is_decision tchild test succeeded" + else "ppl_PIP_Tree_Node_is_decision tchild test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let + ttchild = (ppl_PIP_Tree_Node_true_child tchild) + and + ftchild = (ppl_PIP_Tree_Node_false_child tchild) + in ( + let out = if (ppl_PIP_Tree_Node_is_solution ttchild) + then "ppl_PIP_Tree_Node_is_decision ttchild test succeeded" + else "ppl_PIP_Tree_Node_is_decision ttchild test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let _par_vals = ppl_PIP_Tree_Node_parametric_values ttchild 0 in (); + let _ftchild_arts = ppl_PIP_Tree_Node_artificials ftchild in () + ) + ); + print_string_if_noisy "\n" + end +with PPL_arithmetic_overflow what -> + let unexpected = (ppl_Coefficient_bits() != 8) + in if (unexpected) + then raise (PPL_arithmetic_overflow(what)); + print_string_if_noisy "Expected overflow exception caught: "; + print_string_if_noisy what; + print_string_if_noisy "\n" +end;; (* Pointset_Powerset_Grid is not enabled by default, the following code is *) (* commented *)

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 15 Apr '10

15 Apr '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98cc6288516f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:49:35 2010 +0200 PIP_Tree_Node: use unordered iterators in compatibility_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b78d5061c8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:43:40 2010 +0200 PIP_Solution_Node: optimize update_tableau() for sparse backends with fast random writes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5896c5bffc6c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:39:01 2010 +0200 PIP_Tree.cc: optimize merge_assign() for sparse backends with fast random writes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7174c49c725… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:33:02 2010 +0200 PIP_Solution_Node: optimize generate_cut() for sparse backends with fast random writes (#3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=622d9172ec91… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:29:36 2010 +0200 PIP_Solution_Node: optimize generate_cut() for sparse backends with fast random writes (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=028a1074e973… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:25:12 2010 +0200 PIP_Solution_Node: optimize generate_cut() for sparse backends with fast random writes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e9f1185a41c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:14:36 2010 +0200 PIP_Solution_Node: optimize solve() for sparse backends with fast random writes (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69331bf4a9c5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 13:06:32 2010 +0200 PIP_Solution_Node: optimize solve() for sparse backends with fast random writes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e580242fd28… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 12:57:44 2010 +0200 PIP_Solution_Node: optimize update_tableau() for sparse backends with fast random writes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92bb0278f560… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 12:30:21 2010 +0200 PIP_Tree_Node: optimize compatibility_check() for backends with fast random writes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=289c56dc96e2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 12:29:29 2010 +0200 Unlimited_Sparse_Row: define PPL_SPARSE_BACKEND_SLOW_RANDOM_READS and PPL_SPARSE_BACKEND_SLOW_RANDOM_WRITES when appropriate.

1 0

[GIT] ppl/ppl(master): Increased GLOBALSZ for the execution of the automatically generated test.
by Roberto Bagnara 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: fb0d779dadba740e2eb6c6c26f7270fe8ab69440 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb0d779dadba… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 12:47:16 2010 +0200 Increased GLOBALSZ for the execution of the automatically generated test. --- interfaces/Prolog/GNU/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index 962a9e1..9f4981c 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -289,7 +289,7 @@ ppl_prolog_generated_test: gnu_prolog_generated_test.pl ../tests/ppl_prolog_gen echo "['ppl_prolog_generated_test_main.pl', 'gnu_prolog_generated_test.pl']." \ >script_pgt echo "main." >>script_pgt - GLOBALSZ=65536 $(LIBTOOL) --mode=execute \ + GLOBALSZ=131072 $(LIBTOOL) --mode=execute \ -dlopen ../../../src/libppl.la \ $(WATCHDOG_DLOPEN) \ -dlopen libppl_gprolog.la \

1 0

[GIT] ppl/ppl(master): Add ppl_Coefficient_bits to Prolog and OCaml interfaces.
by Enea Zaffanella 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: f00290188682f65683a0e25eb4563df23067cdae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f00290188682… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 15 11:33:29 2010 +0200 Add ppl_Coefficient_bits to Prolog and OCaml interfaces. Renamed corresponding static method in Java interface. --- interfaces/Java/jni/ppl_java_globals.cc | 2 +- .../Java/parma_polyhedra_library/Coefficient.java | 2 +- interfaces/Java/tests/PIP_Problem_test1.java | 2 +- interfaces/OCaml/OCaml_interface.dox | 4 ++++ interfaces/OCaml/ppl_ocaml_common.cc | 8 ++++++++ interfaces/OCaml/ppl_ocaml_globals.ml | 3 +++ interfaces/OCaml/ppl_ocaml_globals.mli | 3 +++ interfaces/Prolog/Prolog_interface.dox | 5 +++++ interfaces/Prolog/ppl_prolog_common.cc | 9 +++++++++ interfaces/Prolog/ppl_prolog_common.defs.hh | 3 +++ 10 files changed, 38 insertions(+), 3 deletions(-) diff --git a/interfaces/Java/jni/ppl_java_globals.cc b/interfaces/Java/jni/ppl_java_globals.cc index 467ac21..14b32e1 100644 --- a/interfaces/Java/jni/ppl_java_globals.cc +++ b/interfaces/Java/jni/ppl_java_globals.cc @@ -97,7 +97,7 @@ Java_parma_1polyhedra_1library_By_1Reference_initIDs } JNIEXPORT jint JNICALL -Java_parma_1polyhedra_1library_Coefficient_ppl_1bits(JNIEnv*, jclass) { +Java_parma_1polyhedra_1library_Coefficient_bits(JNIEnv*, jclass) { return PPL_COEFFICIENT_BITS; } diff --git a/interfaces/Java/parma_polyhedra_library/Coefficient.java b/interfaces/Java/parma_polyhedra_library/Coefficient.java index 4b89bcb..c8cdd8f 100644 --- a/interfaces/Java/parma_polyhedra_library/Coefficient.java +++ b/interfaces/Java/parma_polyhedra_library/Coefficient.java @@ -75,7 +75,7 @@ public class Coefficient { } //! Returns the number of bits of PPL coefficients; 0 if unbounded. - public static native int ppl_bits(); + public static native int bits(); private static native void initIDs(); static { diff --git a/interfaces/Java/tests/PIP_Problem_test1.java b/interfaces/Java/tests/PIP_Problem_test1.java index 1140207..a5b1121 100644 --- a/interfaces/Java/tests/PIP_Problem_test1.java +++ b/interfaces/Java/tests/PIP_Problem_test1.java @@ -362,7 +362,7 @@ static { pip.solve(); } catch (Overflow_Error_Exception ex) { - if (Coefficient.ppl_bits() != 8) + if (Coefficient.bits() != 8) throw ex; PPL_Test.println_if_noisy("Expected overflow exception caught:"); PPL_Test.println_if_noisy(ex.getMessage()); diff --git a/interfaces/OCaml/OCaml_interface.dox b/interfaces/OCaml/OCaml_interface.dox index affac00..5e68e03 100644 --- a/interfaces/OCaml/OCaml_interface.dox +++ b/interfaces/OCaml/OCaml_interface.dox @@ -177,6 +177,10 @@ included with all instantiations of the OCaml interfaces. <H2><CODE> ppl_max_space_dimension </CODE></H2> Returns the maximum space dimension the C++ interface can handle. +<H2><CODE> ppl_Coefficient_bits </CODE></H2> + Returns the number of bits used in the C++ interface for PPL coefficients; + 0 if unbounded. + <H2><CODE> ppl_Coefficient_is_bounded </CODE></H2> Returns true if and only if the coefficients in the C++ interface are bounded. diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc index a852f53..76a04ca 100644 --- a/interfaces/OCaml/ppl_ocaml_common.cc +++ b/interfaces/OCaml/ppl_ocaml_common.cc @@ -1752,6 +1752,14 @@ CATCH_ALL extern "C" CAMLprim value +ppl_Coefficient_bits(value unit) try { + CAMLparam1(unit); + CAMLreturn(Val_long(PPL_COEFFICIENT_BITS)); +} +CATCH_ALL + +extern "C" +CAMLprim value ppl_Coefficient_is_bounded(value unit) try { CAMLparam1(unit); CAMLreturn(std::numeric_limits<Coefficient>::is_bounded diff --git a/interfaces/OCaml/ppl_ocaml_globals.ml b/interfaces/OCaml/ppl_ocaml_globals.ml index 408febf..a8e6b79 100644 --- a/interfaces/OCaml/ppl_ocaml_globals.ml +++ b/interfaces/OCaml/ppl_ocaml_globals.ml @@ -156,6 +156,9 @@ string -> int -> int -> int -> string = "ppl_io_wrap_string" external ppl_max_space_dimension: unit -> int = "ppl_max_space_dimension" +external ppl_Coefficient_bits: +unit -> int = "ppl_Coefficient_bits" + external ppl_Coefficient_is_bounded: unit -> bool = "ppl_Coefficient_is_bounded" diff --git a/interfaces/OCaml/ppl_ocaml_globals.mli b/interfaces/OCaml/ppl_ocaml_globals.mli index 79cff49..f76d8a8 100644 --- a/interfaces/OCaml/ppl_ocaml_globals.mli +++ b/interfaces/OCaml/ppl_ocaml_globals.mli @@ -151,6 +151,9 @@ val ppl_io_wrap_string: val ppl_max_space_dimension: unit -> int +val ppl_Coefficient_bits: + unit -> int + val ppl_Coefficient_is_bounded: unit -> bool diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index 485b13f..7a442e4 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -389,6 +389,11 @@ that are included with all instantiations of the Prolog interfaces. warranty whatsoever, the C++ compiler used to build the library, where to report bugs and where to look for further information.</EM> +<P><CODE> ppl_Coefficient_bits </CODE><BR> + + <EM>Unifies the argument with the number of bits used to encode a + Coefficient in the C++ interface; 0 if unbounded.</EM> + <P><CODE> ppl_Coefficient_is_bounded </CODE><BR> <EM>Succeeds if and only if the Coefficients in the C++ interface are bounded.</EM> diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc index cf55e9a..cd49635 100644 --- a/interfaces/Prolog/ppl_prolog_common.cc +++ b/interfaces/Prolog/ppl_prolog_common.cc @@ -1977,6 +1977,15 @@ ppl_reset_deterministic_timeout() { } extern "C" Prolog_foreign_return_type +ppl_Coefficient_bits(Prolog_term_ref t_bits) { + try { + if (unify_ulong(t_bits, PPL_COEFFICIENT_BITS)) + return PROLOG_SUCCESS; + } + CATCH_ALL; +} + +extern "C" Prolog_foreign_return_type ppl_Coefficient_is_bounded() { try { if (std::numeric_limits<Coefficient>::is_bounded) diff --git a/interfaces/Prolog/ppl_prolog_common.defs.hh b/interfaces/Prolog/ppl_prolog_common.defs.hh index 53a9b63..bf1dfe0 100644 --- a/interfaces/Prolog/ppl_prolog_common.defs.hh +++ b/interfaces/Prolog/ppl_prolog_common.defs.hh @@ -839,6 +839,9 @@ extern "C" Prolog_foreign_return_type ppl_reset_deterministic_timeout(); extern "C" Prolog_foreign_return_type +ppl_Coefficient_bits(Prolog_term_ref t_bits); + +extern "C" Prolog_foreign_return_type ppl_Coefficient_is_bounded(); extern "C" Prolog_foreign_return_type

1 0

[GIT] ppl/ppl(sparse_matrices): MIP_Problem: little optimization in steepest_edge_float_entering_index().
by Marco Poletti 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: 19cae9a791014e49edf103f1b3c7ec48eef06059 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19cae9a79101… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 07:28:05 2010 +0200 MIP_Problem: little optimization in steepest_edge_float_entering_index(). --- src/MIP_Problem.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index a7892fb..6d819cc 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -995,8 +995,8 @@ PPL::MIP_Problem::steepest_edge_float_entering_index() const { if ((*j).first < tableau_num_columns_minus_1) { const dimension_type j_index = (*j).first; const Coefficient& cost_j = working_cost[j_index]; - const Coefficient& tableau_ij = (*j).second; if (sgn(cost_j) == cost_sign) { + const Coefficient& tableau_ij = (*j).second; WEIGHT_BEGIN(); if (tableau_ij != 0) { PPL_ASSERT(tableau_i_base_i != 0);

1 0