[PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 15 17:43:33 CEST 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97f72b3521e8db5a5dd433492590b539e130a02
Merge: b22579cc1c086702eb713365ea49e5c8783f3ace e17e80c8940b435d646eaac97bba591ee744ef34
Author: Roberto Bagnara <bagnara at 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=e17e80c8940b435d646eaac97bba591ee744ef34
Author: Roberto Bagnara <bagnara at 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=bcc4ff72caf513a585ec003e5adaff6aec2fb05b
Author: Enea Zaffanella <zaffanella at 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=baa72379c66f766c6ee6a6956e6f3f329cffeba7
Author: Enea Zaffanella <zaffanella at 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=fb0d779dadba740e2eb6c6c26f7270fe8ab69440
Author: Roberto Bagnara <bagnara at 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=f00290188682f65683a0e25eb4563df23067cdae
Author: Enea Zaffanella <zaffanella at 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=b51b3600e55ea768cab6fea39cf4009f8f9c9b81
Author: Patricia Hill <p.m.hill at 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=037c5b2d0a722ad6c36d8bc7f3504b0f84d7781b
Author: Patricia Hill <p.m.hill at 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=95907486afa72008519841dbfe5ea5fd758657c2
Author: Enea Zaffanella <zaffanella at 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=d0d4c00944c419e76af09a5f4bee186571a9111e
Author: Enea Zaffanella <zaffanella at 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=a3804165053e07f0ccd2de728932480ed0b58f68
Author: Patricia Hill <p.m.hill at 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=d4d1ad3031cd681d2ff48d1e9d6990b5dbe32089
Author: Enea Zaffanella <zaffanella at 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=543d7d068dc43aa474e497af7c95a4d9efc7a95e
Author: Patricia Hill <p.m.hill at 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=c9fd6d302f987aed452b463c418f9aab7a530460
Author: Patricia Hill <p.m.hill at 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=96df33856cdb2d98f0117f8dc99c12dacb922a03
Author: Enea Zaffanella <zaffanella at 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=694281b3a925b0b710e97c5cec77242962f17f37
Author: Roberto Bagnara <bagnara at 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=f6bc3b69e7f30d3993b5292c14d3091891fc4f3a
Author: Roberto Bagnara <bagnara at 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=a1a314d3c059b87a8f3bd55c87820cf057b7bbd6
Author: Roberto Bagnara <bagnara at 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=2658694de46816cb65663f73befc43574f0c86ec
Author: Roberto Bagnara <bagnara at 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=ac22982884b25962ce390fe6a6f043fc3352a765
Author: Roberto Bagnara <bagnara at 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=b42b6e35ad512a633e2991d633bc95d28af1d9bf
Author: Patricia Hill <p.m.hill at 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=cb5a410c4e262c28b62c1c07d72ef0d99358688e
Author: Patricia Hill <p.m.hill at 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=5ba66813973abcc3764971b3def20dcb33cc5b71
Author: Roberto Bagnara <bagnara at 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=d8126fc4ec706e7c25100b1f3c51d0decaff7c55
Author: Roberto Bagnara <bagnara at 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=b18b92fc50ddb62887f6d42a4d87f74a7fe0f452
Author: Roberto Bagnara <bagnara at 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=31f6a807bebbc51442f62c1bd1a0c2d71eb3285a
Author: Roberto Bagnara <bagnara at 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=e77b2da3be6919dd3e18d85ecc28b7d825e0fb98
Author: Roberto Bagnara <bagnara at 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=6d23fe5df7c16842e70e349886de0d9faf70affa
Author: Roberto Bagnara <bagnara at 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=b8ca985398d213b28930c8dc29a1aca72158da54
Author: Roberto Bagnara <bagnara at 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=e3d2caf268af5d73af10e6d2a2ab1f7d9a9b58ea
Merge: be262c561929432c22960e53026853d520396d7b be24cc575d751884fdf867291842645b3c8096ae
Author: Roberto Bagnara <bagnara at 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=be262c561929432c22960e53026853d520396d7b
Author: Roberto Bagnara <bagnara at 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=be24cc575d751884fdf867291842645b3c8096ae
Author: Patricia Hill <p.m.hill at 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=01224d157033e7b199958721f86bec4327bcf831
Author: Patricia Hill <p.m.hill at 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=2ffb054be82d536cdd158ca85ab39706871f9bb3
Author: Enea Zaffanella <zaffanella at 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=039e6ba85aa460c8b0fc723ee6ed344dad2db8bb
Author: Enea Zaffanella <zaffanella at 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=9a789a7575fa1cc482ecb1bc404d9a37a4d1ddd3
Author: Patricia Hill <p.m.hill at 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=b2698ee02273622a897d69f3044a2b7dda2410d7
Author: Patricia Hill <p.m.hill at 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=c27fa3bd5ea268d48ff9f5ca7d8bab4f92a5b553
Author: Patricia Hill <p.m.hill at 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=924d4fbdd9192a6b03c9fbea4c4e5f0d71411f96
Author: Patricia Hill <p.m.hill at 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=97c151b721fbfa9963d9b873355b163181f0d07b
Author: Patricia Hill <p.m.hill at 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=46aa53b6bc9849ad622c1f0fcb6dbc763059af41
Author: Patricia Hill <p.m.hill at 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=99f17d8aa4bd39d2dfb3b9404a73ea907f7d2698
Author: Patricia Hill <p.m.hill at 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=6f92bdda48d52db1c27f36537b9af13f20b6c755
Author: Enea Zaffanella <zaffanella at 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=f39f1ccdbe873dfac61fd101c1075f11678e98dc
Author: Enea Zaffanella <zaffanella at 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=8354fb40ac3b479de4176560139e6daba5d46bc7
Author: Patricia Hill <p.m.hill at 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=5c4bc05adbdf6d6b2d853ad0ddb926c21695bc3a
Author: Enea Zaffanella <zaffanella at 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=087b4f0fa21c23ce4799ec96ad8108cb7911c40a
Author: Patricia Hill <p.m.hill at 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=85ea941ab9bc28f334e6fba3ed6263757ebf5a25
Author: Enea Zaffanella <zaffanella at 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=cac4da6e7ece70ff7ebd8b0bfc16e07d41e375af
Author: Enea Zaffanella <zaffanella at 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=a72963f00f6c6bec5367543096149785c7b4a2e0
Author: Enea Zaffanella <zaffanella at 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=ff51314489c009aa8b8c7aa76366006e62d61299
Author: Enea Zaffanella <zaffanella at 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=930f0a20a7bfdc920dc8baff9cae2c3347669cd7
Author: Enea Zaffanella <zaffanella at 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=3b995ff6fcf3f3c0c63f989beba3850c69f6d713
Author: Abramo Bagnara <abramo.bagnara at 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=a0e0437138194a515fcdc03024d34f9d08a290cc
Author: Enea Zaffanella <zaffanella at 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=2f76ad9a2a440a69fa861bb67784da771e1310fa
Author: Enea Zaffanella <zaffanella at 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=2858adf2a80c7f30f9c22747a04f4f4d2ef63f74
Author: Patricia Hill <p.m.hill at 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=7d9e83d01ee9471b0ad8a3bba90fd3b93af4c903
Author: Patricia Hill <p.m.hill at 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=548cc4801140808a1ecb80d2858a13ec1122e84f
Author: Patricia Hill <p.m.hill at 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=daa93a691f89a54975ae2d457ff43ee25df9eaa9
Author: Patricia Hill <p.m.hill at 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=a8098a8c8f00141390bde6197d7f96aa750afd70
Author: Patricia Hill <p.m.hill at 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=1b2dac6f55ee22faced4501a6ec216eeb29ff408
Author: Patricia Hill <p.m.hill at 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=c068dabdd90cec7104c1d0ca5f3ddcbcc29a21a8
Author: Patricia Hill <p.m.hill at 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=0006315311935e1d87c70bfa788ed15e6488b38a
Author: Enea Zaffanella <zaffanella at 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=916b06c687704282b44f34390905bc425bd64680
Author: Enea Zaffanella <zaffanella at 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=07abce21d65f995dc378d84c3c8ad65728f23fb7
Author: Enea Zaffanella <zaffanella at 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=9690f45d94004ab77af0b5b3b7c679cedf807f54
Author: Enea Zaffanella <zaffanella at 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=f107b625cb25255644e8cbf4397f7bbde3c529a9
Author: Patricia Hill <p.m.hill at 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=29ad27fd3fe8ca74d1329d11f7c1cb8891f0260c
Author: Patricia Hill <p.m.hill at 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=f99e22d0ea9e89030e2cb33c95808d73828a7c82
Author: Patricia Hill <p.m.hill at 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=ee2502ed96080ec87fdf94e05153f49acf2a020f
Author: Roberto Bagnara <bagnara at 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=3fadce8abb10c931f1b4988a75e52316986387de
Author: Enea Zaffanella <zaffanella at 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=43ec65852330b6023cf957b25db0c72398ad3de7
Author: Enea Zaffanella <zaffanella at 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=5ad56622a3e233351d32c3bf0b8c534c6aced280
Author: Enea Zaffanella <zaffanella at 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=332b5c15d91382bba60d1e8bbe15e4ca89af2da4
Author: Patricia Hill <p.m.hill at 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=2f02e4d79ecdcef883129e68f71545fa82020ee7
Author: Patricia Hill <p.m.hill at 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=08a88693cc732a773db32c70afe8b85d64a2c67f
Author: Patricia Hill <p.m.hill at 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=d083ca77b75e1ddf570221c57680a00cd0a35b52
Author: Patricia Hill <p.m.hill at 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=09db70209198b5acc3d35c423323196c0a56d35f
Author: Enea Zaffanella <zaffanella at 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=424dcc2421483d60d936f3c1b724d237325adc18
Author: Patricia Hill <p.m.hill at 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=dae0d2224e1ebd9a073a6b7ee1f2755c0420d4ea
Author: Patricia Hill <p.m.hill at 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=3f296c7dd6be1f8e0994b6e80fa8ac846baeb178
Author: Enea Zaffanella <zaffanella at 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=fccd1989cdc058baccd35ac4e0127a9956254fe9
Author: Roberto Bagnara <bagnara at 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=f7c33880fca5903781922d35eb284d4e8e44c623
Author: Enea Zaffanella <zaffanella at 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=5707e3d66eca4be05ef4891081217c1cac5fb96e
Author: Enea Zaffanella <zaffanella at 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=d05d653edab6827589a3138989fac44bd2f9db49
Author: Enea Zaffanella <zaffanella at 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=5f9556efda1f122c17b38d10cf08e66c07cd2df9
Author: Enea Zaffanella <zaffanella at 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=2ec4a13defe7fdee4b182c55859ff926b0f21f4b
Author: Roberto Bagnara <bagnara at 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=2fd3833a17b3c175fca9517ce2e5740686f37aee
Author: Enea Zaffanella <zaffanella at 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=3bda0d459fde855a46cc93aba619f5d422484376
Author: Enea Zaffanella <zaffanella at 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=4df3615f9dbfe73d368d219f98c8a8fa65dfe061
Author: Enea Zaffanella <zaffanella at 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=366effb5cb03447652ec899c4c18c88bfdc0ab70
Author: Enea Zaffanella <zaffanella at 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=8988758c44cc31cfd7afe3ca3b5e172a7d46970b
Author: Patricia Hill <p.m.hill at 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=e7cb392b7d54c2badadd7a7ab67a83a62f1c8565
Author: Enea Zaffanella <zaffanella at 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=fb01a69486339554291adcdba80fbf749c0437ea
Author: Enea Zaffanella <zaffanella at 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=c7fb3d1d0cee754ee43efa570ed8e8c6267f9b95
Author: Enea Zaffanella <zaffanella at 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=6f07d12fc19f7b867a5b43f6f143f2fd202ff928
Author: Enea Zaffanella <zaffanella at 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=9ba2b885fb0043d7daa34fa521681b087d32cc34
Author: Patricia Hill <p.m.hill at 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=3584a0b19f6e2a77ad4c9e0826d18c89cf8549ee
Author: Patricia Hill <p.m.hill at 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=87adbf3f20e3649ccc95cf3ed1d79610fa02871f
Author: Patricia Hill <p.m.hill at 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=b28f49a5038aaef781fb95b4e92631c041e59649
Author: Roberto Bagnara <bagnara at 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=b54b2fabc3bea07c599a68f6a8ba8db35476fe06
Author: Roberto Bagnara <bagnara at 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=f34bcd0e0c7397ac91ba95d562446acd8f1efef7
Author: Roberto Bagnara <bagnara at 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=96e0624a5897a8c9ed7d4f9eb2f1f85d4132aef6
Author: Roberto Bagnara <bagnara at 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=42af7d51365d12593274c61ac4121f634cd803a3
Author: Roberto Bagnara <bagnara at 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=b319599bb6747044e2555a9468f676f6e5aa50d5
Author: Roberto Bagnara <bagnara at 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=e1cb708053900953d6a0fea5890237f52321408f
Author: Roberto Bagnara <bagnara at 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=ce7681699c3e6056ce77eb9492ae8a051bb00dc3
Author: Roberto Bagnara <bagnara at 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=44bb8667fb1c413b18a1a504425200b246254f00
Author: Patricia Hill <p.m.hill at 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=94e1497598ab744385a8447a0df714dc9156ade5
Author: Patricia Hill <p.m.hill at 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=70025f8ab031445a6f590ab92dbc7e43fc8b24af
Author: Patricia Hill <p.m.hill at 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=0bbcc5ab4f06cb3ebc8b1043e2e25c89c67e09ad
Author: Patricia Hill <p.m.hill at 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=edde5f27947380c13009e53fa293e34557f6e4f1
Author: Patricia Hill <p.m.hill at 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=5fb0618bd9c81e9a5a3e587a5c6d9bd561c3c027
Author: Patricia Hill <p.m.hill at 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=dd86d85a455e91d89bf957e343e49ce7eb4a32b2
Author: Patricia Hill <p.m.hill at 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=94aa8cd38dadf0f50e489c26a1c91c85dd94a554
Author: Patricia Hill <p.m.hill at 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=4b43b4bfd1d15e56cb5e3a4d271c5560ec260103
Author: Patricia Hill <p.m.hill at 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=490c97b15454bb992503324f57656f0f1c94d566
Author: Patricia Hill <p.m.hill at 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=c9e41b895fb0f676f1c242aafc2b95e1e496adde
Author: Patricia Hill <p.m.hill at 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=f3fd35ffe6f33237228814dcb33ad46a4c7ffdf2
Author: Patricia Hill <p.m.hill at 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=c7864c532efdf6321d1426a078d3156d7aef9982
Author: Patricia Hill <p.m.hill at 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=06e30598ff1d90fe90ed296a3358dfe31cf73b9c
Author: Patricia Hill <p.m.hill at 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=f3342c5e5b7b30f4a698d3500f1f22890384a8bc
Author: Patricia Hill <p.m.hill at 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=fc103063d4fdf9ba862fdcefdc34f94c8bf9bf83
Author: Patricia Hill <p.m.hill at 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=cb165556dd22a919425ed9803156dfcb63896f62
Author: Roberto Bagnara <bagnara at 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=490971b3d76a92e448803fa6437ca8e08abb7955
Author: Enea Zaffanella <zaffanella at 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=aa99fbdd05ff71b6ddd9ace3d7401ca4a967af5b
Author: Patricia Hill <p.m.hill at 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=6821ba41f0d1c8a8f08c839fe33781e5a2f7b314
Author: Patricia Hill <p.m.hill at 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=8e9040044889a3a72c7c496827236916ae717b24
Author: Patricia Hill <p.m.hill at 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=bc6dffb591691b0986eb73aad6214d8e15ed630c
Author: Patricia Hill <p.m.hill at 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=706a703a5546abc8c54fc35ad2c2574429aadc40
Author: Patricia Hill <p.m.hill at 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=418e4ff3dc14d5c18445ca52c0668c8eb2d68289
Author: Roberto Bagnara <bagnara at 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=e47ae35e17b0f82f3efd533085ea826db9cf86f3
Author: Patricia Hill <p.m.hill at 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=0b97d0055b7b169b8e958f87a6f1fe03f4b44b85
Author: Roberto Bagnara <bagnara at 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=2c22a25b340549e57e511f8961204ed546da541a
Author: Patricia Hill <p.m.hill at 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=f491feddb41d60b7ecef4c297ce9880bc245b953
Author: Roberto Bagnara <bagnara at 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=2926baa7a2799ad83d9fa09bc86a80c7e172593b
Author: Patricia Hill <p.m.hill at 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=587c1c124687a495204d7b226ee578a95827f57d
Author: Roberto Bagnara <bagnara at 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=3aa59de6c626d5665ee40d30401a2a4dd793d834
Author: Roberto Bagnara <bagnara at 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=c5e70fc559ef46ae4ea35c4ed1dcdc415d3e5a16
Merge: ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3 cf4849fd4290f04510c33c0a0582dc537e808500
Author: Roberto Bagnara <bagnara at 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=ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3
Author: Enea Zaffanella <zaffanella at 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=55a4822b6ce06f41e5cd13ffa40e88e29449b762
Author: Enea Zaffanella <zaffanella at 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=b647339a3a3e4808378e621e08e7f501a1344624
Author: Patricia Hill <p.m.hill at 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=718813cb67fe4efa10cd505e6ce0b02fe8ba2837
Author: Patricia Hill <p.m.hill at 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=47b3a6714f3f7008a77ad0705f617bbc835dc3b6
Author: Patricia Hill <p.m.hill at 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=3a684bb36a7a627dac651c1bf2063dbb898f514d
Author: Enea Zaffanella <zaffanella at 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=cfc36c700221dee64e736641692897791d7ce698
Author: Patricia Hill <p.m.hill at 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=e8da5d7cae86912ab7c15708324f2d0b01338d82
Author: Patricia Hill <p.m.hill at 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=c8799e410088e03c76f449184780d572822cb177
Author: Patricia Hill <p.m.hill at 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=cf4849fd4290f04510c33c0a0582dc537e808500
Author: Enea Zaffanella <zaffanella at 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=6fae6ec5525c4eac8e123570f1e775a2f9c1ea02
Author: Enea Zaffanella <zaffanella at 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=3ac27881f203b6c0c085747486dd38ee8c556acf
Author: Patricia Hill <p.m.hill at 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=2ef1ea9ed97e34a147f8cfe49a751a7c952a04ec
Author: Patricia Hill <p.m.hill at 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=0ec850342436eb232eedec639fe8250b573a5bef
Author: Patricia Hill <p.m.hill at 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=027210b2a7098cbd20259456cac08cb41f5e120d
Author: Enea Zaffanella <zaffanella at 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=ede25520fb54f969f037310ae4ebddd97976607e
Merge: 3b435f819c6f8b23e3e8a4f8d0d82777a499a6c7 b43d29400ddc9823f5d08d4148adb804dcc8e321
Author: Roberto Bagnara <bagnara at 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=b43d29400ddc9823f5d08d4148adb804dcc8e321
Author: Roberto Bagnara <bagnara at 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=3b435f819c6f8b23e3e8a4f8d0d82777a499a6c7
Merge: 636c546843046a5cfa6d27a1aa4a8171d7e537ab 0f40cc8d92d033ab5c78cdd2d4661f395603e8b5
Author: Roberto Bagnara <bagnara at 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=0f40cc8d92d033ab5c78cdd2d4661f395603e8b5
Author: Patricia Hill <p.m.hill at 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=8ceb0b7e208be8a99d61372f883c1853ce390952
Author: Patricia Hill <p.m.hill at 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=636c546843046a5cfa6d27a1aa4a8171d7e537ab
Author: Patricia Hill <p.m.hill at 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=866c0a278c0373dfc2ac3809ca894f366251a0a0
Author: Patricia Hill <p.m.hill at 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=0cf98127510beb73d5d9f8a5fbb72c8c1b740853
Author: Patricia Hill <p.m.hill at 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=e1fbc0fec962a1285ec4205fc611387f1a8e5c45
Author: Patricia Hill <p.m.hill at 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=e5dc0a6af950c7dfe2ada7bcca91d6a67d15b367
Author: Patricia Hill <p.m.hill at 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=ca9a894625c3c0251d4b429ffbfe1c5c07846321
Author: François Galea <francois.galea at 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=d9f74236c2727ad4f4753baa73ddd6ff6b1546f1
Author: Roberto Bagnara <bagnara at 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=c161e90b6cb5c389ed316bbf2fddb7d000421a07
Merge: a55e13a59c2877379aa61686371696e30dbabcd1 b831a0b77c3ba4f7dbe716619a8b3f225f430079
Author: Roberto Bagnara <bagnara at 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=42a77adddb8e0a7223d6dd17b7b0916660411800
Merge: 367f75cf57a1576f54c0bf553c714e838d8c1773 b831a0b77c3ba4f7dbe716619a8b3f225f430079
Author: Roberto Bagnara <bagnara at 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=a55e13a59c2877379aa61686371696e30dbabcd1
Author: Patricia Hill <p.m.hill at 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=9c9130e247463a5500fabf77b26852d9587e30c3
Author: Patricia Hill <p.m.hill at 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=dab9262cbdb9166cd4a77a2ec9110c3295b3c773
Author: Roberto Bagnara <bagnara at 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=a1178929241483912d8f0839edf1f512a552653c
Author: Roberto Bagnara <bagnara at 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=9eda06954832ce1cc59c0888d00ef514ed08065c
Author: Roberto Bagnara <bagnara at 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=609a4b2ead0b88688499ef007f79476b5cadea4c
Author: Patricia Hill <p.m.hill at 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=d99284d19450f3f9ff7a684ee87a7408d152a800
Merge: 7ededcd1147e0df879bdfaf92e9fa49c5482653d 2df786e330fbe20f7c268860bd791cc627d4c22a
Author: Roberto Bagnara <bagnara at 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=7ededcd1147e0df879bdfaf92e9fa49c5482653d
Author: Roberto Bagnara <bagnara at 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=357f7bebfaf45554b0c33805e27faada00d74660
Author: Roberto Bagnara <bagnara at 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=3cffedb3d03ed65cc04d4216100f8f5f881d957d
Author: Roberto Bagnara <bagnara at 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=003fb0b786349b3da96d65bd4483f4982bf88294
Author: Roberto Bagnara <bagnara at 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=72e0e99576d4a6508c6a7078cd37207833c54f2b
Author: Roberto Bagnara <bagnara at 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=ff0e20fbd91fea45e9eb2bd2c90a92291e22d02f
Author: Roberto Bagnara <bagnara at 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=1dcffed9f68fd428fe5c6aaf9fbf1140f3c57303
Author: Roberto Bagnara <bagnara at 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=6939662599fe07c6a70003ef215bff8b2b015bc3
Author: Roberto Bagnara <bagnara at 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=2d0e260671a9f99b2ff8c6aaeb58d3bd41953e2c
Author: Roberto Bagnara <bagnara at 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=344cb0aca8ae7cb17820f75389480cac3d61b999
Author: Roberto Bagnara <bagnara at 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=3f0858faa24609e957a1eb5dddb832f68766d4fe
Author: Roberto Bagnara <bagnara at 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=d6ba16bc72f64aae8474331a12a839dbbb06d859
Author: Roberto Bagnara <bagnara at 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=9a8b57ac7306894b762f36a6c2f08283243369b5
Author: Roberto Bagnara <bagnara at 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=a6c37d8cca269ec38fcc936477d1f21725cfb1ab
Author: Roberto Bagnara <bagnara at 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=2fb912684fddca80a1f5aa37e8fdf10c0ffff23c
Author: Roberto Bagnara <bagnara at 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=56f9f111da40d4d19c6ebe616cd6393c0b8007f7
Author: Roberto Bagnara <bagnara at 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=02ffc8f4e65bbb1a1c1c3eb5cd6c746216f32c32
Author: Patricia Hill <p.m.hill at 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=ec57f6b3e45d9035b7a43411ddb9e46e2bb1799b
Author: Patricia Hill <p.m.hill at 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=38e738d30f668cf23619238309917a49f03634e6
Author: Patricia Hill <p.m.hill at 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=be095b01fae73a572c6775bf6e5c8a428b41b3d6
Author: Roberto Bagnara <bagnara at 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=9d8adeb605e46333bf0a342f611e87d1ac7480c3
Author: Roberto Bagnara <bagnara at 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=2472d5274d7f848ce8c2b3a6d7c4d564e3c4c054
Author: Roberto Bagnara <bagnara at 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=e27545f793d0be73d08e1b6c80cb0daeef423774
Author: Patricia Hill <p.m.hill at 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=1dc0de142813f0fb2120b2e124f658ecf76534ae
Author: Roberto Bagnara <bagnara at 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=0169d5ede31039927d30d598315af7c6dad60464
Author: Roberto Bagnara <bagnara at 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=367f75cf57a1576f54c0bf553c714e838d8c1773
Author: Patricia Hill <p.m.hill at 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=b93d10b250194982d8e466da2fe9380366ab547d
Author: Patricia Hill <p.m.hill at 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=147de8cc7cdf60650f0425c9aef5132ef9a8f6d0
Author: Roberto Bagnara <bagnara at 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=a1d4481a3175ce3a55d90267c66befb9247827e9
Author: Roberto Bagnara <bagnara at 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=df002a70c37365fc661bb7674ba60baf71898ccb
Author: Roberto Bagnara <bagnara at 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=8e69262acd5baac8500ac0e81e1e9842d246fdb1
Author: Roberto Bagnara <bagnara at 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=5d0d81dc0f79d7213fc4c9536be45f057c9a260e
Merge: a284ae47e8ec209d8235bc21f2802d6023fec2ec 114f0e38474584e74743f67fd1203487241b60e8
Author: Roberto Bagnara <bagnara at 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=a284ae47e8ec209d8235bc21f2802d6023fec2ec
Author: Roberto Bagnara <bagnara at 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=cd140775f60657dd4419ff5e5f2fd1e2074e2a94
Merge: 7d037e04dd8bf3d0713845d41b4eb155ff911912 4e2cacd9738634f10872d5e63f3fa9551d546a7e
Author: Roberto Bagnara <bagnara at 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=7d037e04dd8bf3d0713845d41b4eb155ff911912
Merge: ea1d686ab772b820f2d094851f3cbf330f05f9e7 f9fbde6765402ee509a03d952fdae02115c266fa
Author: Roberto Bagnara <bagnara at 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=ea1d686ab772b820f2d094851f3cbf330f05f9e7
Merge: 276bf49a11da0443cc5b284cf880858a8911b48a 0a6c325c3b9615411ba40c44743268f33303589a
Author: Roberto Bagnara <bagnara at 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=276bf49a11da0443cc5b284cf880858a8911b48a
Author: Roberto Bagnara <bagnara at 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=a4bcdb95d9ed920e72f5b11b0d68bd0b7085cec4
Author: Roberto Bagnara <bagnara at 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=38df1b8d05c74ba8a948f2482e78b38c78a9c0ee
Author: Roberto Bagnara <bagnara at 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=ea4a32cfd39ad59de60ca105540feef96207cd09
Author: Patricia Hill <p.m.hill at 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=b81ffc77370c6734881e1b600a5d7c9688c9ca3e
Author: Roberto Bagnara <bagnara at 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=c066af6c05058ad105d35948e43b758ef4fd1cfd
Author: Roberto Bagnara <bagnara at 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=3f1381c41b71fbff2c60e924402fc4cca8eeaacb
Author: Patricia Hill <p.m.hill at 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=f8bcb32b2739e509d24cdd6daf74e085a388165b
Author: Patricia Hill <p.m.hill at 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=07ba164136b4181c4e51b1994eb2b858c692814f
Author: Patricia Hill <p.m.hill at 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=e804f7e233464910224f77941ed59355abb504f1
Merge: c59646077762fcf090705ece6876b8ef35623c8b 54bf68f9ee93822f8792c0d89d45ebd0b5823aee
Author: Roberto Bagnara <bagnara at 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=c59646077762fcf090705ece6876b8ef35623c8b
Author: Roberto Bagnara <bagnara at 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=cda8c51361f8f975d725c240160b2339471d3fbb
Author: Roberto Bagnara <bagnara at 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=5e848582e1152915695a686a3c13693d497a73b3
Author: Roberto Bagnara <bagnara at 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=7bf82f6ed4a2435e5cab78a397340d7ec4accceb
Author: Roberto Bagnara <bagnara at 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=0a21fe775ff710ea781ce7d6c751aaacf3615bb2
Merge: 4684207ce34a88f9552f450faa6e019e475e4027 d054a83797b9b861addd7cdc5abac091edaf5865
Author: Roberto Bagnara <bagnara at 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=4684207ce34a88f9552f450faa6e019e475e4027
Author: Roberto Bagnara <bagnara at 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=37d7226faeb9e32cd096748616b822fbc39c00e3
Author: Roberto Bagnara <bagnara at 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=8680f29d7d3d4170b90f55cf6d2becf27db33d1f
Author: Roberto Bagnara <bagnara at 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=5356f0d0a51259885b184650032e3bfae6963a6f
Author: Roberto Bagnara <bagnara at 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=0a94878edd54ed691374f0f61b7c35fb3d642caf
Author: Roberto Bagnara <bagnara at 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=ef46f1fa94c83138cedfd584654ba41684ef43d6
Author: Roberto Bagnara <bagnara at 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=5d2d2e0aa6341133e05220f4892e4c853693608b
Author: Roberto Bagnara <bagnara at 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=e66a1705f54a53ea33fa8ba0164fe10518da1093
Author: Roberto Bagnara <bagnara at 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=c6433c0db9272e38f2a0d01cb50a23b8f5b0f554
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 5 22:18:05 2010 +0400
Added method bool Constraint_System::has_equalities() const.
More information about the PPL-devel
mailing list