[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Fri Apr 16 21:44:53 CEST 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e8b388378f6d1e9db9d8781e771662d3ddb9c6c
Merge: e7dbab946365a7ccf612a2205b504b37a863cff1 7619e0ea164cc929b987b59edbc87e3a0987bf0d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 21:36:13 2010 +0200
Merge branch 'master' into sparse_matrices
Conflicts:
src/PIP_Tree.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164cc929b987b59edbc87e3a0987bf0d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 15:16:17 2010 +0200
Properly document ppl_Coefficient_bits/1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41926a747ca792393a6ea992f7234d24f980369a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 14:46:46 2010 +0200
Corrected a few typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd68769135cfa380fadefddfdede59609e2f9c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 14:06:50 2010 +0200
Corrected typo causing a bug in the XSB Prolog interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7db9d078f15311aaaeed57e0dae06c44e89dd329
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 11:14:23 2010 +0200
Add method wrap_assign() to Pointset_Powerset.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89dc0e98630f7986a46283fb3fa47259f0e77b8f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 11:13:48 2010 +0200
A minor stylistic improvement and a typo corrected.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1de57646e57a6268d1c191f973114
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri Apr 16 09:02:05 2010 +0200
Silenced warnings.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=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().
More information about the PPL-devel
mailing list