[PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Tue Mar 23 06:11:49 CET 2010
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=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=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=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=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=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=a55e13a59c2877379aa61686371696e30dbabcd1
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Fri Mar 19 13:37:34 2010 +0000
Updated the first item for TODO and removed code for
linear expression is_zero() and all_homogeneous_terms_are_zero()
from the Prolog interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9130e247463a5500fabf77b26852d9587e30c3
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Mar 18 17:00:03 2010 +0000
All_affine_ranking_functions_PR* functions,
for the C and Prolog interfaces now take an NNC polyhedron
as the last argument and not a C one.
Interface Linear_Expression::is_zero()
and Linear_Expression::all_homogeneous_terms_are_zero()
added to the C and Prolog interfaces.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dab9262cbdb9166cd4a77a2ec9110c3295b3c773
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 18:22:59 2010 +0400
Completed the implementation of all_affine_ranking_functions_PR*().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1178929241483912d8f0839edf1f512a552653c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 18:22:12 2010 +0400
New Linear_Expression methods.
Methods bool Linear_Expression::is_zero() const and
bool Linear_Expression::all_homogeneous_terms_are_zero() const
return true if and only if `*this' is 0, and if and only if all the
homogeneous terms of `*this' are 0, respectively.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eda06954832ce1cc59c0888d00ef514ed08065c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 18:15:16 2010 +0400
Termination functions renamed in non-C++ interfaces.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609a4b2ead0b88688499ef007f79476b5cadea4c
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Mar 18 08:32:46 2010 +0000
Delete objects before exiting code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d99284d19450f3f9ff7a684ee87a7408d152a800
Merge: 7ededcd1147e0df879bdfaf92e9fa49c5482653d 2df786e330fbe20f7c268860bd791cc627d4c22a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 11:32:34 2010 +0400
Merge branch 'master' into termination
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ededcd1147e0df879bdfaf92e9fa49c5482653d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 11:31:30 2010 +0400
Completed test07().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=357f7bebfaf45554b0c33805e27faada00d74660
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 11:13:02 2010 +0400
Fixed one_affine_ranking_function_PR().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cffedb3d03ed65cc04d4216100f8f5f881d957d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 09:11:16 2010 +0400
Several corrections.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=003fb0b786349b3da96d65bd4483f4982bf88294
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 06:55:41 2010 +0400
Turn off debugging output.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72e0e99576d4a6508c6a7078cd37207833c54f2b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 18 06:52:45 2010 +0400
Fixed two bogus invocations of PPL_WEAK_REGISTER.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff0e20fbd91fea45e9eb2bd2c90a92291e22d02f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 21:11:12 2010 +0400
Fixed several typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dcffed9f68fd428fe5c6aaf9fbf1140f3c57303
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 20:56:40 2010 +0400
Fixed some invocations of PPL_CHECK.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6939662599fe07c6a70003ef215bff8b2b015bc3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 20:44:53 2010 +0400
Define PROLOG_TRACK_ALLOCATION to 1 to make a few bugs evident.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d0e260671a9f99b2ff8c6aaeb58d3bd41953e2c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 20:36:04 2010 +0400
C and Prolog interfaces for the termination utility functions renamed and fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=344cb0aca8ae7cb17820f75389480cac3d61b999
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 19:59:54 2010 +0400
Kludge removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f0858faa24609e957a1eb5dddb832f68766d4fe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 19:58:24 2010 +0400
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6ba16bc72f64aae8474331a12a839dbbb06d859
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 18:46:27 2010 +0400
Completed fill_constraint_system_PR().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a8b57ac7306894b762f36a6c2f08283243369b5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 15:56:17 2010 +0400
Kludge to allow the proof-of-concept implementation of the PR functions to compile.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6c37d8cca269ec38fcc936477d1f21725cfb1ab
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 15:11:07 2010 +0400
Temporarily implemented termination_test_PR() in terms of termination_test_PR_2().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fb912684fddca80a1f5aa37e8fdf10c0ffff23c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 14:50:42 2010 +0400
Implemented and fixed termination utilities with two input abstractions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f9f111da40d4d19c6ebe616cd6393c0b8007f7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 14:50:01 2010 +0400
Code formatting fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02ffc8f4e65bbb1a1c1c3eb5cd6c746216f32c32
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Mar 17 07:46:03 2010 +0000
Added a test (based on test10 in termination1.cc in the
tests/Polyhedron directory) for termination_test_MS/1 and
termination_test_PR/1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec57f6b3e45d9035b7a43411ddb9e46e2bb1799b
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Mar 17 07:32:57 2010 +0000
Added termination_test functions ending with "_2".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38e738d30f668cf23619238309917a49f03634e6
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Mar 17 07:17:59 2010 +0000
Fixed some cut and paste typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be095b01fae73a572c6775bf6e5c8a428b41b3d6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 17 10:35:22 2010 +0400
Arities fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d8adeb605e46333bf0a342f611e87d1ac7480c3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 16 16:34:59 2010 +0400
Printing of debug information suppressed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2472d5274d7f848ce8c2b3a6d7c4d564e3c4c054
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 16 16:33:35 2010 +0400
Implemented template termination_test_PR_2().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e27545f793d0be73d08e1b6c80cb0daeef423774
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue Mar 16 11:21:30 2010 +0000
Added more termination_test predicates to the Prolog interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dc0de142813f0fb2120b2e124f658ecf76534ae
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 16 14:58:52 2010 +0400
New versions of the termination utility functions with two input parameters.
The PR ones are only stubs for the time being.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0169d5ede31039927d30d598315af7c6dad60464
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 16 06:47:42 2010 +0400
Add BD_Shape<int8_t> to the instantiations enabled by default.
BD_Shape<int8_t> allows to efficiently encode monotonicity constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b93d10b250194982d8e466da2fe9380366ab547d
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Mar 10 15:08:47 2010 +0000
Improved variable names.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=147de8cc7cdf60650f0425c9aef5132ef9a8f6d0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 10 15:23:12 2010 +0400
test10() and test11() witness a bug in termination_test_PR().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1d4481a3175ce3a55d90267c66befb9247827e9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 17:03:16 2010 +0400
Implemented the improved Podelski and Rybalchenko termination test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df002a70c37365fc661bb7674ba60baf71898ccb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 14:31:09 2010 +0400
Function renamed. Unwanted stuff removed from comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e69262acd5baac8500ac0e81e1e9842d246fdb1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 13:43:32 2010 +0400
LaTeX code fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0d81dc0f79d7213fc4c9536be45f057c9a260e
Merge: a284ae47e8ec209d8235bc21f2802d6023fec2ec 114f0e38474584e74743f67fd1203487241b60e8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 13:38:21 2010 +0400
Merge branch 'master' into termination
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a284ae47e8ec209d8235bc21f2802d6023fec2ec
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 13:11:32 2010 +0400
Description of the PR method improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd140775f60657dd4419ff5e5f2fd1e2074e2a94
Merge: 7d037e04dd8bf3d0713845d41b4eb155ff911912 4e2cacd9738634f10872d5e63f3fa9551d546a7e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 09:03:36 2010 +0400
Merge branch 'master' into termination
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d037e04dd8bf3d0713845d41b4eb155ff911912
Merge: ea1d686ab772b820f2d094851f3cbf330f05f9e7 f9fbde6765402ee509a03d952fdae02115c266fa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 07:05:31 2010 +0400
Merge branch 'master' into termination
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea1d686ab772b820f2d094851f3cbf330f05f9e7
Merge: 276bf49a11da0443cc5b284cf880858a8911b48a 0a6c325c3b9615411ba40c44743268f33303589a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 22:01:23 2010 +0400
Merge branch 'master' into termination
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276bf49a11da0443cc5b284cf880858a8911b48a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 21:52:26 2010 +0400
Debugging output switched off.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bcdb95d9ed920e72f5b11b0d68bd0b7085cec4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 21:37:08 2010 +0400
Fixed the implementation of the *_all_affine_ranking_functions_* predicates.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38df1b8d05c74ba8a948f2482e78b38c78a9c0ee
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 20:22:46 2010 +0400
Fixed one_affine_ranking_function_MS(): it was not projecting the generator onto the mu variables.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea4a32cfd39ad59de60ca105540feef96207cd09
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 8 16:22:46 2010 +0000
Code for Polyhedron_all_affine_ranking_functions_PR and similar
revised - but is buggy. m4 version needs fixing.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81ffc77370c6734881e1b600a5d7c9688c9ca3e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 18:39:23 2010 +0400
Support newer versions of SWI-Prolog.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c066af6c05058ad105d35948e43b758ef4fd1cfd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 16:57:31 2010 +0400
Fixed some copy-and-paste mistakes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f1381c41b71fbff2c60e924402fc4cca8eeaacb
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 8 13:34:53 2010 +0000
Added the rest of the termination functions to the C interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8bcb32b2739e509d24cdd6daf74e085a388165b
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 8 12:46:14 2010 +0000
Fixed some bugs in the Prolog interface termination code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07ba164136b4181c4e51b1994eb2b858c692814f
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 8 12:39:37 2010 +0000
Added the new termination functions to Prolog interface and
the termination_test_MS only to the C interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e804f7e233464910224f77941ed59355abb504f1
Merge: c59646077762fcf090705ece6876b8ef35623c8b 54bf68f9ee93822f8792c0d89d45ebd0b5823aee
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 16:25:15 2010 +0400
Merge branch 'master' into termination
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c59646077762fcf090705ece6876b8ef35623c8b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 15:41:23 2010 +0400
Comments improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cda8c51361f8f975d725c240160b2339471d3fbb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 15:16:40 2010 +0400
Added a couple of missing constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e848582e1152915695a686a3c13693d497a73b3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 14:22:41 2010 +0400
Fixed the input polyhedra for test01() and test02().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bf82f6ed4a2435e5cab78a397340d7ec4accceb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 13:53:49 2010 +0400
Added stub implementations for one_affine_ranking_function_PR() and all_affine_ranking_functions_PR().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a21fe775ff710ea781ce7d6c751aaacf3615bb2
Merge: 4684207ce34a88f9552f450faa6e019e475e4027 d054a83797b9b861addd7cdc5abac091edaf5865
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 10:44:11 2010 +0100
Merge branch 'master' into termination
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4684207ce34a88f9552f450faa6e019e475e4027
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 13:35:33 2010 +0400
Documentation improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37d7226faeb9e32cd096748616b822fbc39c00e3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 7 22:09:59 2010 +0400
Still working on specifications.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8680f29d7d3d4170b90f55cf6d2becf27db33d1f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 7 20:42:21 2010 +0400
Completed a couple of comment blocks.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5356f0d0a51259885b184650032e3bfae6963a6f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 7 18:39:34 2010 +0400
Documented the interfaces of the termination analysis functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a94878edd54ed691374f0f61b7c35fb3d642caf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 7 16:34:38 2010 +0400
LaTeX inconsistency removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef46f1fa94c83138cedfd584654ba41684ef43d6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 7 15:52:03 2010 +0400
Moved the utilities for termination analysis to their final destination.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2d2e0aa6341133e05220f4892e4c853693608b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 7 14:32:06 2010 +0400
Several improvements. Changed the encoding of the input systems. Started drafting the implementation of the method of Podelski and Rybalchenko.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e66a1705f54a53ea33fa8ba0164fe10518da1093
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 6 21:46:52 2010 +0400
Added functions for termination analysis following the approach of Mesnard and Serebrenik.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6433c0db9272e38f2a0d01cb50a23b8f5b0f554
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 5 22:18:05 2010 +0400
Added method bool Constraint_System::has_equalities() const.
More information about the PPL-devel
mailing list