URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e8b388378f6d... Merge: e7dbab946365a7ccf612a2205b504b37a863cff1 7619e0ea164cc929b987b59edbc87e3a0987bf0d Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 16 21:36:13 2010 +0200

Merge branch 'master' into sparse_matrices

Conflicts: src/PIP_Tree.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164cc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 16 15:16:17 2010 +0200

Properly document ppl_Coefficient_bits/1.

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

Corrected a few typos.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd68769135c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 16 14:06:50 2010 +0200

Corrected typo causing a bug in the XSB Prolog interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7db9d078f1531... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 16 11:14:23 2010 +0200

Add method wrap_assign() to Pointset_Powerset.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89dc0e98630f7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 16 11:13:48 2010 +0200

A minor stylistic improvement and a typo corrected.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1d... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Apr 16 09:02:05 2010 +0200

Silenced warnings.

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

A Prolog PIP_Problem test overflows positively for checked_int8

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

Added tests in the Prolog interface for ppl_all_affine_quasi_ranking_functions_MS_*

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

Added PIP_Problem predicates to list of predicates tested in pl_check.pl.

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

Updated.

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

Version number bumped.

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=b22579cc1c086... Author: Fabio Biselli fabio.biselli@studenti.unipr.it Date: Fri Apr 9 10:25:46 2010 +0200

Fixed Documentation.

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().