- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Punctuation.
by Roberto Bagnara 27 Oct '13

27 Oct '13

Module: ppl/ppl Branch: master Commit: 02983e9e2fc41f467f01dad604b4a95ce8c0b927 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02983e9e2fc4… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Oct 27 20:41:17 2013 +0100 Punctuation. --- interfaces/Java/tests/Test_Executor.java | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Java/tests/Test_Executor.java b/interfaces/Java/tests/Test_Executor.java index 1f533fa..fabb2ef 100644 --- a/interfaces/Java/tests/Test_Executor.java +++ b/interfaces/Java/tests/Test_Executor.java @@ -55,7 +55,7 @@ public class Test_Executor { } } catch (Exception e) { - System.out.println("Unexpected exception caught."); + System.out.println("Unexpected exception caught:"); System.out.println(e.getMessage()); return false; }

1 0

[GIT] ppl/ppl(master): Corrected.
by Roberto Bagnara 27 Oct '13

27 Oct '13

Module: ppl/ppl Branch: master Commit: 79acc26ef2b5289f0eef7279e26f44285678f7ce URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79acc26ef2b5… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Oct 27 12:47:41 2013 +0100 Corrected. --- ...ppl_interface_generator_java_classes_cc_code.m4 | 19 ++++++++----------- 1 files changed, 8 insertions(+), 11 deletions(-) diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 index 95eccfa..694e400 100644 --- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 +++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 @@ -780,19 +780,16 @@ CATCH_ALL m4_define(`ppl_@CLASS@_positive_time_elapse_assign_code', `dnl -JNIEXPORT jboolean JNICALL +JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_@1TOPOLOGY@@1CLASS@_positive_time_elapse_assign -(JNIEnv* env, jobject j_this, jobject j_y) { - try { - @TOPOLOGY@@CPP_CLASS@* this_ptr - = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_this)); - @TOPOLOGY@@CPP_CLASS@* y_ptr - = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_y)); - this_ptr->positive_time_elapse_assign(*y_ptr); - } - CATCH_ALL; - return false; +(JNIEnv* env, jobject j_this, jobject j_y) try { + @TOPOLOGY@@CPP_CLASS@* this_ptr + = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_this)); + @TOPOLOGY@@CPP_CLASS@* y_ptr + = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_y)); + this_ptr->positive_time_elapse_assign(*y_ptr); } +CATCH_ALL; ')

1 0

[GIT] ppl/ppl(master): Interfaced Polyhedron::positive_time_elapse_assign() .
by Roberto Bagnara 24 Sep '13

24 Sep '13

Module: ppl/ppl Branch: master Commit: a841400f88dbf64d3af32c23d990e4620d979ee6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a841400f88db… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 24 22:10:28 2013 +0200 Interfaced Polyhedron::positive_time_elapse_assign(). Various other improvements. --- doc/definitions.dox | 39 +++++++++++--------- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 21 +++++++++++ interfaces/C/ppl_interface_generator_c_h_code.m4 | 9 +++++ ...ppl_interface_generator_java_classes_cc_code.m4 | 18 +++++++++ ...l_interface_generator_java_classes_java_code.m4 | 8 ++++ .../ppl_interface_generator_java_test_java_code.m4 | 14 +++++++ .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 27 ++++++++++++++ .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 8 ++++ .../ppl_interface_generator_ocaml_mli_code.m4 | 7 ++++ .../ppl_interface_generator_prolog_cc_code.m4 | 28 ++++++++++++++ .../ppl_interface_generator_prolog_hh_code.m4 | 7 ++++ ...erface_generator_common_procedure_generators.m4 | 1 + src/C_Polyhedron.cc | 9 +++++ src/C_Polyhedron_defs.hh | 11 ++++++ src/NNC_Polyhedron.cc | 5 --- src/NNC_Polyhedron_defs.hh | 6 ++- src/NNC_Polyhedron_inlines.hh | 5 +++ src/Polyhedron_defs.hh | 15 +++++++- src/Polyhedron_nonpublic.cc | 2 +- 19 files changed, 212 insertions(+), 28 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a841400f…

1 0

[GIT] ppl/ppl(master): Commented-out code removed.
by Roberto Bagnara 24 Sep '13

