URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0e10d0cb464e... Merge: f4b385706bf8e72fabe551b7a83c6ec5fecddfce c5e70fc559ef46ae4ea35c4ed1dcdc415d3e5a16 Author: Roberto Bagnara bagnara@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=c5e70fc559ef4... Merge: ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3 cf4849fd4290f04510c33c0a0582dc537e808500 Author: Roberto Bagnara bagnara@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=ef1ccd4fea5be... Author: Enea Zaffanella zaffanella@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=55a4822b6ce06... Author: Enea Zaffanella zaffanella@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=b647339a3a3e4... Author: Patricia Hill p.m.hill@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=718813cb67fe4... Author: Patricia Hill p.m.hill@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=47b3a6714f3f7... Author: Patricia Hill p.m.hill@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=3a684bb36a7a6... Author: Enea Zaffanella zaffanella@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=cfc36c700221d... Author: Patricia Hill p.m.hill@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=e8da5d7cae869... Author: Patricia Hill p.m.hill@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=c8799e410088e... Author: Patricia Hill p.m.hill@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=cf4849fd4290f... Author: Enea Zaffanella zaffanella@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=6fae6ec5525c4... Author: Enea Zaffanella zaffanella@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=3ac27881f203b... Author: Patricia Hill p.m.hill@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=2ef1ea9ed97e3... Author: Patricia Hill p.m.hill@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=0ec850342436e... Author: Patricia Hill p.m.hill@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=027210b2a7098... Author: Enea Zaffanella zaffanella@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=ede25520fb54f... Merge: 3b435f819c6f8b23e3e8a4f8d0d82777a499a6c7 b43d29400ddc9823f5d08d4148adb804dcc8e321 Author: Roberto Bagnara bagnara@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=b43d29400ddc9... Author: Roberto Bagnara bagnara@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=3b435f819c6f8... Merge: 636c546843046a5cfa6d27a1aa4a8171d7e537ab 0f40cc8d92d033ab5c78cdd2d4661f395603e8b5 Author: Roberto Bagnara bagnara@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=0f40cc8d92d03... Author: Patricia Hill p.m.hill@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=8ceb0b7e208be... Author: Patricia Hill p.m.hill@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=636c546843046... Author: Patricia Hill p.m.hill@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=866c0a278c037... Author: Patricia Hill p.m.hill@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=0cf98127510be... Author: Patricia Hill p.m.hill@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=e1fbc0fec962a... Author: Patricia Hill p.m.hill@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=e5dc0a6af950c... Author: Patricia Hill p.m.hill@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=ca9a894625c3c... Author: François Galea francois.galea@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=d9f74236c2727... Author: Roberto Bagnara bagnara@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=c161e90b6cb5c... Merge: a55e13a59c2877379aa61686371696e30dbabcd1 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara bagnara@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=42a77adddb8e0... Merge: 367f75cf57a1576f54c0bf553c714e838d8c1773 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara bagnara@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=a55e13a59c287... Author: Patricia Hill p.m.hill@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=9c9130e247463... Author: Patricia Hill p.m.hill@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=dab9262cbdb91... Author: Roberto Bagnara bagnara@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=a117892924148... Author: Roberto Bagnara bagnara@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=9eda06954832c... Author: Roberto Bagnara bagnara@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=609a4b2ead0b8... Author: Patricia Hill p.m.hill@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=d99284d19450f... Merge: 7ededcd1147e0df879bdfaf92e9fa49c5482653d 2df786e330fbe20f7c268860bd791cc627d4c22a Author: Roberto Bagnara bagnara@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=7ededcd1147e0... Author: Roberto Bagnara bagnara@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=357f7bebfaf45... Author: Roberto Bagnara bagnara@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=3cffedb3d03ed... Author: Roberto Bagnara bagnara@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=003fb0b786349... Author: Roberto Bagnara bagnara@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=72e0e99576d4a... Author: Roberto Bagnara bagnara@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=ff0e20fbd91fe... Author: Roberto Bagnara bagnara@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=1dcffed9f68fd... Author: Roberto Bagnara bagnara@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=6939662599fe0... Author: Roberto Bagnara bagnara@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=2d0e260671a9f... Author: Roberto Bagnara bagnara@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=344cb0aca8ae7... Author: Roberto Bagnara bagnara@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=3f0858faa2460... Author: Roberto Bagnara bagnara@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=d6ba16bc72f64... Author: Roberto Bagnara bagnara@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=9a8b57ac73068... Author: Roberto Bagnara bagnara@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=a6c37d8cca269... Author: Roberto Bagnara bagnara@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=2fb912684fddc... Author: Roberto Bagnara bagnara@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=56f9f111da40d... Author: Roberto Bagnara bagnara@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=02ffc8f4e65bb... Author: Patricia Hill p.m.hill@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=ec57f6b3e45d9... Author: Patricia Hill p.m.hill@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=38e738d30f668... Author: Patricia Hill p.m.hill@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=be095b01fae73... Author: Roberto Bagnara bagnara@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=9d8adeb605e46... Author: Roberto Bagnara bagnara@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=2472d5274d7f8... Author: Roberto Bagnara bagnara@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=e27545f793d0b... Author: Patricia Hill p.m.hill@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=1dc0de142813f... Author: Roberto Bagnara bagnara@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=0169d5ede3103... Author: Roberto Bagnara bagnara@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=367f75cf57a15... Author: Patricia Hill p.m.hill@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=b93d10b250194... Author: Patricia Hill p.m.hill@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=147de8cc7cdf6... Author: Roberto Bagnara bagnara@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=a1d4481a3175c... Author: Roberto Bagnara bagnara@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=df002a70c3736... Author: Roberto Bagnara bagnara@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=8e69262acd5ba... Author: Roberto Bagnara bagnara@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=5d0d81dc0f79d... Merge: a284ae47e8ec209d8235bc21f2802d6023fec2ec 114f0e38474584e74743f67fd1203487241b60e8 Author: Roberto Bagnara bagnara@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=a284ae47e8ec2... Author: Roberto Bagnara bagnara@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=cd140775f6065... Merge: 7d037e04dd8bf3d0713845d41b4eb155ff911912 4e2cacd9738634f10872d5e63f3fa9551d546a7e Author: Roberto Bagnara bagnara@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=7d037e04dd8bf... Merge: ea1d686ab772b820f2d094851f3cbf330f05f9e7 f9fbde6765402ee509a03d952fdae02115c266fa Author: Roberto Bagnara bagnara@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=ea1d686ab772b... Merge: 276bf49a11da0443cc5b284cf880858a8911b48a 0a6c325c3b9615411ba40c44743268f33303589a Author: Roberto Bagnara bagnara@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=276bf49a11da0... Author: Roberto Bagnara bagnara@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=a4bcdb95d9ed9... Author: Roberto Bagnara bagnara@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=38df1b8d05c74... Author: Roberto Bagnara bagnara@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=ea4a32cfd39ad... Author: Patricia Hill p.m.hill@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=b81ffc77370c6... Author: Roberto Bagnara bagnara@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=c066af6c05058... Author: Roberto Bagnara bagnara@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=3f1381c41b71f... Author: Patricia Hill p.m.hill@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=f8bcb32b2739e... Author: Patricia Hill p.m.hill@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=07ba164136b41... Author: Patricia Hill p.m.hill@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=e804f7e233464... Merge: c59646077762fcf090705ece6876b8ef35623c8b 54bf68f9ee93822f8792c0d89d45ebd0b5823aee Author: Roberto Bagnara bagnara@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=c59646077762f... Author: Roberto Bagnara bagnara@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=cda8c51361f8f... Author: Roberto Bagnara bagnara@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=5e848582e1152... Author: Roberto Bagnara bagnara@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=7bf82f6ed4a24... Author: Roberto Bagnara bagnara@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=0a21fe775ff71... Merge: 4684207ce34a88f9552f450faa6e019e475e4027 d054a83797b9b861addd7cdc5abac091edaf5865 Author: Roberto Bagnara bagnara@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=4684207ce34a8... Author: Roberto Bagnara bagnara@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=37d7226faeb9e... Author: Roberto Bagnara bagnara@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=8680f29d7d3d4... Author: Roberto Bagnara bagnara@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=5356f0d0a5125... Author: Roberto Bagnara bagnara@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=0a94878edd54e... Author: Roberto Bagnara bagnara@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=ef46f1fa94c83... Author: Roberto Bagnara bagnara@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=5d2d2e0aa6341... Author: Roberto Bagnara bagnara@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=e66a1705f54a5... Author: Roberto Bagnara bagnara@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=c6433c0db9272... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 5 22:18:05 2010 +0400

Added method bool Constraint_System::has_equalities() const.