URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97f72b3521e8... Merge: b22579cc1c086702eb713365ea49e5c8783f3ace e17e80c8940b435d646eaac97bba591ee744ef34 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 15 17:43:21 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e17e80c8940b4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 15 17:39:08 2010 +0200

Both GNU Prolog 1.3.0 and GNU Prolog 1.3.1 have bugs that affect the PPL.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcc4ff72caf51... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 15 15:06:28 2010 +0200

Minor improvements to documentation. Deal with the special cse of an empty input pointset for methods all_affine_*. Adapted and improved test10 in termination2.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baa72379c66f7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 15 13:58:39 2010 +0200

Overflow is expected for PIP_Problem tests with 8 bits coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb0d779dadba7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 15 12:47:16 2010 +0200

Increased GLOBALSZ for the execution of the automatically generated test.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f00290188682f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 15 11:33:29 2010 +0200

Add ppl_Coefficient_bits to Prolog and OCaml interfaces. Renamed corresponding static method in Java interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b51b3600e55ea... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Apr 14 07:54:49 2010 +0100

Allow for the Shape_Preserving_Product to be generated in the interfaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=037c5b2d0a722... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Apr 14 07:53:21 2010 +0100

Fixed a bug in the all_affine_ranking_functions*_Grid* tests in Prolog interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95907486afa72... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 13 18:10:12 2010 +0200

Some tests now succeed even on initially empty polyhedra.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0d4c00944c41... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 13 18:09:45 2010 +0200

Corrected typo in shift_unprimed_variables().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3804165053e0... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Apr 13 16:26:15 2010 +0100

Added further tests for the termination methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4d1ad3031cd6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 13 10:21:28 2010 +0200

Avoid assertion crash on universe polyhedra.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=543d7d068dc43... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Apr 13 07:57:34 2010 +0100

Fixed some bugs in the tests for drop_some_non_integer_points() and added a test for termination_test_*.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9fd6d302f987... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Apr 12 16:04:04 2010 +0100

Added tests to the OCaml interface for new functions wrap_assign(), drop_some_non_integer_points() and termination_test_*. Bug in termination_test_*. fixed and test showing these added to termination1.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96df33856cdb2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Apr 11 16:17:44 2010 +0200

Added static method Coefficient.ppl_bits() to Java interface. test04 in PIP_Problem_test1.java overflows when using 8-bit checked integers. Fixed method PIP_TREE_Node.toString().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=694281b3a925b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 11 09:49:50 2010 +0200

test01() and test03() always succeed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bc3b69e7f30... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 11 09:25:47 2010 +0200

Added an entry for the new functionality concerning the synthesis of linear (quasi-) ranking functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a314d3c059b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 11 09:06:13 2010 +0200

Worked around a Doxygen bug.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2658694de4681... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 11 08:59:57 2010 +0200

Cite BMPZ10.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac22982884b25... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 11 08:45:38 2010 +0200

Bibliography updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b42b6e35ad512... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sat Apr 10 20:39:11 2010 +0100

Added drop_some_non_integer_points(const Variables_Set& vars, Complexity_Class complexity = ANY_COMPLEXITY)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb5a410c4e262... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sat Apr 10 20:23:19 2010 +0100

Added drop_some_non_integer_points() to the product domain

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ba66813973ab... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 18:23:12 2010 +0200

Trailing whitespace removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8126fc4ec706... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 18:23:01 2010 +0200

Variable hiding avoided.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b18b92fc50ddb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 12:16:46 2010 +0200

Added a point about the new drop_some_non_integer_points() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31f6a807bebbc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 11:33:41 2010 +0200

Tentative release date is May 8, 2010. Reorganized and improved some news items.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e77b2da3be691... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 11:25:01 2010 +0200

Man pages updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d23fe5df7c16... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 8 22:42:20 2010 +0200

Renamed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ca985398d21... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 8 22:41:02 2010 +0200

Pushed one item to PPL 0.12. We will not have 0.10.3 release.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3d2caf268af5... Merge: be262c561929432c22960e53026853d520396d7b be24cc575d751884fdf867291842645b3c8096ae Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 8 22:39:46 2010 +0200

Merge remote branch 'origin/master'

Conflicts: TODO

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be262c5619294... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 8 22:34:23 2010 +0200

Perl is no longer a strict requirement.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be24cc575d751... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 16:20:40 2010 +0100

Added ppl_PIP_Problem_has_big_parameter_dimension that returns true if and only if the pip problem has a big parameter set.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01224d157033e... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 16:20:17 2010 +0100

