[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Thu Feb 17 16:49:31 CET 2011
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfe01f9e62f4388875dc6ae3a11f0f81f4036c79
Merge: c46cd9cf6f042b38eb44f6ec266d01d5ce10df99 b956c5822426119ce1bfa2ad7f305cfff6db7148
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Thu Feb 17 16:49:16 2011 +0100
Merge branch 'master' into sparse_matrices
Conflicts:
src/PIP_Tree.cc
src/PIP_Tree.defs.hh
tests/Sparse_Matrix/Makefile.am
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b956c5822426119ce1bfa2ad7f305cfff6db7148
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Thu Feb 17 13:02:00 2011 +0100
PIP_Solution_Node: avoid repeated lookup of Sparse_Row's coefficients, in solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96804c70b4db623d36eff204053761203529a84e
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Thu Feb 17 12:07:39 2011 +0100
PIP_Solution_Node: improve the performance of solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67198c5e25b8fb985f27d4c24cb84e890aea8a23
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 16 16:16:53 2011 +0100
Disabled the `memory1' test (at least for the time being).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa59cbeb2a6dd1f47f7ac9f6023cb4209dac1be1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 16 09:14:24 2011 +0100
test06 no longer overflows when using 8-bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73cfc6e2390366f132e6967d225c4d5ec317bb46
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Feb 14 21:23:11 2011 +0100
PIP_Tree: simplify unnecessarily complicated code in compatibility_check_find_pivot_in_set().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca3aebcc9cb160df5cc985a1cd2cd79a744ccfd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 14 19:46:29 2011 +0100
Ignore *.lzma.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b68b1c48e4552f1085d9a04979e610c8ca79ca
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Feb 14 19:45:34 2011 +0100
PIP_Tree: avoid repeated calls to Sparse_Row::get(), in solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215c270204d965b2baa0463ebdb62f2f88f575f0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 14 19:14:13 2011 +0100
Corrected a (checked-integer related) problem in PIP_Solution_Tree::solve().
Updated expected results for 32-bits checked integers: ppl_pips test
lineri.dat no longer overflows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41c580634b7e90d73fa8d7629fb353d9bf103faa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 14 16:56:35 2011 +0100
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e8a607e5a61dd8a9e9b0da3f30a405371bb2ed
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 14 16:45:57 2011 +0100
Fixed a number of wrong conditionals.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5147bf4e1914c62a956ab336f2dbf4f20ebe3e5b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 14 16:45:38 2011 +0100
Minor improvements to documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6bbae8773094c0890166e92ce379f37a612c628
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 14 13:01:50 2011 +0100
Copyright notices updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f42c4966e4c1add7feb83a3dcfd9c6f8fc68d23
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 14 11:57:05 2011 +0100
Document parameter indent_level in PIP_Tree_Node::solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e75a70506117ff2375961fd7517345e8ecf3c90
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Thu Feb 3 17:26:08 2011 +0100
Added other plain char specializations.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f893b6c2cfc12755e3849ac485addcd3d03d68
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Feb 3 17:11:20 2011 +0100
Added missing specializations for plain char.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b29e34e75e9ee93899a9f3f8311142398517c0e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Feb 3 07:48:15 2011 +0100
Specialize C_Integer<T> for plain char.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c0e45682361f5d51d7b6ba8bf714ebbc85b43f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Jan 30 22:11:01 2011 +0100
Added specializations for plain char.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6861c446e762ddb7972580aa181206d29e87aa48
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Jan 30 22:08:31 2011 +0100
Copy-and-paste mistake fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743d879f0284f5d2c6ab1ad4d3149082dd0c261c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Jan 30 20:06:05 2011 +0100
Detect whether the plain char type is signed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a7cd78d39715462e9b036b52ae9815a1ae06146
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 14 10:55:23 2011 +0100
Reduce the argument of valgrind's --num-callers below the allowed maximum.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73dd768d9265a42d3c113f18e62d90948031b13d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 14 08:36:29 2011 +0100
Mentioned a correction affecting PIP_Problem solution trees.
Mentioned an improvement in the generation of PIP_Tree_Node tautological
cnstraints, node splitting constraints and artificial parameters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a224dfc21ffce3a15ab175400517d1fd6adccfd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 14 07:33:55 2011 +0100
Copyright notices updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 15:01:08 2011 +0100
Fixed auxiliary function aux_test to perform proper comparisons.
In the meanwhile, fixed another typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42f8b60421ca299d9a25d1d96f741a3a537e482
Merge: 9d99c21af3e717056a34d4f67739afb375cabe94 22b1565be0efe35f86e6323180ff6de113b19b18
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 10:17:30 2011 +0100
Merge branch 'master' into pip
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22b1565be0efe35f86e6323180ff6de113b19b18
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 09:53:50 2011 +0100
Mentioned the correction of a few problems.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d99c21af3e717056a34d4f67739afb375cabe94
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 08:50:37 2011 +0100
Minor readability improvements to PIP_Decision_Node::solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d400f674a9d725c93d01e19a91276fd459e386
Merge: 29201d2a5893bbe17744777de36e9a106ed8ea95 d0f6bd037c90676130e9547e5ed909cf6ba8eee9
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 18:50:11 2011 +0100
Merge branch 'master' into pip
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29201d2a5893bbe17744777de36e9a106ed8ea95
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 18:48:11 2011 +0100
For readability, separate the input operation from input stream status check.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb08fb49f561adff12634ec0468d0138f0913533
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 18:46:41 2011 +0100
Corrected expected results.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0f6bd037c90676130e9547e5ed909cf6ba8eee9
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Thu Feb 10 16:47:22 2011 +0100
Fixed stream state on checked input.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86cb60dbf7774131f5739879beff3015decbce5
Merge: 3c8f16e240439811d501629660cedb8f99f0009a c23ded5ce0023a753fdd5da2dbbd99d1a084566c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 10:49:20 2011 +0100
Merge branch 'master' into pip
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c8f16e240439811d501629660cedb8f99f0009a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 10:47:59 2011 +0100
Corrected the expected result for test02 to match integral simplifications.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4098c48d6fe9daae9d405112df1aac7ed66742
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 10:46:03 2011 +0100
Exploit variable integrality when creating tautology constraints.
Factored out helper function
void integral_simplification(Row&);
used when generating tautology and sign splitting constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c23ded5ce0023a753fdd5da2dbbd99d1a084566c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 5 21:01:13 2011 +0100
Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaa126b56ccb07884217b33b6cc8c1f79e7f6ca
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 17:22:07 2011 +0100
Fixed a bug in the simplification of the solution tree.
We were too eager in merging a single true child with its parent:
if the true child happened to be a decision node with both childs,
the merging was causing the violation of a PIP_Decision_Node invariant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20f99dbe73d5c6b988561d7cffaa4d294f2bdb6a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 15:42:15 2011 +0100
Further improvement to debug output.
Preprocessor flag NOISY_PIP_TREE_STRUCTURE only activate those debug print
taht is useful to hightlight the solution tree construction process.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c61aaed265c41faaac720ea2ef2f25ed8684e6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 14:21:07 2011 +0100
A minor improvement to the debug printing mechanism.
Methods solve() and generate_cut() are now provided with additional argument
indent_level, telling the amount of indentation for debug prints.
Added several messages to debug prints so as to clarify the solution tree
construction process.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f79f0649bf8108e16af8a73a21ee7553702bfb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 11:22:41 2011 +0100
Exploit integrality when adding constraints for mixed parameter sign rows.
Try to distinguish between NOISY and VERY_NOISY debugging output.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d2df08098d17c0a57b5df0d9f7f27512d0c5f1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 09:52:58 2011 +0100
Fully normalize artificial parameters on construction.
When in noisy mode, print normalized parameters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f551cfb87006f97c250feaa83a578361f855b38
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 08:39:12 2011 +0100
Minor changes related to coding standards.
Prefer initial capitalization for (user-defined) type names.
Prefer function objects to function pointers.
Avoid nesting an anonymous namespace into another anonymous namespace.
More information about the PPL-devel
mailing list