March 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(sparse_matrices): Added and improved documentation for the frequency operator.
by Patricia Hill 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: 2926baa7a2799ad83d9fa09bc86a80c7e172593b 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. --- doc/definitions.dox | 30 ++++++++++++++++++++++++++++++ src/BD_Shape.defs.hh | 21 ++++++++++----------- src/Box.defs.hh | 21 ++++++++++----------- src/Grid.defs.hh | 24 ++++++++++-------------- src/Octagonal_Shape.defs.hh | 21 ++++++++++----------- src/Partially_Reduced_Product.defs.hh | 2 +- src/Polyhedron.defs.hh | 26 ++++++++++---------------- 7 files changed, 81 insertions(+), 64 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2926baa7…

1 0

[GIT] ppl/ppl(sparse_matrices): Debugging output switched off.
by Roberto Bagnara 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: 587c1c124687a495204d7b226ee578a95827f57d 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. --- src/termination.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/termination.templates.hh b/src/termination.templates.hh index ce365c9..29a73a2 100644 --- a/src/termination.templates.hh +++ b/src/termination.templates.hh @@ -28,7 +28,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "BD_Shape.defs.hh" #include "Octagonal_Shape.defs.hh" -#define PRINT_DEBUG_INFO 1 +#define PRINT_DEBUG_INFO 0 #if PRINT_DEBUG_INFO #include <iostream>

1 0

[GIT] ppl/ppl(sparse_matrices): Fixed the handling of Termination.java.
by Roberto Bagnara 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: 3aa59de6c626d5665ee40d30401a2a4dd793d834 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. --- .../Java/parma_polyhedra_library/Makefile.am | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am index 199344b..73c0afa 100644 --- a/interfaces/Java/parma_polyhedra_library/Makefile.am +++ b/interfaces/Java/parma_polyhedra_library/Makefile.am @@ -155,14 +155,14 @@ $(srcdir)/Poly_Gen_Relation.java \ $(srcdir)/PPL_Object.java \ $(srcdir)/Relation_Symbol.java \ $(srcdir)/Timeout_Exception.java \ -$(builddir)/Termination.java \ $(srcdir)/Variable.java \ $(srcdir)/Variables_Set.java # NOTE: do _NOT_ add Fake_Class_for_Doxygen.java to this list. all_java_sources = \ $(fixed_java_sources) \ -$(required_instantiations_java_sources) +$(required_instantiations_java_sources) \ +Termination.java # NOTE: Fake_Class_for_Doxygen.java should be added here. EXTRA_DIST = \ @@ -207,6 +207,8 @@ source_generation.stamp: $(interface_generator_dependencies) $(required_instantiations_java_sources): source_generation.stamp +Termination.java: source_generation.stamp + CLEANFILES = \ $(required_instantiations_java_sources) \ $(required_instantiations_java_classes) \

1 0

[GIT] ppl/ppl(master): Fixed the expected result for test04().
by Roberto Bagnara 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: f491feddb41d60b7ecef4c297ce9880bc245b953 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(). --- tests/Polyhedron/termination1.cc | 7 +------ 1 files changed, 1 insertions(+), 6 deletions(-) diff --git a/tests/Polyhedron/termination1.cc b/tests/Polyhedron/termination1.cc index 90ca22b..b17af5b 100644 --- a/tests/Polyhedron/termination1.cc +++ b/tests/Polyhedron/termination1.cc @@ -121,16 +121,11 @@ test04() { Variable mu2(1); Variable mu0(2); NNC_Polyhedron known_result(3); - known_result.add_constraint(mu1 - mu2 >= 1); - known_result.add_constraint(mu0 + 2*mu1 >= 0); + known_result.add_constraint(mu1 - mu2 > 0); known_result.add_constraint(mu2 >= 0); print_constraints(known_result, "*** known_result ***"); - if (known_result.contains(mu_space)) - std::cout << "->" << endl; - if (mu_space.contains(known_result)) - std::cout << "<-" << endl; return known_result == mu_space; }

1 0

[GIT] ppl/ppl(master): Added and improved documentation for the frequency operator.
by Patricia Hill 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: 2926baa7a2799ad83d9fa09bc86a80c7e172593b 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. --- doc/definitions.dox | 30 ++++++++++++++++++++++++++++++ src/BD_Shape.defs.hh | 21 ++++++++++----------- src/Box.defs.hh | 21 ++++++++++----------- src/Grid.defs.hh | 24 ++++++++++-------------- src/Octagonal_Shape.defs.hh | 21 ++++++++++----------- src/Partially_Reduced_Product.defs.hh | 2 +- src/Polyhedron.defs.hh | 26 ++++++++++---------------- 7 files changed, 81 insertions(+), 64 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2926baa7…

