[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1d108bdf728e... Merge: 9ca74148368489a480aa47af8c1eac97bcd32d93 b9cd3bb78c41bee54756f3a030a3aea2688e7849 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 16 07:30:12 2010 +0200

Merge branch 'master' into bounded_arithmetic

Conflicts: src/Box.defs.hh src/Box.templates.hh

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

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=b831a0b77c3ba... Author: François Galea francois.galea@uvsq.fr Date: Fri Mar 19 22:21:49 2010 +0100

Fixed a typo in the documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb6... Author: François Galea francois.galea@uvsq.fr Date: Fri Mar 19 22:07:21 2010 +0100

Improved the documentation with examples for uses of the big parameter.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196d... Author: François Galea francois.galea@uvsq.fr Date: Fri Mar 19 07:44:11 2010 +0100

Added a couple of tests using the big parameter.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c819518... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 19 19:00:12 2010 +0100

Added formatting conventions to the STANDARDS file.

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=5911ab1fcc191... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Mar 19 09:47:59 2010 +0000

As in previous commit - ensure initialization of variables.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0e... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Mar 19 09:13:09 2010 +0000

Missing variable initialization added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4ece... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Mar 19 08:53:12 2010 +0000

Improved documentation for frequency().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c88... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Mar 19 08:55:40 2010 +0100

Corrected/improved a few tests in BD_Shape/frequency1.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 22:36:41 2010 +0100

Mention header file partially_reduced_product_test.hh.

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

Don't take the address of a temporary object.

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=cc825f2bac6aa... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 17:38:26 2010 +0100

Fixed tests/Partially_Reduced_Product/Makefile.am.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c6951... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 17:15:05 2010 +0100

Avoid a broken reference to another manual that is built later.

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

Define the SOURCES for test concatenate1.

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=11f7c4080b52e... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 18 14:16:15 2010 +0000

Avoid leakage when exiting a test.

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

Revised code neede for wrap assign wrap_assign in Java.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f521... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 14:17:15 2010 +0100

Let ppl_*_linear_partition/4 register its outputs to the allocator tracker.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 13:04:22 2010 +0100

Corrected typo: register the C++ pointer, not the Prolog term.

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

Corrected the expected results for test fimmel.pip.

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

Corrected expected result for test sor1d.pip.

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

Test 08 may does not overflow when using exact Octagonal_Shapes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474edb... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 11:24:38 2010 +0100

Fixed input file sor1d.pip. A line of blanks is not a valid comment line for the input reading routine.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 11:22:30 2010 +0100

Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc.

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=2df786e330fbe... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 17 17:14:35 2010 +0100

Fixed a few memory allocation problems in ppl_pips. Enabled the used of valgrind when running ppl_pips tests. Corrected the expected result for test fimmel.pip (unsatisfiable problem).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71aa196a17847... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 17 17:12:07 2010 +0100

Fixed a couple of resource allocation problems (reported by Marco Poletti).

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=4d0a50e95c3b8... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 17 11:30:48 2010 +0000

Fixed some typos for code related to the wrap_assign java interface.

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

Added implementation code for Java interface for wrap_assign.

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=445fe36196ddb... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 16 13:11:21 2010 +0000

Allow for the various numeric types in frequency1.cc

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

Java interface for wrap asign added.

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=8c3f8ae55af3c... 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=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=c68101c16e7f3... Merge: 8760df47483200e17daf43df3c7ca4ec7aad9185 6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 15 15:53:22 2010 +0400

Merge branch 'master' into products

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8760df4748320... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Mar 15 11:18:15 2010 +0000

Conflicts resolved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6060bda39a0fb... Author: François Galea francois.galea@uvsq.fr Date: Thu Mar 11 19:58:03 2010 +0100

Documentation fixes. Added a paragraph about optimizing a linear cost function.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed91bdf10a46c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 10 18:29:05 2010 +0100

Improved checks in PIP_Decision_Node::OK() method. There is no reason to have Artificial_Parameter::OK() inlined. Added a couple of comments on code that should be normally unreachable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61b4c1817137f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 10 18:27:08 2010 +0100

Fixed documentation reference.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374f46632936c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 10 17:14:26 2010 +0100

Fixed the value of INPUT doxygen configuration variable.

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=7ad2fe744dc6d... Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 10 13:18:29 2010 +0400

Merge branch 'master' into products

Conflicts: src/Partially_Reduced_Product.templates.hh tests/Partially_Reduced_Product/directproduct2.cc tests/Partially_Reduced_Product/directproduct3.cc tests/Partially_Reduced_Product/directproduct4.cc tests/Partially_Reduced_Product/directproduct5.cc tests/Partially_Reduced_Product/directproduct6.cc tests/Partially_Reduced_Product/partiallyreducedproduct1.cc tests/Partially_Reduced_Product/partiallyreducedproduct2.cc tests/Partially_Reduced_Product/partiallyreducedproduct3.cc tests/Partially_Reduced_Product/partiallyreducedproduct4.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65156364caa2d... Author: François Galea francois.galea@uvsq.fr Date: Tue Mar 9 20:28:29 2010 +0100

Added two paragraphs about uses of the big parameter in the documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d43c54ada25c... Author: François Galea francois.galea@uvsq.fr Date: Mon Mar 8 07:56:00 2010 +0100

Documentation fixes.

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=114f0e3847458... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 9 13:36:12 2010 +0400

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06b3826db776... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 9 13:31:49 2010 +0400

Missing files added.

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=4e2cacd973863... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 9 08:52:23 2010 +0400

Restored line erased by mistake.

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=f9fbde6765402... Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 9 07:04:15 2010 +0400

Merge branch 'master' into floating_point

Conflicts: doc/definitions.dox

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 9 07:00:57 2010 +0400

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c650... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 9 07:00:37 2010 +0400

Indentation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd553465561... Author: Roberto Amadini r.amadini@virgilio.it Date: Mon Mar 8 21:10:04 2010 +0100

Fixed documentation files.

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=0a6c325c3b961... 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=54bf68f9ee938... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 8 16:24:38 2010 +0400

Use \link ... \endlink consistently.

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=d054a83797b9b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Mar 7 11:36:11 2010 +0100

Corrected an invalid reference bug in PIP_Solution_Node::update_tableau(). The addition of tableau rows invalidates previously computed references. Thanks to Marco Poletti for reporting this.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fad4a9428627... Author: François Galea francois.galea@uvsq.fr Date: Sun Mar 7 21:13:37 2010 +0100

Eventually perform solution tree simplifications after incremental addition of parameter constraints.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f010ef5edd820... Author: François Galea francois.galea@uvsq.fr Date: Sun Mar 7 20:27:09 2010 +0100

Moved the compatibility_check static methods to PIP_Tree_Node.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7af846ade60e... Author: François Galea francois.galea@uvsq.fr Date: Sun Mar 7 20:25:00 2010 +0100

Added one more test for incremental solving.

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.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d7dc4353fca... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 6 09:23:32 2010 +0100

Corrected a couple of typos in the documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed63be5fa24e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 6 08:31:33 2010 +0100

Test 4 in digitalfilers1.cc overflows with 64-bits if assertions are on.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fa2669e96e96... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Mar 5 18:09:15 2010 +0100

Tests 20, 21 and 22 overflow on 8-bit coefficients (derived from test02).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be7b34ac18794... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 4 17:57:23 2010 +0100

Encoded custom overflow conditions for digitalfilters1.cc tests 5 and 6.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4b4cb73d97dc... Author: François Galea francois.galea@uvsq.fr Date: Thu Mar 4 14:14:05 2010 +0100

Added a test for problem feasibility when incrementally adding parameter constraints.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06b9697b655... Author: François Galea francois.galea@uvsq.fr Date: Thu Mar 4 13:59:59 2010 +0100

Added two tests for incremental addition of parametric constraints. Even though correct, the resulting solution trees can be simplified.

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

Replaced using directives by using declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e44... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 3 22:13:57 2010 +0400

Apparently GNU Hurd only supports ITIMER_REAL. (Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html).

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

Proper spacing added to throw_syscall_error(). (Thanks to Michael Tautschnig.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9c769a3992b8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Mar 2 22:09:29 2010 +0100

Detected several overflows in tests 5 and 6 of digitalfilters1.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72c39080c692... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Mar 2 22:07:29 2010 +0100

Adopted a more flexible implementation for the DO_TEST* macros. (Based on a set of macros provided by Abramo Bagnara.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6503e77440bc1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Mar 2 14:59:10 2010 +0100

Made a pass on the documentation of class PIP_Problem.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=802e03131e75f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 1 23:58:07 2010 +0100

Method PIP_Tree_Node::solve() now checks context feasibility when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=893ad34ee7a5e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 1 23:57:03 2010 +0100

Corrected typo in test19().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8daf23edd9ad7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 1 23:43:41 2010 +0100

Several minor improvements to the PIP_Problem resolution process. Reorganized helper functions update_context() and compatibility_check().

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

The wrap_assign has only been added to the C interface so the procedure must be local to the C interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a65a2985d7b8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 1 11:15:05 2010 +0100

Completed removal of support for circular intervals.

Removed now ambiguous method CC76_narrowing_assign(). While at it, also wrapped a few long lines.

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

Added C interface for wrap_assign. Minor NELS improvements to documentation describing Wrapping Operator (should be checked by the author of these notes).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156ce... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 27 17:57:58 2010 +0100

Useless comma removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbb1ff43e555d... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Jul 9 14:30:29 2009 +0100

Corrected test as already corrected in the master branch.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a648638a1c5f2... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sun May 24 08:44:02 2009 +0100

Further improvements to frequency() code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5965cbb6eed1... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sun May 24 08:14:06 2009 +0100

Code for frequency() improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b01615895b5cc... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sun May 24 07:11:57 2009 +0100

A new product called Shape_Preserving_Product added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68dd5db1d102f... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sat May 23 20:56:45 2009 +0100

The method frequency() added to the Affine_Space domain.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ef46ef0cbc64... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sat May 23 20:55:47 2009 +0100

Bug in frequency() for Octagonal shapes fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46be509da515e... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri May 22 15:32:07 2009 +0100

Added the method frequency() to the Box domain.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f21ee4e62c557... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri May 22 11:01:10 2009 +0100

Added the method frequency() to the Octagonal shape domain.

Improved the code for the same method for BD shapes.

Corrected some typos in comments in these files.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13382fd6d7a7... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu May 21 09:32:39 2009 +0100

Added method frequency() to the Polyhedron and BD Shape domains.

This corresponds to the method frequency() already added to the Grid domain.

For these domains it checks if the expression has a constant value and if so, returns true and gives the value (with frequency 0). Otherwise it returns false.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97e641dd651ba... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 20 08:36:26 2009 +0100

Revert "Added a warning about non-integrality for wrap_assign()."

This reverts commit 6b9f28ad503f1d43da7a876c4bee7eae9eba185a.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b9f28ad503f1... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 20 08:28:58 2009 +0100

Added a warning about non-integrality for wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047b85ccd0ddc... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 20 08:25:26 2009 +0100

Some tests are expected to fail with 8-bit integers.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49daa080642e8... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 19 17:15:53 2009 +0100

Removed redundant test files.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b981fa2a283c3... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 19 17:07:14 2009 +0100

Revised the tests so as to follow the organization for other domains.

Apart from the operation tests, there are specific tests for each reduction operator.

Selected tests (in the Makefile) can be checked with the given component order and with the component domains reversed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49a4bf80ee996... Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 18 13:47:31 2009 +0200

Merge branch 'master' into products

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d94d1213ad81... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sun May 17 09:04:08 2009 +0100

After the affine (pre)image operations, unset the reduced flag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d519208391e9... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu May 14 21:20:06 2009 +0100

Added two tests based on the examples 5(a), 5(b) in SenS07.

Added print_constraints(const Affine_Space&) to ppl_test.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f5a7d280e521... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu May 14 07:41:22 2009 +0100

Added new method frequency() for Grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7f4b16d84c83... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu May 14 07:41:22 2009 +0100

Added new method frequency() for Grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d12... Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 13 11:06:06 2009 +0200

Merge branch 'master' into products

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da0ca32ee95f3... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sun May 3 17:22:18 2009 +0100

Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de0626... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sat May 2 11:00:24 2009 +0100

Reduction methods (Constraints and Shrink_Using_Congruences) improved.

Tests specific to the Constraints_Reduction added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5feeaabb6a4e0... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri May 1 10:16:38 2009 +0100

Unwanted changes to test01() undone.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b45... Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 29 14:44:49 2009 +0200

Merge branch 'master' into products

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71893349245ba... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Jan 5 13:54:39 2009 +0000

Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction.

Several "FIXME"s dealt with.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00d817596a9b7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Dec 13 10:28:13 2008 +0000

This commit was generated by cvs to git conversion to create branch 'products'.