Added documentation for Prolog PPL_Problem

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ffb054be82d5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 8 16:47:29 2010 +0200

Dealt with one of the items.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=039e6ba85aa46... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 8 15:57:50 2010 +0200

Better documentation for the two Row_Impl::Impl::operator delete(...).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a789a7575fa1... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 13:55:37 2010 +0100

Added documentation in the OCaml interface for the PIP_Problem.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2698ee022736... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 13:54:23 2010 +0100

ppl_PIP_Problem_get_big_parameter_dimension() now throws an exception if the big parameter has not been set.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c27fa3bd5ea26... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 13:52:26 2010 +0100

Removed a completed item: - Handle std::logic_error (now thrown in case watchdogs are not available) in all the interfaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=924d4fbdd9192... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 12:29:57 2010 +0100

Simplify function names in PIP_Tree_Node, matching corresponding predicate names in Prolog interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97c151b721fbf... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 12:06:01 2010 +0100

Simplified Prolog interface for PIP_Tree_Node.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46aa53b6bc984... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 11:44:06 2010 +0100

Removed artificial_parameter_sequence type. Added to the PIP_Problem tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99f17d8aa4bd3... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 11:42:06 2010 +0100

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f92bdda48d52... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Apr 7 17:37:14 2010 +0200

Restructured the OCaml interface to PIP_Tree_Node C++ classes. Also corrected several bugs related to object finalization.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f39f1ccdbe873... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 6 11:24:24 2010 +0200

Added a couple of entries.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8354fb40ac3b4... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Apr 6 09:52:31 2010 +0100

...get_big_parameter_dimension/2 changed to ...has_big_parameter_dimension/2 and now this fails if the "big dimension" == not_a_dimension().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c4bc05adbdf6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 6 10:18:29 2010 +0200

Solaris users should install GNU sed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=087b4f0fa21c2... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Apr 6 09:00:38 2010 +0100

Check if the Prolog system supports unbounded integers before testing the big_parameter for PIP_Problem.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85ea941ab9bc2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 6 09:58:17 2010 +0200

Added calls to WEIGHT macros.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cac4da6e7ece7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 5 20:46:24 2010 +0200

Corrected PIP_Problem test04 to properly call predicate ppl_*_artificials(). Applied a few renamings to the implementation of the predicate.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a72963f00f6c6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 5 18:44:27 2010 +0200

Fixed Java interface for PIP_Decision_Node::child_node(branch). New interface has a (unboxed) boolean parameter.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff51314489c00... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 5 18:26:47 2010 +0200

Added known results for a couple of tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=930f0a20a7bfd... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 5 18:14:15 2010 +0200

Fixed bugs in Octagonal_Shape:drop_some_on_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b995ff6fcf3f... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Apr 5 16:56:29 2010 +0200

Uniformed code and get rid of a warning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0e0437138194... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 5 16:28:14 2010 +0200

Avoid useless boxing of builtins when interfacing the wrap_assign(). Got rid of buggy j_boolean_to_bool() helper. Helper bool_to_j_boolean() renamed to bool_to_j_boolean_class() for clarity, as it builds a boxed Java Boolean value.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f76ad9a2a440... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 5 15:54:51 2010 +0200

Corrected a couple of typos.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2858adf2a80c7... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Apr 5 12:29:22 2010 +0100

Completed a draft implementation of PIP_Problem OCaml interface. A few tests added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d9e83d01ee94... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Apr 2 21:01:39 2010 +0100

A start on the PIP_Problem interface for OCaml.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=548cc48011408... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Apr 2 13:00:39 2010 +0100

Completed a draft of the PIP_Problem interface for Prolog. Added tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daa93a691f89a... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Apr 2 13:00:27 2010 +0100

Type fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8098a8c8f001... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Apr 2 12:58:56 2010 +0100

Restored previously removed method PIP_Problem_constraints().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b2dac6f55ee2... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 1 17:25:42 2010 +0100

Tests added. Some tests marked as expected to fail indicating bug(s) in the code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c068dabdd90ce... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 1 14:48:14 2010 +0100

Varios bug fixes and small improvements. A clone of test02 in pipproblem1.cc added to the Java tests. FIXME added to jni/ppl_java_common.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0006315311935... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 1 09:47:46 2010 +0200

Added "quasi ranking functions" generation procedures to OCaml interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=916b06c687704... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 31 22:17:48 2010 +0200

Drafted drop_some_non_integer_points() for Interval and Box.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07abce21d65f9... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 31 21:23:41 2010 +0200

