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.