24 Sep '13

Module: ppl/ppl Branch: master Commit: 07039e7eabdc53598ac5f949301748941d77b9fb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07039e7eabdc… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 14 20:20:25 2013 +0200 Commented-out code removed. --- src/Polyhedron_nonpublic.cc | 51 ++++++++++++++++--------------------------- 1 files changed, 19 insertions(+), 32 deletions(-) diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 9e2070d..827d049 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -2250,18 +2250,15 @@ PPL::Polyhedron::positive_time_elapse_assign(const Polyhedron& y) { // We are going to do all sorts of funny things with new_gs, so we better // mark it unsorted. - // Notice: "Sorted" is an attribute of Linear_System, encapsulated by Generator_System; - // hence, the following is equivalent to new_gs.set_sorted(false). + // Note: `sorted' is an attribute of Linear_System, encapsulated by + // Generator_System; hence, the following is equivalent to + // new_gs.set_sorted(false). new_gs.sys.set_sorted(false); - // DEBUG - // std::cout << std::endl << "new_gs 1 (" << new_gs.num_rows() << "): "; - // new_gs.ascii_dump(std::cout); - // Remove all points from new_gs and put them in 'x_points_gs' for later use. // Notice that we do not remove the corresponding closure points. Generator_System x_points_gs; - for (dimension_type i = num_rows; i-- > 0;) { + for (dimension_type i = num_rows; i-- > 0;) { Generator &g = new_gs.sys.rows[i]; if (g.is_point()) { x_points_gs.insert(g); @@ -2310,29 +2307,19 @@ PPL::Polyhedron::positive_time_elapse_assign(const Polyhedron& y) { // Insert into new_gs the sum of g and each point of x. // For each original point gx of x... for (dimension_type j = x_points_gs.sys.num_rows(); j-- > 0; ) { - const Generator &gx = x_points_gs.sys.rows[j]; - PPL_ASSERT(gx.is_point()); - // ...insert the point obtained as the sum of g and gx. - Generator new_g = g; // make a copy - Coefficient new_divisor = g.expr.inhomogeneous_term() * gx.expr.inhomogeneous_term(); - - new_g.expr.linear_combine(gx.expr, gx.expr.inhomogeneous_term(), g.expr.inhomogeneous_term()); - new_g.expr.set_inhomogeneous_term(new_divisor); - if (new_g.is_not_necessarily_closed()) { - new_g.set_epsilon_coefficient(g.epsilon_coefficient()); - } - new_g.expr.normalize(); - - // DEBUG - // std::cout << std::endl << "g:"; - // IO_Operators::operator<<(std::cout, g.expr); - // std::cout << std::endl << "gx:"; - // IO_Operators::operator<<(std::cout, gx.expr); - // std::cout << std::endl << "new_g:"; - // IO_Operators::operator<<(std::cout, new_g.expr); - - PPL_ASSERT(new_g.OK()); - + const Generator &gx = x_points_gs.sys.rows[j]; + PPL_ASSERT(gx.is_point()); + // ...insert the point obtained as the sum of g and gx. + Generator new_g = g; // make a copy + Coefficient new_divisor = g.expr.inhomogeneous_term() * gx.expr.inhomogeneous_term(); + + new_g.expr.linear_combine(gx.expr, gx.expr.inhomogeneous_term(), g.expr.inhomogeneous_term()); + new_g.expr.set_inhomogeneous_term(new_divisor); + if (new_g.is_not_necessarily_closed()) { + new_g.set_epsilon_coefficient(g.epsilon_coefficient()); + } + new_g.expr.normalize(); + PPL_ASSERT(new_g.OK()); new_gs.insert(new_g); } break; @@ -2340,7 +2327,7 @@ PPL::Polyhedron::positive_time_elapse_assign(const Polyhedron& y) { // If g is not the origin, insert g into new_gs, as a ray. if (!g.expr.all_homogeneous_terms_are_zero()) { // Turn a copy of g into a ray. - Generator g_as_a_ray = g; + Generator g_as_a_ray = g; g_as_a_ray.expr.set_inhomogeneous_term(0); g_as_a_ray.expr.normalize(); PPL_ASSERT(g_as_a_ray.OK()); @@ -2361,7 +2348,7 @@ PPL::Polyhedron::positive_time_elapse_assign(const Polyhedron& y) { //Polyhedron new_x(...,new_gs); //swap(x,new_x); - + PPL_ASSERT(new_gs.sys.OK()); // Stealing the rows from `new_gs'.

1 0

[GIT] ppl/ppl(master): Missing comment added.
by Roberto Bagnara 24 Sep '13

24 Sep '13

Module: ppl/ppl Branch: master Commit: ed99c6f7ece9fb008b3eadfbc61802776779f3a6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed99c6f7ece9… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 14 20:31:42 2013 +0200 Missing comment added. --- src/Polyhedron_defs.hh | 7 +++++++ 1 files changed, 7 insertions(+), 0 deletions(-) diff --git a/src/Polyhedron_defs.hh b/src/Polyhedron_defs.hh index 0f36dc3..f5fbd49 100644 --- a/src/Polyhedron_defs.hh +++ b/src/Polyhedron_defs.hh @@ -2831,6 +2831,13 @@ protected: add_to_system_and_check_independence(Linear_System1& eq_sys, const Row2& eq); + /*! \brief + Assigns to \p *this the result of computing the + "positive time-elapse" between \p *this and \p y. + + \exception std::invalid_argument + Thrown if \p *this and \p y are dimension-incompatible. + */ void positive_time_elapse_assign(const Polyhedron& y); };

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 14 Sep '13

