[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Tue Apr 17 13:03:28 CEST 2012
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01eee00d67840bde75eb0e62c8ea53673a70a330
Merge: 46f8f37cd5bae3620a949e82dd700d2dbb466519 c098c056b375b809087be22be43abf29ee516d63
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Apr 17 12:42:06 2012 +0200
Merge branch 'master' into sparse_matrices
Conflicts:
src/Linear_Row.cc
src/Linear_Row.inlines.hh
src/PIP_Tree.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c098c056b375b809087be22be43abf29ee516d63
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Apr 16 22:04:46 2012 +0200
Fixed a few copy&paste errors in documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305c39d78c0a6de7a1478f92b892a32e030daa42
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 16 11:23:40 2012 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4804b28aa126b2e5b71778af702c0a9aef3b4885
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 16 11:12:04 2012 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba2111047479b93493861aeede40ab50bb89b9d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 13 10:53:41 2012 +0200
Minor corrections in the documentation for set_deterministic_timeout.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a082744fb5cdd09647455b0052de1f3b7862a3e0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 12 23:02:50 2012 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7038a1b8de24d7ff4a44c49278e9192f948fabf7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 12 21:22:27 2012 +0200
The Intel C/C++ compiler does not support -pedantic.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f76c05f9945195d99135594ee379ad1358563308
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 12 15:44:11 2012 +0200
The Intel C/C++ compiler does not support -pedantic.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84128ab43b6ee1f3dc5a4027b86e67d6e4a626a8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 12 11:16:52 2012 +0200
Typo fixed. Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebf2319c2e73d90dd89d4baca45b91834a089f50
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Apr 11 17:25:13 2012 +0200
Test PIP_Problem/weightwatch1 requires unbounded coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04c81f986d57e815bf6e987478008e69c97273be
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Apr 11 15:31:41 2012 +0200
Modified signature of function set_deterministic_timeout().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f021f3e7bd4d84cc2ebff07d41af4ae2ef5c9d3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 19:33:27 2012 +0200
Fixed a bug in the Prolog interface whereby predicate ppl_set_deterministic_timeout/1.
It was flagging arguments bigger than 4294967295 as erroneous.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd121ac6dd6ab6fd9429117d2348c1ce5091b3a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 19:27:28 2012 +0200
Revert "The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter."
This reverts commit 7781b2d72ad31906c830a16a942b31ac305924c2.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e61b4cb77286d02bb152f4285d32cc3e088633a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 19:08:46 2012 +0200
Substituted "alpha testing" with "beta testing".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7781b2d72ad31906c830a16a942b31ac305924c2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 19:02:56 2012 +0200
The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter.
It erroneously used to take an unsigned int.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc119cc72ae7d0e6e273b4436ada333e3e2c8111
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 18:58:33 2012 +0200
Profiled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5e0f990123db2349c4d27c2fd0bea9b5851961d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 18:41:48 2012 +0200
New test program.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a218c114b0f2e7ac8f1f0c76b9757bde7ad77ff8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 18:38:17 2012 +0200
Comments improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4dbb6e73d34028361b3ae69cd7324318a0ff720
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Apr 7 15:54:20 2012 +0200
Ignore always unhandled bits.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a772590b835729ca6a4a9b971dfbb207c92fd451
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 15:25:34 2012 +0200
Cleaned.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dfc47517c842761f050c228ca845bfab2dbbfb5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 14:11:39 2012 +0200
Avoid using @ outside BibTex entries.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fe7c0066396293c2f836a5324e173aaafd1c60e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 14:09:41 2012 +0200
Avoid using @ outside BibTex entries.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6936a75a6bf5cbfaacf908f21961f9d6c8f8572
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 14:04:23 2012 +0200
Missing comma added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88234071d1135d533010e15182990f89656937fc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 7 14:00:05 2012 +0200
Avoid non-ASCII characters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5234d75213a363d1123261ba2a7ed420e655552e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Apr 7 11:35:41 2012 +0200
Added calls to WEIGHT macros.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=339439dc72b06d5e29c20cfbef6cac871d330ec4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 19:21:23 2012 +0200
Weight computation fixed and adjusted.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cab1cdf4cf2578661e4461104dcd8c26e50cbf5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 17:34:28 2012 +0200
Let ppl_unreachable_msg() print a more sensible message.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ddaf31d0887e566e87b15fa2e5412ceca1f8f6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 17:16:50 2012 +0200
Punctuation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bb170031482313ece6815221552be0253a76deb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 17:15:23 2012 +0200
Mimic the message given by standard assert.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81a68dd16a56d4c8d7072081fa10d51a3af78cf0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 6 16:48:59 2012 +0200
Added a comment to clarify definition of PPL_ASSERT.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488490ab24f427266b6c305a0c48ecc42ddcf4d4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 6 16:38:44 2012 +0200
Improved error message reporting for assertion failures.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb4ff186479c5cd0a16838439b7b9743c9c10292
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 12:13:14 2012 +0200
Reordered so as to allow compilability with -DPPL_PROFILE_ADD_WEIGHT=1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34fa558e18b00b28060b8da6ae6004c891440050
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 12:12:45 2012 +0200
Variable name fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04e4cfbf6a817a734047d14319aa91f64e2c2183
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 12:11:56 2012 +0200
Reference to no longer existing namespace removed.
(Wonder why we did not have a Doxygen warning.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e40494f8f379687c9b7d44fbbfb60493e23da1d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 6 10:41:12 2012 +0200
Clarified reason of assertion failing by adding a message.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b406ba2b5a15f5b1b8fa011034d9de64af012536
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 6 10:19:18 2012 +0200
When dumping Linear_Row::Flags with assertions turned off,
force the (unavailable) rpi/nnc validity bits as "set".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=946038b56de1a069614eebe80f1a308b74b8a93e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 09:03:47 2012 +0200
Do not use #define without a value.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3415eb20ae3bd9e1fb42c9208865211575dfe6ca
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 09:03:08 2012 +0200
The given problem is not satisfiable (independently verified with other solvers).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36136d48b149f536afc224a99ce4965513f8fc18
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 07:51:20 2012 +0200
Make it easier to reproduce issue [PPL 0000353].
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e570c208e2a15db4cc6d03ae463d5f8eeac8b4f1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 6 07:14:21 2012 +0200
Use add_mul_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a194d47db18ade7949797b4d15adac30ae21feb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 5 22:24:58 2012 +0200
Function renamed and documented.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b7bc2428f8ea87782626051ec4d0cbd99d4fc46
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 5 22:03:23 2012 +0200
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6ef34ebb54d98fe07391cadd91ed3dd6ed9284
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 5 21:50:58 2012 +0200
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ff3e5f5be1452c9f476eb184bef9a200f37475
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 5 21:24:47 2012 +0200
Set the validity bits.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236fc0ca4dcc94bacb3d045e3b113a6074273395
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 5 19:59:53 2012 +0200
To reproduce Mantis issue [PPL 0000353].
More information about the PPL-devel
mailing list