1 0

[GIT] ppl/ppl(master): Debugging output switched off.
by Roberto Bagnara 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: 587c1c124687a495204d7b226ee578a95827f57d 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. --- src/termination.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/termination.templates.hh b/src/termination.templates.hh index ce365c9..29a73a2 100644 --- a/src/termination.templates.hh +++ b/src/termination.templates.hh @@ -28,7 +28,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "BD_Shape.defs.hh" #include "Octagonal_Shape.defs.hh" -#define PRINT_DEBUG_INFO 1 +#define PRINT_DEBUG_INFO 0 #if PRINT_DEBUG_INFO #include <iostream>

1 0

[GIT] ppl/ppl(master): Fixed the handling of Termination.java.
by Roberto Bagnara 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: 3aa59de6c626d5665ee40d30401a2a4dd793d834 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. --- .../Java/parma_polyhedra_library/Makefile.am | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am index 199344b..73c0afa 100644 --- a/interfaces/Java/parma_polyhedra_library/Makefile.am +++ b/interfaces/Java/parma_polyhedra_library/Makefile.am @@ -155,14 +155,14 @@ $(srcdir)/Poly_Gen_Relation.java \ $(srcdir)/PPL_Object.java \ $(srcdir)/Relation_Symbol.java \ $(srcdir)/Timeout_Exception.java \ -$(builddir)/Termination.java \ $(srcdir)/Variable.java \ $(srcdir)/Variables_Set.java # NOTE: do _NOT_ add Fake_Class_for_Doxygen.java to this list. all_java_sources = \ $(fixed_java_sources) \ -$(required_instantiations_java_sources) +$(required_instantiations_java_sources) \ +Termination.java # NOTE: Fake_Class_for_Doxygen.java should be added here. EXTRA_DIST = \ @@ -207,6 +207,8 @@ source_generation.stamp: $(interface_generator_dependencies) $(required_instantiations_java_sources): source_generation.stamp +Termination.java: source_generation.stamp + CLEANFILES = \ $(required_instantiations_java_sources) \ $(required_instantiations_java_classes) \

1 0

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