14 Sep '13

Module: ppl/ppl Branch: master Commit: 696e60bbcc01968988be2b29ea3d73045cdf3d2e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=696e60bbcc01… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 14 19:56:05 2013 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index f3e4862..25ffd0c 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,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], [1.1pre12], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre13], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 14 Sep '13

14 Sep '13

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05b0312b2ae3… Merge: eb2c84bd414b2345612ab16c4d325afd6a475a00 7e6ceed614822e32ec6c9286ea95d2c553cf005b Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 14 19:55:13 2013 +0200 Merge branch 'polyops'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e6ceed61482… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:21:00 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d1cac4b9e94… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:17:08 2013 +0200 Path fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a1ca2713f8d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:06:16 2013 +0200 Give up on -Werror: it increasingly causes problems. (Thanks to Stephen Montgomery-Smith.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52f8c2458eb1… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:02:01 2013 +0200 Directory fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d7529849b85… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 09:25:48 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=531968717ce2… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 16:27:14 2013 +0200 Mention recently fixed Java interface bug. The bug was observed by Gianluca Amato when working (in Java) using a 32 bit build of the PPL. Fixed in commit 30478fbeb75f3e675ec0b3eff32f0a8dd7991f7a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa7a5ed80e46… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 13:51:23 2013 +0200 Initialize custom_compare_ext field in structure custom_operations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c73089b7987… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 13:49:16 2013 +0200 Do not clean inexistent dat file. Be consistent in naming dat files in Grid's ascii_dump/load tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=161ea78b114a… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 13:44:17 2013 +0200 Convert C++ Variable id's to jlong before passing them to Java methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eebc8c95bf11… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 18:10:49 2013 +0200 Adapted to recent versions of GNU Prolog so as to work on 64-bit machines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f8b49681fed… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:19:00 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebcf2aa118c2… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:18:06 2013 +0200 Use the serial test harness in these directories. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddd1c4f64b21… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:11:38 2013 +0200 Automake `subdir-objects' option is not for us. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc81a9bd8c4e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:59:06 2013 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eabbef26ca8d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:48:29 2013 +0200 Put under Git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ab8b2722441… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:47:54 2013 +0200 Use the `subdir-objects' Automake option. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38ef7ac9ba79… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Sun May 26 20:33:25 2013 +0200 Fixed typo in the Java interface for method `frequency' and added testcase. Bug reported by Gianluca Amato. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37c8c9712dd6… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Thu May 16 16:55:55 2013 +0200 The documentation details of the Polyhedron::conversion() static method are not meant for the user manual. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7d3f2d9ed… Merge: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd b06285533ca60251c4132d1c388c64bdcbea62aa Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 21:44:45 2013 +0200 Merge branch 'master' into polyops URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecec8a84028b… Author: Marco Faella <marfaella(a)gmail.com> Date: Mon May 13 16:29:50 2013 +0200 Added test cases for the positive time elapse operator. Modified the user manual and the credits in order to acknowledge the new function and its authors, respectively. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e14a54f0b6c… Merge: 6790e3270667e4d85821bad8b879ead72498cabf fba4b31ebf3179be4fa020f5278d67728b192c8e Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jan 17 09:16:09 2013 +0100 Merge branch 'master' into polyops URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6790e3270667… Merge: a357bc4aefebd03e72ed131a086f966cf7cb65f5 479fd86bc58b644f81aec0cedd6b857b693cc25a Author: Marco Faella <marfaella(a)gmail.com> Date: Tue Jan 15 14:35:01 2013 +0100 Merge branch 'polyops' of ssh://git.cs.unipr.it/ppl/ppl into polyops URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a357bc4aefeb… Author: Marco Faella <marfaella(a)gmail.com> Date: Tue Jan 15 14:34:06 2013 +0100 first draft of positive_time_elapse added

1 0

[GIT] ppl/ppl(polyops): New commits
by Roberto Bagnara 14 Sep '13

14 Sep '13

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e6ceed61482… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:21:00 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d1cac4b9e94… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:17:08 2013 +0200 Path fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a1ca2713f8d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:06:16 2013 +0200 Give up on -Werror: it increasingly causes problems. (Thanks to Stephen Montgomery-Smith.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52f8c2458eb1… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:02:01 2013 +0200 Directory fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d7529849b85… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 09:25:48 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=531968717ce2… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 16:27:14 2013 +0200 Mention recently fixed Java interface bug. The bug was observed by Gianluca Amato when working (in Java) using a 32 bit build of the PPL. Fixed in commit 30478fbeb75f3e675ec0b3eff32f0a8dd7991f7a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa7a5ed80e46… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 13:51:23 2013 +0200 Initialize custom_compare_ext field in structure custom_operations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c73089b7987… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 13:49:16 2013 +0200 Do not clean inexistent dat file. Be consistent in naming dat files in Grid's ascii_dump/load tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=161ea78b114a… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Mon Sep 9 13:44:17 2013 +0200 Convert C++ Variable id's to jlong before passing them to Java methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eebc8c95bf11… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 18:10:49 2013 +0200 Adapted to recent versions of GNU Prolog so as to work on 64-bit machines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f8b49681fed… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:19:00 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebcf2aa118c2… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:18:06 2013 +0200 Use the serial test harness in these directories. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddd1c4f64b21… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:11:38 2013 +0200 Automake `subdir-objects' option is not for us. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc81a9bd8c4e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:59:06 2013 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eabbef26ca8d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:48:29 2013 +0200 Put under Git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ab8b2722441… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:47:54 2013 +0200 Use the `subdir-objects' Automake option. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38ef7ac9ba79… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Sun May 26 20:33:25 2013 +0200 Fixed typo in the Java interface for method `frequency' and added testcase. Bug reported by Gianluca Amato. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37c8c9712dd6… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Thu May 16 16:55:55 2013 +0200 The documentation details of the Polyhedron::conversion() static method are not meant for the user manual.

1 0

bug in Java minimized_constraints for 32bit Linux System
by Gianluca Amato 11 Sep '13

11 Sep '13

Hi, I found a problem using the Java bindings of the PPL 1.1pre10 on a 32bit Intel Linux systems. The program Y.java, which correctly works on 64bit systems, fails with the following error: Exception in thread "main" javax.management.RuntimeErrorException at parma_polyhedra_library.Variable.<init>(Variable.java:49) at parma_polyhedra_library.Polyhedron.minimized_constraints(Native Method) at Y.main(Y.java:16) Caused by: java.lang.Error: parma_polyhedra_library.Variable::Variable: an index variable cannot be negative. ... 3 more I am attaching the source code of the example, and the PPL config.log for a 32bit and a 64bit system I tried. --gianluca

2 2

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

10 Sep '13

Module: ppl/ppl Branch: master Commit: eb2c84bd414b2345612ab16c4d325afd6a475a00 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb2c84bd414b… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Sep 10 10:21:00 2013 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 34b68f6..f3e4862 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,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], [1.1pre11], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre12], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0