April 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): A Prolog PIP_Problem test overflows positively for checked_int8
by Patricia Hill 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: b9cd3bb78c41bee54756f3a030a3aea2688e7849 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9cd3bb78c41… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:17:59 2010 +0100 A Prolog PIP_Problem test overflows positively for checked_int8 --- interfaces/Prolog/tests/expected_pchk_int8 | 2 ++ interfaces/Prolog/tests/expected_pchk_int8_a | 4 +++- 2 files changed, 5 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/tests/expected_pchk_int8 b/interfaces/Prolog/tests/expected_pchk_int8 index 5161559..45056d1 100644 --- a/interfaces/Prolog/tests/expected_pchk_int8 +++ b/interfaces/Prolog/tests/expected_pchk_int8 @@ -1,4 +1,6 @@ +Error: an overflow has been detected by the PPL: Positive overflow. + Error: an overflow has been detected by the PPL: Negative overflow. Error: an overflow has been detected by the PPL: Negative overflow. diff --git a/interfaces/Prolog/tests/expected_pchk_int8_a b/interfaces/Prolog/tests/expected_pchk_int8_a index 55cd051..45056d1 100644 --- a/interfaces/Prolog/tests/expected_pchk_int8_a +++ b/interfaces/Prolog/tests/expected_pchk_int8_a @@ -1,5 +1,7 @@ +Error: an overflow has been detected by the PPL: Positive overflow. + Error: an overflow has been detected by the PPL: Negative overflow. -Error: an overflow has been detected by the PPL: Positive overflow. +Error: an overflow has been detected by the PPL: Negative overflow. OK

1 0

[GIT] ppl/ppl(master): Added tests in the Prolog interface for
by Patricia Hill 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: 88c6e6e5b5a5720c05601277b362a32061fd958f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88c6e6e5b5a5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:17:12 2010 +0100 Added tests in the Prolog interface for ppl_all_affine_quasi_ranking_functions_MS_* --- ...face_generator_prolog_generated_test_pl_code.m4 | 47 ++++++++++++++++++++ 1 files changed, 47 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 index b62dbb8..ea15f91 100644 --- a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 +++ b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 @@ -1898,4 +1898,51 @@ ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@_2_2_test :- ') +m4_define( + `ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_code', +` +ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_3_test :- + ( + choose_2_tests(TEST_DATA1, TEST_DATA2, Space_Dim), + ( + ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA1, PS1, Space_Dim), + ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA2, PS2, Space_Dim), + ppl_@CLASS@_concatenate_assign(PS1, PS2), + ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@(PS1, Ph1, Ph2), + ppl_Polyhedron_OK(Ph1), + ppl_Polyhedron_OK(Ph2), + ppl_@CLASS@_OK(PS1), + ppl_@CLASS@_OK(PS2), + ppl_delete_@CLASS@(PS1), + ppl_delete_@CLASS@(PS2) + -> + fail ; true) + ). + +') + +m4_define( + `ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_2_code', +` +ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_2_4_test :- + ( + choose_2_tests(TEST_DATA1, TEST_DATA2, Space_Dim), + ( + ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA1, PS1, Space_Dim), + ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA2, PS2, Space_Dim), + ppl_@CLASS@_concatenate_assign(PS1, PS2), + ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_2(PS2, PS1, + Ph1, Ph2), + ppl_Polyhedron_OK(Ph1), + ppl_Polyhedron_OK(Ph2), + ppl_@CLASS@_OK(PS1), + ppl_@CLASS@_OK(PS2), + ppl_delete_@CLASS@(PS1), + ppl_delete_@CLASS@(PS2) + -> + fail ; true) + ). + +') + dnl ppl_@CLASS@_@NARROWING@_narrowing_assign/2,

1 0

