- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Modified signature of method maps() in Java Partial_Function interface.
by Enea Zaffanella 22 Apr '10

22 Apr '10

Module: ppl/ppl Branch: master Commit: c30a06c1bbee850d1ef6d74e23e6d77073578911 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c30a06c1bbee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 10:05:12 2010 +0200 Modified signature of method maps() in Java Partial_Function interface. Modified test implementation in tests/Test_Partial_Function.java accordingly (note though that TreeMap still uses Long objects). --- interfaces/Java/jni/ppl_java_common.inlines.hh | 20 ++++---------------- .../parma_polyhedra_library/Partial_Function.java | 8 ++++---- interfaces/Java/tests/Test_Partial_Function.java | 11 +++++------ 3 files changed, 13 insertions(+), 26 deletions(-) diff --git a/interfaces/Java/jni/ppl_java_common.inlines.hh b/interfaces/Java/jni/ppl_java_common.inlines.hh index d96681b..f449495 100644 --- a/interfaces/Java/jni/ppl_java_common.inlines.hh +++ b/interfaces/Java/jni/ppl_java_common.inlines.hh @@ -278,24 +278,12 @@ inline bool Partial_Function::maps(dimension_type i, dimension_type& j) const { jclass j_p_func_class = env->GetObjectClass(j_p_func); CHECK_RESULT_ASSERT(env, j_p_func_class); - jobject coeff = j_long_to_j_long_class(env, 0); - jobject new_by_ref = env->NewObject(cached_classes.By_Reference, - cached_FMIDs.By_Reference_init_ID, - coeff); - CHECK_RESULT_THROW(env, new_by_ref); - jmethodID j_maps_id - = env->GetMethodID(j_p_func_class, "maps", - "(Ljava/lang/Long;" - "Lparma_polyhedra_library/By_Reference;)Z"); + jmethodID j_maps_id = env->GetMethodID(j_p_func_class, "maps", "(J)J"); CHECK_RESULT_ASSERT(env, j_maps_id); - jboolean b = env->CallBooleanMethod(j_p_func, j_maps_id, - j_long_to_j_long_class(env, i), - new_by_ref); + jlong j_long_value = env->CallLongMethod(j_p_func, j_maps_id, i); CHECK_EXCEPTION_THROW(env); - if (b) { - jobject long_value = get_by_reference(env, new_by_ref); - j = jtype_to_unsigned<dimension_type>(j_long_class_to_j_long(env, - long_value)); + if (j_long_value >= 0) { + j = jtype_to_unsigned<dimension_type>(j_long_value); return true; } return false; diff --git a/interfaces/Java/parma_polyhedra_library/Partial_Function.java b/interfaces/Java/parma_polyhedra_library/Partial_Function.java index 782731d..323a352 100644 --- a/interfaces/Java/parma_polyhedra_library/Partial_Function.java +++ b/interfaces/Java/parma_polyhedra_library/Partial_Function.java @@ -50,10 +50,10 @@ public interface Partial_Function { long max_in_codomain(); /*! \brief - Sets \p j to the value (if any) of the partial function on index \p i. + If the partial function is defined on index \p i, returns its value. - The function returns \c true if and only if the partial function - is defined on domain value \p i. + The function returns a negative value if the partial function + is not defined on domain value \p i. */ - boolean maps(Long i, By_Reference<Long> j); + long maps(long i); } diff --git a/interfaces/Java/tests/Test_Partial_Function.java b/interfaces/Java/tests/Test_Partial_Function.java index cdff40b..7375851 100644 --- a/interfaces/Java/tests/Test_Partial_Function.java +++ b/interfaces/Java/tests/Test_Partial_Function.java @@ -37,12 +37,11 @@ public class Test_Partial_Function implements Partial_Function { max = 0; } - public boolean maps(Long i, By_Reference<Long> j) { - if (map.containsKey(i)) { - j.set(map.get(i)); - return true; - } - return false; + public long maps(long i) { + if (map.containsKey(i)) + return map.get(i); + else + return -1; } public long max_in_codomain() {

1 0

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

21 Apr '10

Module: ppl/ppl Branch: master Commit: 212a7409b92992e7b8275819676710e16224158c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=212a7409b929… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 21 18:55:53 2010 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index c690827..c4744c0 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.11pre21], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre22], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Fixed the printing of equality constraints.
by Roberto Bagnara 21 Apr '10

21 Apr '10

Module: ppl/ppl Branch: master Commit: a04daee5e4dcef68794ef5be1d5c412d29803a09 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a04daee5e4dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 21 18:54:32 2010 +0200 Fixed the printing of equality constraints. --- src/BD_Shape.templates.hh | 10 +++++----- src/Octagonal_Shape.templates.hh | 16 ++++++++-------- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 02eec79..bbb5e1b 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -5311,7 +5311,7 @@ BD_Shape<T>::generalized_affine_image(const Variable var, "*this is a BD_Shape"); if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine image computation. affine_image(var, expr, denominator); return; @@ -5893,7 +5893,7 @@ BD_Shape<T>::generalized_affine_preimage(const Variable var, "*this is a BD_Shape"); if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine preimage computation. affine_preimage(var, expr, denominator); return; @@ -6432,7 +6432,7 @@ IO_Operators::operator<<(std::ostream& s, const BD_Shape<T>& c) { if (i == 0) { // We have got a equality constraint with one variable. s << Variable(j - 1); - s << " == " << c_i_j; + s << " = " << c_i_j; } else { // We have got a equality constraint with two variables. @@ -6440,13 +6440,13 @@ IO_Operators::operator<<(std::ostream& s, const BD_Shape<T>& c) { s << Variable(j - 1); s << " - "; s << Variable(i - 1); - s << " == " << c_i_j; + s << " = " << c_i_j; } else { s << Variable(i - 1); s << " - "; s << Variable(j - 1); - s << " == " << c_j_i; + s << " = " << c_j_i; } } } diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 7dfb781..4b76797 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -5718,7 +5718,7 @@ Octagonal_Shape<T> "*this is an Octagonal_Shape"); if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine image computation. affine_image(var, expr, denominator); return; @@ -6686,7 +6686,7 @@ Octagonal_Shape<T> "*this is an Octagonal_Shape"); if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine preimage computation. affine_preimage(var, expr, denominator); return; @@ -7699,11 +7699,11 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { else s << ", "; // If the value bound can NOT be divided by 2 exactly, - // then we output the constraint `2*v_i == bound'. + // then we output the constraint `2*v_i = bound'. if (div_2exp_assign_r(half, x_ii_i, 1, ROUND_UP | ROUND_STRICT_RELATION) == V_EQ) - s << v_i << " == " << half; + s << v_i << " = " << half; else - s << "2*" << v_i << " == " << x_ii_i; + s << "2*" << v_i << " = " << x_ii_i; } else { // We will print unary non-strict inequalities, if any. @@ -7759,9 +7759,9 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { else s << ", "; if (sgn(x_i_j) >= 0) - s << v_j << " - " << v_i << " == " << x_i_j; + s << v_j << " - " << v_i << " = " << x_i_j; else - s << v_i << " - " << v_j << " == " << x_ii_jj; + s << v_i << " - " << v_j << " = " << x_ii_jj; } else { // We will print non-strict inequalities, if any. @@ -7801,7 +7801,7 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { first = false; else s << ", "; - s << v_j << " + " << v_i << " == " << x_ii_j; + s << v_j << " + " << v_i << " = " << x_ii_j; } else { // We will print non-strict inequalities, if any.

1 0

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

19 Apr '10

Module: ppl/ppl Branch: master Commit: 9088b000d17c9ad5141dab35927a23f5a545d32d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9088b000d17c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 19 19:33:08 2010 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index d33067d..c690827 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.11pre20], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre21], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE.
by Roberto Bagnara 19 Apr '10

19 Apr '10

Module: ppl/ppl Branch: master Commit: 4fd40ebc37d08d148dac661395515fecd7f55941 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fd40ebc37d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 19 19:19:42 2010 +0200 Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE. (Thanks to Ralf Wildenhues who identified the problem and to Sebastian Pop who reported a parallel build failure due to it.) --- src/Makefile.am | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 5d20cf7..24730bc 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -563,6 +563,7 @@ endif !USE_PRECOMPILED_HEADERS BUILT_SOURCES = \ $(include_HEADERS) \ $(nodist_noinst_HEADERS) \ +$(noinst_HEADERS) \ $(PRECOMPILED) \ BUGS.cc \ COPYING.cc \

1 0

PPL 0.11 ready for beta testing
by Roberto Bagnara 17 Apr '10

17 Apr '10

Hi there. PPL 0.11 release candidates are available at http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ Several items in the NEWS file should be of interest to the Graphite people. Please give them a try. If all goes well (i.e., the PPL bug-tracking system remains clean) PPL 0.11 will be released on May 8, 2010. Please take into account that our past record indicates that, despite our will to release more often, we are only able to release once per year. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 3

[GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: silence compiler warnings, in get2().
by Marco Poletti 16 Apr '10

16 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: 11905a9ef2b31044566591e7ba0419575462ec6e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11905a9ef2b3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Apr 16 22:07:44 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: silence compiler warnings, in get2(). --- src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh b/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh index a2b8188..bfc4ff5 100644 --- a/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh +++ b/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh @@ -685,8 +685,8 @@ Unlimited_Sparse_Row_Over_CO_Tree::get2(const dimension_type c1, const dimension_type c2, const Coefficient*& p1, const Coefficient*& p2) const { - const_iterator itr1; - const_iterator itr2; + const_iterator itr1 = begin(); + const_iterator itr2 = begin(); find2(c1, c2, itr1, itr2);

1 0

[GIT] ppl/ppl(sparse_matrices): Sparse_Matrix: silence compiler warning in OK().
by Marco Poletti 16 Apr '10

16 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: dea6ec7167aafa03a1a1cb6dd0550538541f5f66 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dea6ec7167aa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Apr 16 22:07:14 2010 +0200 Sparse_Matrix: silence compiler warning in OK(). --- src/Sparse_Matrix.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Sparse_Matrix.cc b/src/Sparse_Matrix.cc index 9491d02..77fcef7 100644 --- a/src/Sparse_Matrix.cc +++ b/src/Sparse_Matrix.cc @@ -139,7 +139,7 @@ PPL::Sparse_Matrix::OK() const { if (i->begin() != i->end()) { Unlimited_Sparse_Row::const_iterator j = i->begin(); Unlimited_Sparse_Row::const_iterator j_end = i->end(); - Unlimited_Sparse_Row::const_iterator next = j; + Unlimited_Sparse_Row::const_iterator next = i->begin(); ++next; while (next != j_end) ++j, ++next;

1 0

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

16 Apr '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e8b388378f6… Merge: e7dbab946365a7ccf612a2205b504b37a863cff1 7619e0ea164cc929b987b59edbc87e3a0987bf0d Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 21:36:13 2010 +0200 Merge branch 'master' into sparse_matrices Conflicts: src/PIP_Tree.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 15:16:17 2010 +0200 Properly document ppl_Coefficient_bits/1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41926a747ca7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 14:46:46 2010 +0200 Corrected a few typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd68769135… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 14:06:50 2010 +0200 Corrected typo causing a bug in the XSB Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7db9d078f153… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 11:14:23 2010 +0200 Add method wrap_assign() to Pointset_Powerset. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89dc0e98630f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 11:13:48 2010 +0200 A minor stylistic improvement and a typo corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Apr 16 09:02:05 2010 +0200 Silenced warnings. 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 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_* 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. 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. 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. 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=b22579cc1c08… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Fri Apr 9 10:25:46 2010 +0200 Fixed Documentation. 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().

1 0

[GIT] ppl/ppl(master): Properly document ppl_Coefficient_bits/1.
by Enea Zaffanella 16 Apr '10

16 Apr '10

Module: ppl/ppl Branch: master Commit: 7619e0ea164cc929b987b59edbc87e3a0987bf0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 15:16:17 2010 +0200 Properly document ppl_Coefficient_bits/1. --- interfaces/Prolog/Prolog_interface.dox | 4 ++-- interfaces/Prolog/XSB/xsb_pl_check.P | 1 + ...erface_generator_prolog_procedure_generators.m4 | 1 + interfaces/Prolog/ppl_prolog_sysindep_dox | 5 +++++ 4 files changed, 9 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index 7a442e4..7a7744e 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -389,9 +389,9 @@ 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. -<CODE> ppl_Coefficient_bits </CODE> +<CODE> ppl_Coefficient_bits(?Bits) </CODE> - Unifies the argument with the number of bits used to encode a + Unifies <CODE>Bits</CODE> with the number of bits used to encode a Coefficient in the C++ interface; 0 if unbounded. <CODE> ppl_Coefficient_is_bounded </CODE> diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P index c0e773f..e31cc56 100644 --- a/interfaces/Prolog/XSB/xsb_pl_check.P +++ b/interfaces/Prolog/XSB/xsb_pl_check.P @@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_version/1, ppl_banner/1, ppl_max_space_dimension/1, + ppl_Coefficient_bits/1, ppl_Coefficient_is_bounded/0, ppl_Coefficient_max/1, ppl_Coefficient_min/1, diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 index cfd158b..734c12b 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 @@ -41,6 +41,7 @@ ppl_version_beta/1, ppl_version/1, ppl_banner/1, ppl_max_space_dimension/1, +ppl_Coefficient_bits/1, ppl_Coefficient_is_bounded/0, ppl_Coefficient_max/1, ppl_Coefficient_min/1, diff --git a/interfaces/Prolog/ppl_prolog_sysindep_dox b/interfaces/Prolog/ppl_prolog_sysindep_dox index eed4006..10e87e4 100644 --- a/interfaces/Prolog/ppl_prolog_sysindep_dox +++ b/interfaces/Prolog/ppl_prolog_sysindep_dox @@ -303,6 +303,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. +<CODE> ppl_Coefficient_bits(?Bits) </CODE> + + Unifies <CODE>Bits</CODE> with the number of bits used to encode a + Coefficient in the C++ interface; 0 if unbounded. + <CODE> ppl_Coefficient_is_bounded </CODE> Succeeds if and only if the Coefficients in the C++ interface are bounded.

1 0