URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfe01f9e62f43... Merge: c46cd9cf6f042b38eb44f6ec266d01d5ce10df99 b956c5822426119ce1bfa2ad7f305cfff6db7148 Author: Marco Poletti poletti.marco@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=b956c58224261... Author: Marco Poletti poletti.marco@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=96804c70b4db6... Author: Marco Poletti poletti.marco@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=67198c5e25b8f... Author: Roberto Bagnara bagnara@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=fa59cbeb2a6dd... Author: Enea Zaffanella zaffanella@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=73cfc6e239036... Author: Marco Poletti poletti.marco@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=8ca3aebcc9cb1... Author: Roberto Bagnara bagnara@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=24b68b1c48e45... Author: Marco Poletti poletti.marco@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=215c270204d96... Author: Enea Zaffanella zaffanella@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=41c580634b7e9... Author: Roberto Bagnara bagnara@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=b4e8a607e5a61... Author: Roberto Bagnara bagnara@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=5147bf4e1914c... Author: Enea Zaffanella zaffanella@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=d6bbae8773094... Author: Roberto Bagnara bagnara@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=0f42c4966e4c1... Author: Enea Zaffanella zaffanella@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=5e75a70506117... Author: Abramo Bagnara abramo.bagnara@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=e5f893b6c2cfc... Author: Roberto Bagnara bagnara@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=8b29e34e75e9e... Author: Roberto Bagnara bagnara@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=69c0e45682361... Author: Roberto Bagnara bagnara@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=6861c446e762d... Author: Roberto Bagnara bagnara@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=743d879f0284f... Author: Roberto Bagnara bagnara@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=8a7cd78d39715... Author: Roberto Bagnara bagnara@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=73dd768d9265a... Author: Enea Zaffanella zaffanella@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=2a224dfc21ffc... Author: Roberto Bagnara bagnara@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=32c3efb0d9a72... Author: Enea Zaffanella zaffanella@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=e42f8b60421ca... Merge: 9d99c21af3e717056a34d4f67739afb375cabe94 22b1565be0efe35f86e6323180ff6de113b19b18 Author: Enea Zaffanella zaffanella@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=22b1565be0efe... Author: Enea Zaffanella zaffanella@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=9d99c21af3e71... Author: Enea Zaffanella zaffanella@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=a5d400f674a9d... Merge: 29201d2a5893bbe17744777de36e9a106ed8ea95 d0f6bd037c90676130e9547e5ed909cf6ba8eee9 Author: Enea Zaffanella zaffanella@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=29201d2a5893b... Author: Enea Zaffanella zaffanella@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=bb08fb49f561a... Author: Enea Zaffanella zaffanella@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=d0f6bd037c906... Author: Abramo Bagnara abramo.bagnara@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=b86cb60dbf777... Merge: 3c8f16e240439811d501629660cedb8f99f0009a c23ded5ce0023a753fdd5da2dbbd99d1a084566c Author: Enea Zaffanella zaffanella@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=3c8f16e240439... Author: Enea Zaffanella zaffanella@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=0e4098c48d6fe... Author: Enea Zaffanella zaffanella@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=c23ded5ce0023... Author: Enea Zaffanella zaffanella@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=caaa126b56ccb... Author: Enea Zaffanella zaffanella@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=20f99dbe73d5c... Author: Enea Zaffanella zaffanella@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=d6c61aaed265c... Author: Enea Zaffanella zaffanella@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=03f79f0649bf8... Author: Enea Zaffanella zaffanella@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=35d2df08098d1... Author: Enea Zaffanella zaffanella@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=3f551cfb87006... Author: Enea Zaffanella zaffanella@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.