23 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0e10d0cb464… Merge: f4b385706bf8e72fabe551b7a83c6ec5fecddfce c5e70fc559ef46ae4ea35c4ed1dcdc415d3e5a16 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 09:14:51 2010 +0400 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=c5e70fc559ef… Merge: ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3 cf4849fd4290f04510c33c0a0582dc537e808500 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 23 09:10:11 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef1ccd4fea5b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:54:43 2010 +0100 Cut exponential execution paths by calls to maybe_abandon(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55a4822b6ce0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:51:56 2010 +0100 All test functions should be declared in the anonymous namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b647339a3a3e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 12:01:52 2010 +0000 Revised exceptions that can be thrown. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=718813cb67fe… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 11:31:29 2010 +0000 Added missing C++ exceptions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47b3a6714f3f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 10:19:29 2010 +0000 Revised to allow for for expected logic_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a684bb36a7a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 21 19:25:53 2010 +0100 Let test13 compile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfc36c700221… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 17:13:14 2010 +0000 Code, unintensionally added by previous commit, removed.. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8da5d7cae86… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 16:47:17 2010 +0000 Finished adding code for the java interface to the termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8799e410088… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 14:54:42 2010 +0000 Added OCaml interface code for the 6 new termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf4849fd4290… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:54:43 2010 +0100 Cut exponential execution paths by calls to maybe_abandon(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fae6ec5525c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 22 13:51:56 2010 +0100 All test functions should be declared in the anonymous namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ac27881f203… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 12:01:52 2010 +0000 Revised exceptions that can be thrown. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef1ea9ed97e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 11:31:29 2010 +0000 Added missing C++ exceptions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec850342436… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 22 10:19:29 2010 +0000 Revised to allow for for expected logic_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=027210b2a709… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 21 19:25:53 2010 +0100 Let test13 compile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ede25520fb54… Merge: 3b435f819c6f8b23e3e8a4f8d0d82777a499a6c7 b43d29400ddc9823f5d08d4148adb804dcc8e321 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 21 07:33:09 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b43d29400ddc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 21 07:32:40 2010 +0400 Fixed the ordering of exception handlers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b435f819c6f… Merge: 636c546843046a5cfa6d27a1aa4a8171d7e537ab 0f40cc8d92d033ab5c78cdd2d4661f395603e8b5 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 21 06:56:23 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f40cc8d92d0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 22:00:34 2010 +0000 Added further needed code for handling logic_error exception. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ceb0b7e208b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 21:49:18 2010 +0000 Added missing code for logic_error exception. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636c54684304… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 21:44:54 2010 +0000 Simplified OCaml code for all_zero() and all_homogeneous_terms_are_zero() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=866c0a278c03… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 21:27:54 2010 +0000 Added OCaml interface for Linear_Expression::is_zero() and all_homogeneous_terms_are_zero(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cf98127510b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 15:08:15 2010 +0000 Added std::logic_error to the list of exceptions caught. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1fbc0fec962… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 16:51:42 2010 +0000 Added Java interface for Linear_Expression::is_zero() and Linear_Expression::all_homogeneous_terms_are_zero(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5dc0a6af950… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 14:27:17 2010 +0000 Added some of the Java interface code needed for the termination methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca9a894625c3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sat Mar 20 11:41:44 2010 +0100 Added a test generating a solution node with two context constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f74236c272… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:33:13 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c161e90b6cb5… Merge: a55e13a59c2877379aa61686371696e30dbabcd1 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:30:07 2010 +0400 Merge branch 'master' into termination Conflicts: interfaces/Prolog/ppl_prolog_common.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a77adddb8e… Merge: 367f75cf57a1576f54c0bf553c714e838d8c1773 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:27:47 2010 +0400 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a55e13a59c28… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 13:37:34 2010 +0000 Updated the first item for TODO and removed code for linear expression is_zero() and all_homogeneous_terms_are_zero() from the Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9130e24746… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 17:00:03 2010 +0000 All_affine_ranking_functions_PR* functions, for the C and Prolog interfaces now take an NNC polyhedron as the last argument and not a C one. Interface Linear_Expression::is_zero() and Linear_Expression::all_homogeneous_terms_are_zero() added to the C and Prolog interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dab9262cbdb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:22:59 2010 +0400 Completed the implementation of all_affine_ranking_functions_PR*(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a11789292414… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:22:12 2010 +0400 New Linear_Expression methods. Methods bool Linear_Expression::is_zero() const and bool Linear_Expression::all_homogeneous_terms_are_zero() const return true if and only if `*this' is 0, and if and only if all the homogeneous terms of `*this' are 0, respectively. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eda06954832… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:15:16 2010 +0400 Termination functions renamed in non-C++ interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609a4b2ead0b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 08:32:46 2010 +0000 Delete objects before exiting code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d99284d19450… Merge: 7ededcd1147e0df879bdfaf92e9fa49c5482653d 2df786e330fbe20f7c268860bd791cc627d4c22a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 11:32:34 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ededcd1147e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 11:31:30 2010 +0400 Completed test07(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=357f7bebfaf4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 11:13:02 2010 +0400 Fixed one_affine_ranking_function_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cffedb3d03e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 09:11:16 2010 +0400 Several corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=003fb0b78634… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 06:55:41 2010 +0400 Turn off debugging output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72e0e99576d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 06:52:45 2010 +0400 Fixed two bogus invocations of PPL_WEAK_REGISTER. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff0e20fbd91f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 21:11:12 2010 +0400 Fixed several typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dcffed9f68f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 20:56:40 2010 +0400 Fixed some invocations of PPL_CHECK. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6939662599fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 20:44:53 2010 +0400 Define PROLOG_TRACK_ALLOCATION to 1 to make a few bugs evident. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d0e260671a9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 20:36:04 2010 +0400 C and Prolog interfaces for the termination utility functions renamed and fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=344cb0aca8ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 19:59:54 2010 +0400 Kludge removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f0858faa246… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 19:58:24 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6ba16bc72f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 18:46:27 2010 +0400 Completed fill_constraint_system_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a8b57ac7306… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 15:56:17 2010 +0400 Kludge to allow the proof-of-concept implementation of the PR functions to compile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6c37d8cca26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 15:11:07 2010 +0400 Temporarily implemented termination_test_PR() in terms of termination_test_PR_2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fb912684fdd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 14:50:42 2010 +0400 Implemented and fixed termination utilities with two input abstractions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f9f111da40… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 14:50:01 2010 +0400 Code formatting fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02ffc8f4e65b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 07:46:03 2010 +0000 Added a test (based on test10 in termination1.cc in the tests/Polyhedron directory) for termination_test_MS/1 and termination_test_PR/1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec57f6b3e45d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 07:32:57 2010 +0000 Added termination_test functions ending with "_2". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38e738d30f66… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 07:17:59 2010 +0000 Fixed some cut and paste typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be095b01fae7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 17 10:35:22 2010 +0400 Arities fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d8adeb605e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 16:34:59 2010 +0400 Printing of debug information suppressed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2472d5274d7f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 16:33:35 2010 +0400 Implemented template termination_test_PR_2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e27545f793d0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 11:21:30 2010 +0000 Added more termination_test predicates to the Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dc0de142813… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 14:58:52 2010 +0400 New versions of the termination utility functions with two input parameters. The PR ones are only stubs for the time being. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0169d5ede310… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 16 06:47:42 2010 +0400 Add BD_Shape<int8_t> to the instantiations enabled by default. BD_Shape<int8_t> allows to efficiently encode monotonicity constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367f75cf57a1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b93d10b25019… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 10 15:08:47 2010 +0000 Improved variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=147de8cc7cdf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 10 15:23:12 2010 +0400 test10() and test11() witness a bug in termination_test_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1d4481a3175… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 17:03:16 2010 +0400 Implemented the improved Podelski and Rybalchenko termination test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df002a70c373… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 14:31:09 2010 +0400 Function renamed. Unwanted stuff removed from comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e69262acd5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:43:32 2010 +0400 LaTeX code fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0d81dc0f79… Merge: a284ae47e8ec209d8235bc21f2802d6023fec2ec 114f0e38474584e74743f67fd1203487241b60e8 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:38:21 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a284ae47e8ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:11:32 2010 +0400 Description of the PR method improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd140775f606… Merge: 7d037e04dd8bf3d0713845d41b4eb155ff911912 4e2cacd9738634f10872d5e63f3fa9551d546a7e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 09:03:36 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d037e04dd8b… Merge: ea1d686ab772b820f2d094851f3cbf330f05f9e7 f9fbde6765402ee509a03d952fdae02115c266fa Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:05:31 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea1d686ab772… Merge: 276bf49a11da0443cc5b284cf880858a8911b48a 0a6c325c3b9615411ba40c44743268f33303589a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 22:01:23 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276bf49a11da… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 21:52:26 2010 +0400 Debugging output switched off. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bcdb95d9ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 21:37:08 2010 +0400 Fixed the implementation of the *_all_affine_ranking_functions_* predicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38df1b8d05c7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 20:22:46 2010 +0400 Fixed one_affine_ranking_function_MS(): it was not projecting the generator onto the mu variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea4a32cfd39a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 16:22:46 2010 +0000 Code for Polyhedron_all_affine_ranking_functions_PR and similar revised - but is buggy. m4 version needs fixing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81ffc77370c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 18:39:23 2010 +0400 Support newer versions of SWI-Prolog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c066af6c0505… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:57:31 2010 +0400 Fixed some copy-and-paste mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f1381c41b71… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 13:34:53 2010 +0000 Added the rest of the termination functions to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8bcb32b2739… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 12:46:14 2010 +0000 Fixed some bugs in the Prolog interface termination code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07ba164136b4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 12:39:37 2010 +0000 Added the new termination functions to Prolog interface and the termination_test_MS only to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e804f7e23346… Merge: c59646077762fcf090705ece6876b8ef35623c8b 54bf68f9ee93822f8792c0d89d45ebd0b5823aee Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:25:15 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c59646077762… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 15:41:23 2010 +0400 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cda8c51361f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 15:16:40 2010 +0400 Added a couple of missing constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e848582e115… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 14:22:41 2010 +0400 Fixed the input polyhedra for test01() and test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bf82f6ed4a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 13:53:49 2010 +0400 Added stub implementations for one_affine_ranking_function_PR() and all_affine_ranking_functions_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a21fe775ff7… Merge: 4684207ce34a88f9552f450faa6e019e475e4027 d054a83797b9b861addd7cdc5abac091edaf5865 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 10:44:11 2010 +0100 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4684207ce34a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 13:35:33 2010 +0400 Documentation improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37d7226faeb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 22:09:59 2010 +0400 Still working on specifications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8680f29d7d3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 20:42:21 2010 +0400 Completed a couple of comment blocks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5356f0d0a512… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 18:39:34 2010 +0400 Documented the interfaces of the termination analysis functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a94878edd54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 16:34:38 2010 +0400 LaTeX inconsistency removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef46f1fa94c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 15:52:03 2010 +0400 Moved the utilities for termination analysis to their final destination. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2d2e0aa634… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 14:32:06 2010 +0400 Several improvements. Changed the encoding of the input systems. Started drafting the implementation of the method of Podelski and Rybalchenko. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e66a1705f54a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 6 21:46:52 2010 +0400 Added functions for termination analysis following the approach of Mesnard and Serebrenik. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6433c0db927… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 5 22:18:05 2010 +0400 Added method bool Constraint_System::has_equalities() const.

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 23 Mar '10

23 Mar '10

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=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=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=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=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=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=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=b93d10b25019… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 10 15:08:47 2010 +0000 Improved variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=147de8cc7cdf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 10 15:23:12 2010 +0400 test10() and test11() witness a bug in termination_test_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1d4481a3175… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 17:03:16 2010 +0400 Implemented the improved Podelski and Rybalchenko termination test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df002a70c373… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 14:31:09 2010 +0400 Function renamed. Unwanted stuff removed from comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e69262acd5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:43:32 2010 +0400 LaTeX code fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0d81dc0f79… Merge: a284ae47e8ec209d8235bc21f2802d6023fec2ec 114f0e38474584e74743f67fd1203487241b60e8 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:38:21 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a284ae47e8ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:11:32 2010 +0400 Description of the PR method improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd140775f606… Merge: 7d037e04dd8bf3d0713845d41b4eb155ff911912 4e2cacd9738634f10872d5e63f3fa9551d546a7e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 09:03:36 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d037e04dd8b… Merge: ea1d686ab772b820f2d094851f3cbf330f05f9e7 f9fbde6765402ee509a03d952fdae02115c266fa Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:05:31 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea1d686ab772… Merge: 276bf49a11da0443cc5b284cf880858a8911b48a 0a6c325c3b9615411ba40c44743268f33303589a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 22:01:23 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276bf49a11da… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 21:52:26 2010 +0400 Debugging output switched off. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bcdb95d9ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 21:37:08 2010 +0400 Fixed the implementation of the *_all_affine_ranking_functions_* predicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38df1b8d05c7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 20:22:46 2010 +0400 Fixed one_affine_ranking_function_MS(): it was not projecting the generator onto the mu variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea4a32cfd39a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 16:22:46 2010 +0000 Code for Polyhedron_all_affine_ranking_functions_PR and similar revised - but is buggy. m4 version needs fixing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81ffc77370c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 18:39:23 2010 +0400 Support newer versions of SWI-Prolog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c066af6c0505… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:57:31 2010 +0400 Fixed some copy-and-paste mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f1381c41b71… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 13:34:53 2010 +0000 Added the rest of the termination functions to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8bcb32b2739… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 12:46:14 2010 +0000 Fixed some bugs in the Prolog interface termination code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07ba164136b4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 8 12:39:37 2010 +0000 Added the new termination functions to Prolog interface and the termination_test_MS only to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e804f7e23346… Merge: c59646077762fcf090705ece6876b8ef35623c8b 54bf68f9ee93822f8792c0d89d45ebd0b5823aee Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:25:15 2010 +0400 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c59646077762… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 15:41:23 2010 +0400 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cda8c51361f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 15:16:40 2010 +0400 Added a couple of missing constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e848582e115… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 14:22:41 2010 +0400 Fixed the input polyhedra for test01() and test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bf82f6ed4a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 13:53:49 2010 +0400 Added stub implementations for one_affine_ranking_function_PR() and all_affine_ranking_functions_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a21fe775ff7… Merge: 4684207ce34a88f9552f450faa6e019e475e4027 d054a83797b9b861addd7cdc5abac091edaf5865 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 10:44:11 2010 +0100 Merge branch 'master' into termination URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4684207ce34a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 13:35:33 2010 +0400 Documentation improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37d7226faeb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 22:09:59 2010 +0400 Still working on specifications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8680f29d7d3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 20:42:21 2010 +0400 Completed a couple of comment blocks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5356f0d0a512… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 18:39:34 2010 +0400 Documented the interfaces of the termination analysis functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a94878edd54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 16:34:38 2010 +0400 LaTeX inconsistency removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef46f1fa94c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 15:52:03 2010 +0400 Moved the utilities for termination analysis to their final destination. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2d2e0aa634… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 14:32:06 2010 +0400 Several improvements. Changed the encoding of the input systems. Started drafting the implementation of the method of Podelski and Rybalchenko. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e66a1705f54a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 6 21:46:52 2010 +0400 Added functions for termination analysis following the approach of Mesnard and Serebrenik. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6433c0db927… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 5 22:18:05 2010 +0400 Added method bool Constraint_System::has_equalities() const.

1 0

[GIT] ppl/ppl(termination): New commits
by Roberto Bagnara 23 Mar '10

23 Mar '10

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=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.

1 0