Drafted drop_some_non_integer_points() for weakly relational shapes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9690f45d94004... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 31 19:24:41 2010 +0200

Fixed problems in the Artificial_Parameter(_Sequence) interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f107b625cb252... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 31 15:12:20 2010 +0100

Several improvements and bug fixes. Removed unwanted iterator class for Artificial_Parameter_Sequence.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29ad27fd3fe8c... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 31 10:05:58 2010 +0100

Several improvements and bug fixes. More tests for the Java inmterface added. Commented lines in test indicate where code needs fixing.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f99e22d0ea9e8... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 31 07:30:09 2010 +0100

Updated with news of the new reduction operator for partially reduced products and the new frequency operator. Removed a TODO item concerning the interfaces and termination methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2502ed96080... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 31 09:22:16 2010 +0400

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fadce8abb10c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 31 01:27:08 2010 +0200

Completed removal of Constraint_System_Iterator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43ec65852330b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 31 01:21:14 2010 +0200

Fixed assign_all_inequalities_approximation for shapes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ad56622a3e23... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 31 01:20:12 2010 +0200

Interfaced quasi_ranking procedures to C.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=332b5c15d9138... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 30 20:19:10 2010 +0100

Fixed problem with PIP_Problem constructor from a sequence of constraints. Added code for testing this. As there is no need for the class Constraint_System_Iterator, Constraint_System_Iterator.java is removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f02e4d79ecdc... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 30 17:41:39 2010 +0100

Some tests for some of the new PIP_Problem methods added. Various bugs fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08a88693cc732... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 30 15:12:11 2010 +0100

Completed draft Java interface for PIP_Problem (untested).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d083ca77b75e1... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 30 11:30:48 2010 +0100

Added Java interface tests for termination_test_MS, termination_test_PR, termination_test_MS_2 and termination_test_PR_2

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09db70209198b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Mar 30 11:53:00 2010 +0200

Enable Java interface for termination procedures (and corrected bugs).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=424dcc2421483... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 30 09:12:22 2010 +0100

Whitespace bug fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dae0d2224e1eb... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 30 09:06:27 2010 +0100

Almost complete (but untested) Java interface to the PIP_Problem

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f296c7dd6be1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 29 20:20:25 2010 +0200

Corrected several errors in Java interface for termination test procedures.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fccd1989cdc05... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 29 19:21:57 2010 +0400

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7c33880fca59... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 29 10:08:20 2010 +0200

Added to Prolog interface the predicates for quasi-ranking functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5707e3d66eca4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 29 09:17:19 2010 +0200

Added procedures computing all the affine quasi-ranking functions. Corrected a few glitches in the documentation and in exception messages.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d05d653edab68... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 27 15:55:01 2010 +0100

Factored away common code in the MS-based termination procedures. Improved PR-based termination procedures relying on MIP_Problem by mapping optimizations to satisfiability testing.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f9556efda1f1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 27 15:19:14 2010 +0100

Avoid a few annoying warnings for unused parameters. Indentation fixed. Avoid using "return;" at the end of function body.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ec4a13defe7f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 27 16:07:36 2010 +0400

Comma changed into full-stop.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd3833a17b3c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 27 11:04:12 2010 +0100

Other minor improvements in assign_all_inequalities_approximation().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bda0d459fde8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 27 09:13:40 2010 +0100

Apply more memory allocation improvements.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4df3615f9dbfe... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Mar 26 16:54:00 2010 +0100

A few optimizations applied to fill_constraint_systems_MS().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=366effb5cb034... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Mar 26 07:55:33 2010 +0100

Rename Termination.cc in ppl_java_Termination.cc in Java interface. Add the generated file to CLEANFILES.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8988758c44cc3... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 25 13:32:24 2010 +0000

Fixed bugs leading to warning messages.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7cb392b7d54c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 25 14:10:31 2010 +0100

Avoid nonpositivity constraints in the enhanced PR methods by changing sign. This is going to speed up the MIP_Problem based methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb01a69486339... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 25 12:58:42 2010 +0100

Use original PR method if a single pointset is provided. Prefer the enhanced method if two pointsets (before/after) are provided.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7fb3d1d0cee7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 25 12:37:25 2010 +0100

Avoid the creation of many temporary linear expressions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f07d12fc19f7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 25 12:00:22 2010 +0100

Added helper function sub_mul_assign() to Linear_Expression interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ba2b885fb004... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 25 11:51:29 2010 +0000

Added missing sources line.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3584a0b19f6e2... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 25 08:00:38 2010 +0000

