[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Fri Apr 16 07:30:28 CEST 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1d108bdf728e6309895d18eabf40d68ea9f27a7
Merge: 9ca74148368489a480aa47af8c1eac97bcd32d93 b9cd3bb78c41bee54756f3a030a3aea2688e7849
Author: Roberto Bagnara <bagnara at 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=b9cd3bb78c41bee54756f3a030a3aea2688e7849
Author: Patricia Hill <p.m.hill at 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=88c6e6e5b5a5720c05601277b362a32061fd958f
Author: Patricia Hill <p.m.hill at 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=da7b389107033d439660684bd0613809c2a5783a
Author: Patricia Hill <p.m.hill at 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=c015df929272527eaae8d88812fac917942a8597
Author: Roberto Bagnara <bagnara at 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=bf0c0ac2661acbf6492d20b8ef8b0982f9d9ffb3
Author: Roberto Bagnara <bagnara at 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=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=b22579cc1c086702eb713365ea49e5c8783f3ace
Author: Fabio Biselli <fabio.biselli at 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=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=b831a0b77c3ba4f7dbe716619a8b3f225f430079
Author: François Galea <francois.galea at 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=124faa76cafb6e7cd49df166614178a30a5cedf2
Author: François Galea <francois.galea at 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=ae2b90afc196deace10b7035dea30d9872d7b8b3
Author: François Galea <francois.galea at 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=aa6aa7c819518ebc0b37e18aafbbfcdaddba1016
Author: Marco Poletti <poletti.marco at 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=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=5911ab1fcc1919d4fd1411018c4bd58fcd36a1dd
Author: Patricia Hill <p.m.hill at 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=9da0e46c90e0eb2d8d0b6e0e54cfd81e793a851d
Author: Patricia Hill <p.m.hill at 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=4c45d375b4eced85f65931946464d71f9041cc29
Author: Patricia Hill <p.m.hill at 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=5c439aeac0c888387e97686f09a820e0cd3ea0e5
Author: Enea Zaffanella <zaffanella at 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=ec22adde10fd400c963bc6f1a68a2c5ffbbc3fdc
Author: Enea Zaffanella <zaffanella at 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=3fe09524b326e388a74486f407583a902d592d75
Author: Enea Zaffanella <zaffanella at 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=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=cc825f2bac6aad42678e58b0de97a6a311072ecd
Author: Enea Zaffanella <zaffanella at 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=b0ff1e07c69512ffd4c5783fdfdc8479f23e281f
Author: Enea Zaffanella <zaffanella at 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=42397bb0409e662d747acabb988426f743d69829
Author: Enea Zaffanella <zaffanella at 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=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=11f7c4080b52e6a367570efce22140db9f4e98d3
Author: Patricia Hill <p.m.hill at 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=a94e7696f13df56977c7fc4eb4f1b8cc985266bb
Author: Patricia Hill <p.m.hill at 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=80eafa9e6f521b3b7087d12b16c8a22a7f5c1679
Author: Enea Zaffanella <zaffanella at 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=fd5ac7e7f267a471e528d3f2af1a32bb7ee03ef4
Author: Enea Zaffanella <zaffanella at 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=740bb2d0009ce909ce6c3b93f718a64b1aa4a8a7
Author: Enea Zaffanella <zaffanella at 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=618bf7265df32e845023324fb84a3a7e43d15220
Author: Enea Zaffanella <zaffanella at 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=ca5d011c79c78ba930ff60dd63b472f287646108
Author: Enea Zaffanella <zaffanella at 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=9919991474edb445eccffbde32a9bf1ccc105617
Author: Enea Zaffanella <zaffanella at 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=05ba76777df2d98804a4e75a7c2adfc50d5c2d51
Author: Enea Zaffanella <zaffanella at 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=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=2df786e330fbe20f7c268860bd791cc627d4c22a
Author: Enea Zaffanella <zaffanella at 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=71aa196a1784744ace2efba7d98b39f9ce44dd35
Author: Enea Zaffanella <zaffanella at 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=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=4d0a50e95c3b824a41f403cecd9d2ee9af92b5f6
Author: Patricia Hill <p.m.hill at 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=2fca7306fd2f0ec3e47b7bafbafc04ac63b73920
Author: Patricia Hill <p.m.hill at 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=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=445fe36196ddb18dcce6d19a43890c1dbc669ae6
Author: Patricia Hill <p.m.hill at 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=80c44d73a29d1585fdffc3f62451877d7e564dc0
Author: Patricia Hill <p.m.hill at 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=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=8c3f8ae55af3cb8d3a328bf040803cdb9ac56255
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=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=c68101c16e7f364d363b801448fa15b33088ed7c
Merge: 8760df47483200e17daf43df3c7ca4ec7aad9185 6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e
Author: Roberto Bagnara <bagnara at 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=8760df47483200e17daf43df3c7ca4ec7aad9185
Author: Patricia Hill <p.m.hill at 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=6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e
Author: François Galea <francois.galea at 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=ed91bdf10a46c8a1c886a2f05986e4d90db5f136
Author: Enea Zaffanella <zaffanella at 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=61b4c1817137f7ffcf2d996e1aee6aea4f32d2bf
Author: Enea Zaffanella <zaffanella at 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=374f46632936ca58d8da878da73ac5f28f09a666
Author: Enea Zaffanella <zaffanella at 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=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=7ad2fe744dc6d52c63f1b3480fe451c8b4d3401c
Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236
Author: Roberto Bagnara <bagnara at 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=65156364caa2da7235862998930736ca27c83236
Author: François Galea <francois.galea at 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=2d43c54ada25c81f076dd0c353470ec9cbec1543
Author: François Galea <francois.galea at 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=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=114f0e38474584e74743f67fd1203487241b60e8
Author: Roberto Bagnara <bagnara at 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=f06b3826db776f932cb42a63778ce272baf4c560
Author: Roberto Bagnara <bagnara at 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=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=4e2cacd9738634f10872d5e63f3fa9551d546a7e
Author: Roberto Bagnara <bagnara at 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=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=f9fbde6765402ee509a03d952fdae02115c266fa
Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad
Author: Roberto Bagnara <bagnara at 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=a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad
Author: Roberto Bagnara <bagnara at 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=71dcb7f32c6508034075af6673086932649ebe0c
Author: Roberto Bagnara <bagnara at 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=97bd553465561f16c14e291cc942004cc534df86
Author: Roberto Amadini <r.amadini at 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=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=0a6c325c3b9615411ba40c44743268f33303589a
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=54bf68f9ee93822f8792c0d89d45ebd0b5823aee
Author: Roberto Bagnara <bagnara at 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=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=d054a83797b9b861addd7cdc5abac091edaf5865
Author: Enea Zaffanella <zaffanella at 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=2fad4a9428627c5d0ca8142567ac754ceab0e855
Author: François Galea <francois.galea at 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=f010ef5edd820af3fb4589c75c8c9be73b2930ac
Author: François Galea <francois.galea at 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=a7af846ade60e2c4e9bdd7595b80abd5776d4704
Author: François Galea <francois.galea at 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=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.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d7dc4353fca2fd99db605f498beddb3a649e01
Author: Enea Zaffanella <zaffanella at 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=6ed63be5fa24eb25acb75df25511c79ec20a79e5
Author: Enea Zaffanella <zaffanella at 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=2fa2669e96e9664f5de6abd64e723c7657fac52e
Author: Enea Zaffanella <zaffanella at 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=be7b34ac18794498bbe6316fd831942a369c9cc4
Author: Enea Zaffanella <zaffanella at 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=c4b4cb73d97dc1e901f486c7693c342acff62484
Author: François Galea <francois.galea at 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=9a06b9697b655aa681e52e95cae2d9bff436e6b9
Author: François Galea <francois.galea at 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=e961e540b837270dec1af5d31a65f726dfafa1ba
Author: Roberto Bagnara <bagnara at 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=8ca010b524e44674465d28e6cadb6767067e5b28
Author: Roberto Bagnara <bagnara at 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=aeb2709a41cb3d3e55ef5a260abcbd6a3c746946
Author: Roberto Bagnara <bagnara at 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=e9c769a3992b86a941cbb9758c606bb20b253a69
Author: Enea Zaffanella <zaffanella at 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=b72c39080c692f646f93f5696312fd1ed371d539
Author: Enea Zaffanella <zaffanella at 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=6503e77440bc1ab0482fa58fcd6fad7043d01cbf
Author: Enea Zaffanella <zaffanella at 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=802e03131e75ff1962b42a6b071afca7cdf65b85
Author: Enea Zaffanella <zaffanella at 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=893ad34ee7a5e376f94cd8ef7a49168c30021dd7
Author: Enea Zaffanella <zaffanella at 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=8daf23edd9ad7af29aa77ca72740ffe7a95f05ec
Author: Enea Zaffanella <zaffanella at 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=90f18fa7da955d2a811e70d8927ba7c283205e7b
Author: Patricia Hill <p.m.hill at 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=0a65a2985d7b8856807ee8b4d6390fa57530ec20
Author: Enea Zaffanella <zaffanella at 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=57c7504c6e09c1d523e6286f792580a9e0c2af76
Author: Patricia Hill <p.m.hill at 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=9b5f5fd6156cef86d35e847a8d38265740737c2f
Author: Roberto Bagnara <bagnara at 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=bbb1ff43e555dabda36b8d5838092ebade985c54
Author: Patricia Hill <p.m.hill at 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=a648638a1c5f2b288e03625b5dc07a2bc69d9bd8
Author: Patricia Hill <p.m.hill at 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=c5965cbb6eed173edfc9120168dce59764b19aee
Author: Patricia Hill <p.m.hill at 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=b01615895b5ccf6112b176ce96eda8c40928d275
Author: Patricia Hill <p.m.hill at 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=68dd5db1d102fc5bd5157fc14124abc5c5bf9b43
Author: Patricia Hill <p.m.hill at 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=0ef46ef0cbc64d9f9a472d433abf01507fd078fd
Author: Patricia Hill <p.m.hill at 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=46be509da515e0e7f8909d4a31846876b00bfa02
Author: Patricia Hill <p.m.hill at 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=f21ee4e62c55773048617a12a1f1dd8bae349ff9
Author: Patricia Hill <p.m.hill at 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=e13382fd6d7a7f31b23d3b1b377a04043be11780
Author: Patricia Hill <p.m.hill at 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=97e641dd651baeccc600dc077ad7690e6e382649
Author: Patricia Hill <p.m.hill at 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=6b9f28ad503f1d43da7a876c4bee7eae9eba185a
Author: Patricia Hill <p.m.hill at 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=047b85ccd0ddca80f0557b4218a7b8cd61f591f1
Author: Patricia Hill <p.m.hill at 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=49daa080642e8ffdf26942422490a0c8a1e140c9
Author: Patricia Hill <p.m.hill at 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=b981fa2a283c3113769955bbfd85d4af5e1485d7
Author: Patricia Hill <p.m.hill at 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=49a4bf80ee9964d07fd6aeb0f315975c8e131cc6
Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50
Author: Roberto Bagnara <bagnara at 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=7d94d1213ad812f7d2a1cec93763247bdab22d34
Author: Patricia Hill <p.m.hill at 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=7d519208391e933089c023ddf4d29e1b8b50f9c7
Author: Patricia Hill <p.m.hill at 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=4f5a7d280e521fb9e657b6b45798b98637f50229
Author: Patricia Hill <p.m.hill at 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=c7f4b16d84c83be74fb0e62080e2d22b51d170a6
Author: Patricia Hill <p.m.hill at 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=60d5f1fce4d12cdf6fc74f18a4f8feeb7eb61d73
Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207
Author: Roberto Bagnara <bagnara at 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=da0ca32ee95f30d2bcd9111eea74d9b820ad1a14
Author: Patricia Hill <p.m.hill at 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=d1cde86de0626030ebb6fa6cae49e3111074a7ee
Author: Patricia Hill <p.m.hill at 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=5feeaabb6a4e04b1cac64c7715ccfc6354f0c374
Author: Patricia Hill <p.m.hill at 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=4d9d2424b6b45115d3460e6584f28e416677e163
Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587
Author: Roberto Bagnara <bagnara at 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=71893349245baa11c7fa1dd9b0a793606b4bce4c
Author: Patricia M. Hill <hill at 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=00d817596a9b79824d737800ddd9ef57f054adb1
Author: Roberto Bagnara <bagnara at 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'.
More information about the PPL-devel
mailing list