[GIT] ppl/ppl(master): Added PIP_Problem predicates to list of predicates
by Patricia Hill 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: da7b389107033d439660684bd0613809c2a5783a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7b38910703… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:15:00 2010 +0100 Added PIP_Problem predicates to list of predicates tested in pl_check.pl. --- interfaces/Prolog/XSB/xsb_pl_check.P | 34 +++++++++++++++++++++++++++++++++- 1 files changed, 33 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P index 2422033..1958f03 100644 --- a/interfaces/Prolog/XSB/xsb_pl_check.P +++ b/interfaces/Prolog/XSB/xsb_pl_check.P @@ -151,7 +151,39 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_MIP_Problem_evaluate_objective_function/4, ppl_MIP_Problem_OK/1, ppl_MIP_Problem_get_control_parameter/3, - ppl_MIP_Problem_set_control_parameter/2 + ppl_MIP_Problem_set_control_parameter/2, + ppl_new_PIP_Problem_from_space_dimension/2, + ppl_new_PIP_Problem/4, + ppl_new_PIP_Problem_from_PIP_Problem/2, + ppl_PIP_Problem_swap/2 *nofail, + ppl_delete_PIP_Problem/1 *nofail, + ppl_PIP_Problem_space_dimension/2, + ppl_PIP_Problem_parameter_space_dimensions/2, + ppl_PIP_Problem_constraints/2, + ppl_PIP_Problem_clear/1, + ppl_PIP_Problem_add_space_dimensions_and_embed/3, + ppl_PIP_Problem_add_to_parameter_space_dimensions/2, + ppl_PIP_Problem_add_constraint/2, + ppl_PIP_Problem_add_constraints/2, + ppl_PIP_Problem_set_control_parameter/2 *nofail, + ppl_PIP_Problem_get_control_parameter/3, + ppl_PIP_Problem_has_big_parameter_dimension/2, + ppl_PIP_Problem_set_big_parameter_dimension/2, + ppl_PIP_Problem_is_satisfiable/1, + ppl_PIP_Problem_solve/2, + ppl_PIP_Problem_solution/2, + ppl_PIP_Problem_optimizing_solution/2, + ppl_PIP_Problem_OK/1, + ppl_PIP_Problem_ascii_dump/1, + ppl_PIP_Tree_Node_constraints/2, + ppl_PIP_Tree_Node_is_solution/1, + ppl_PIP_Tree_Node_is_decision/1, + ppl_PIP_Tree_Node_is_bottom/1, + ppl_PIP_Tree_Node_artificials/2, + ppl_PIP_Tree_Node_OK/1, + ppl_PIP_Tree_Node_parametric_values/3, + ppl_PIP_Tree_Node_true_child/2, + ppl_PIP_Tree_Node_false_child/2 from ppl_xsb. :- [ppl_xsb].

1 0

[GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize process_pending_constraints() for sparse backends with fast random reads and/or writes.
by Marco Poletti 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: 5decd22233c2eb444adc51b64311b32cd0f385ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5decd22233c2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 19:20:19 2010 +0200 MIP_Problem: optimize process_pending_constraints() for sparse backends with fast random reads and/or writes. --- src/MIP_Problem.cc | 59 ++++++++++++++++++++++++++++++++++++++++++++------- 1 files changed, 51 insertions(+), 8 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index 6d819cc..651ecb0 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -717,11 +717,14 @@ PPL::MIP_Problem::process_pending_constraints() { ? artificial_index : 0; typedef process_pending_constraints_helper_struct buffer_element_t; - // Used to improve performance, ordering writes to tableau_k. - std::vector<buffer_element_t> buffer; - // Used to optimize access to tableau_k below. +#ifdef PPL_SPARSE_BACKEND_SLOW_RANDOM_READS + // Used to optimize access to tableau_k. std::vector<std::pair<dimension_type, dimension_type> > vars_in_base; +#endif + + // Used to improve performance, ordering writes to tableau_k. + std::vector<buffer_element_t> buffer; // Proceed with the insertion of the constraints. for (dimension_type k = tableau_num_rows, i = input_cs.size(); @@ -729,6 +732,8 @@ PPL::MIP_Problem::process_pending_constraints() { if (is_tableau_constraint[i]) { // Copy the original constraint in the tableau. matrix_row_reference_type tableau_k = tableau[--k]; + +#ifdef PPL_SPARSE_BACKEND_SLOW_RANDOM_WRITES const Constraint& cs_i = input_cs[i]; for (dimension_type sd = cs_i.space_dimension(); sd-- > 0; ) { const Coefficient& current_coefficient = @@ -785,12 +790,44 @@ PPL::MIP_Problem::process_pending_constraints() { } buffer.clear(); } - // The following loops are equivalent to this simpler (but slower) loop. - // - // for (dimension_type j = base_size; j-- > 0; ) - // if (k != j && base[j] != 0 && tableau_k.get(base[j]) != 0) - // linear_combine(tableau_k, tableau[j], base[j]); +#else // defined(PPL_SPARSE_BACKEND_SLOW_RANDOM_WRITES) + const Constraint& cs_i = input_cs[i]; + for (dimension_type sd = cs_i.space_dimension(); sd-- > 0; ) { + const Coefficient& current_coefficient = + cs_i.coefficient(Variable(sd)); + // The test against 0 is not needed, but improves performance. + if (current_coefficient != 0) { + tableau_k[mapping[sd + 1].first] = current_coefficient; + // Split if needed. + if (mapping[sd + 1].second != 0) + neg_assign(tableau_k[mapping[sd + 1].second], + current_coefficient); + } + } + const Coefficient& cs_i_inhomogeneous_term = cs_i.inhomogeneous_term(); + // The test against 0 is not needed, but improves performance. + if (cs_i_inhomogeneous_term != 0) { + tableau_k[mapping[0].first] = cs_i_inhomogeneous_term; + // Split if needed. + if (mapping[0].second != 0) + neg_assign(tableau_k[mapping[0].second], cs_i_inhomogeneous_term); + } + // Add the slack variable, if needed. + if (cs_i.is_inequality()) { + neg_assign(tableau_k[--slack_index], Coefficient_one()); + // If the constraint is already satisfied, we will not use artificial + // variables to compute a feasible base: this to speed up + // the algorithm. + if (satisfied_ineqs[i]) { + base[k] = slack_index; + worked_out_row[k] = true; + } + } +#endif // defined(PPL_SPARSE_BACKEND_SLOW_RANDOM_WRITES) + + +#ifdef PPL_SPARSE_BACKEND_SLOW_RANDOM_READS // We need to sort accesses by base[j], not by j. for (dimension_type j = base_size; j-- > 0; ) @@ -825,6 +862,12 @@ PPL::MIP_Problem::process_pending_constraints() { } vars_in_base.clear(); + +#else // defined(PPL_SPARSE_BACKEND_SLOW_RANDOM_READS) + for (dimension_type j = base_size; j-- > 0; ) + if (k != j && base[j] != 0 && tableau_k.get(base[j]) != 0) + linear_combine(tableau_k, tableau[j], base[j]); +#endif // defined(PPL_SPARSE_BACKEND_SLOW_RANDOM_READS) } // We negate the row if tableau[i][0] <= 0 to get the inhomogeneous term > 0.

1 0

[GIT] ppl/ppl(sparse_matrices): PIP_Problem: optimize solve() for backends with fast random writes.
by Marco Poletti 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: b392bd331e5331d3fad9a9e359753e3cfcf962c6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b392bd331e53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 15 18:45:22 2010 +0200 PIP_Problem: optimize solve() for backends with fast random writes. --- src/PIP_Problem.cc | 25 +++++++++++++++++++++++++ 1 files changed, 25 insertions(+), 0 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index fa01e4e..cc9ede9 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -159,6 +159,7 @@ PPL::PIP_Problem::solve() const { = x.initial_context[x.initial_context.num_rows()-1]; { +#ifdef PPL_SPARSE_BACKEND_SLOW_RANDOM_WRITES matrix_row_iterator itr = row.end(); if (c.inhomogeneous_term() != 0) { @@ -202,6 +203,30 @@ PPL::PIP_Problem::solve() const { break; } } +#else // defined(PPL_SPARSE_BACKEND_SLOW_RANDOM_WRITES) + if (c.inhomogeneous_term() != 0) { + Coefficient& row0 = row[0]; + row0 = c.inhomogeneous_term(); + // Adjust inhomogenous term if strict. + if (c.is_strict_inequality()) + --row0; + } else { + // Adjust inhomogenous term if strict. + if (c.is_strict_inequality()) + neg_assign(row[0], Coefficient_one()); + } + dimension_type i = 1; + Variables_Set::const_iterator pi = param_begin; + + for ( ; pi != param_end; ++pi, ++i) { + if (*pi < c_space_dim) { + const Coefficient& x = c.coefficient(Variable(*pi)); + if (x != 0) + row[i] = x; + } else + break; + } +#endif // defined(PPL_SPARSE_BACKEND_SLOW_RANDOM_WRITES) } // If it is an equality, also insert its negation.

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: c015df929272527eaae8d88812fac917942a8597 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c015df929272… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 18:04:34 2010 +0200 Updated. --- ChangeLog | 8419 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 8341 insertions(+), 78 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c015df92…

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 15 Apr '10

15 Apr '10

Module: ppl/ppl Branch: master Commit: bf0c0ac2661acbf6492d20b8ef8b0982f9d9ffb3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf0c0ac2661a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 17:48:51 2010 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 3d0c31c..d33067d 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.11pre19], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre20], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[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