Expected test result corrected.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87adbf3f20e36... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 25 07:14:40 2010 +0000

Bug in Grid::wrap_assign() fixed. Test that showed the bug added to wrap1.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b28f49a5038aa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Mar 25 09:41:59 2010 +0400

Fixed the all_affine_ranking_functions_PR*() functions to correctly deal with the case where the system is unsatisfiable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b54b2fabc3bea... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Mar 25 07:22:25 2010 +0400

Implemented methods Pointset_Powerset::drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f34bcd0e0c739... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Mar 25 07:07:04 2010 +0400

Test Polyhedron::drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e0624a5897a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Mar 25 07:06:19 2010 +0400

Fixed a couple of bugs in drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42af7d51365d1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 24 22:07:29 2010 +0400

Fixed a bug in drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b319599bb6747... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 24 21:39:53 2010 +0400

Enable *drop_some_non_integer_points* for Polyhedron; disable it for Pointset_Powerset.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1cb708053900... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 24 21:38:59 2010 +0400

Indentation corrected.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce7681699c3e6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 24 21:37:52 2010 +0400

Drafted the implementation of methods drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44bb8667fb1c4... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 14:31:43 2010 +0000

Enable the interfaces procedures for Grid::drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94e1497598ab7... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 14:27:29 2010 +0000

Added a draft implementation for Grid::drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70025f8ab0314... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 12:23:10 2010 +0000

Added the generated Termination files to make clean.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bbcc5ab4f06c... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 12:12:44 2010 +0000

In frequency(), deal properly with the case when a box is empty. Added tests for this case. Re-enable frequency test in the Prolog interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edde5f2794738... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 11:37:30 2010 +0000

Test disabled while problem is investigated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fb0618bd9c81... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 11:00:21 2010 +0000

Added interface code for drop_some_non-integer_points() methods. Note that these are only enabled for BD_Shapes, Octagonal_Shapes and Boxes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd86d85a455e9... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 09:38:14 2010 +0000

Added C interface for frequency(). Moved generator to language independent file.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94aa8cd38dadf... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 09:24:00 2010 +0000

Added Java interface method for frequency().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b43b4bfd1d15... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 09:12:41 2010 +0000

Added Ocaml interface function for frequency().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=490c97b15454b... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 08:34:57 2010 +0000

Added interface predicate for frequency(). Generated test added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9e41b895fb0f... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 07:02:35 2010 +0000

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3fd35ffe6f33... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 07:00:40 2010 +0000

Added stubs for 7 and 8 argument predicates. Missing predicate names added for pl_check test.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7864c532efdf... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 06:47:20 2010 +0000

Added stubs for 7 and 8 argument predicates.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06e30598ff1d9... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 06:37:05 2010 +0000

Move the wrap_assign generator to the language independent file.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3342c5e5b7b3... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 21:06:16 2010 +0000

Added documentation for prolog wrap_assign/8 predicate.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc103063d4fdf... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 20:01:55 2010 +0000

Added documentation for the OCaml wrap_assign function.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb165556dd22a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 24 06:43:33 2010 +0400

The `|' character cannot be used to produce proper paired delimiters.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=490971b3d76a9... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Mar 23 19:22:14 2010 +0100

Added implementations for the original PR termination tests. These are activated when the preprocessor flag USE_ORIGINAL_PR_METHOD is set. The flag is now active.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa99fbdd05ff7... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 17:51:20 2010 +0000

Improved documentation for frequency.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6821ba41f0d1c... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 17:38:48 2010 +0000

Type error fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e9040044889a... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 17:31:12 2010 +0000

Added interface code for wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc6dffb591691... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 17:30:05 2010 +0000

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=706a703a5546a... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 16:49:55 2010 +0000

Wrong latex fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=418e4ff3dc14d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 23 20:01:58 2010 +0400

Added two new tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e47ae35e17b0f... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 14:24:19 2010 +0000

Several errors in the documentation for frequency fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b97d0055b7b1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 23 17:06:04 2010 +0400

Fixed ill-positioned \f$.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c22a25b34054... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 11:08:20 2010 +0000

Added interface code for wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f491feddb41d6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 23 10:26:43 2010 +0100

Fixed the expected result for test04().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2926baa7a2799... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 07:46:58 2010 +0000

Added and improved documentation for the frequency operator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=587c1c124687a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 23 11:40:12 2010 +0400

Debugging output switched off.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aa59de6c626d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 23 08:06:44 2010 +0100

Fixed the handling of Termination.java.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=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.