URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9c75c0855011... Merge: 430352775db7751e904089268357d9462b7e5646 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 13 16:28:13 2011 +0100

Merge branch 'master' into floating_point

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=bf1edca5e0ddb... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 16:09:47 2011 +0100

Polyhedron: fix an invalid reference bug in generalized_affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a01fecf4cde75... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 09:58:54 2011 +0100

Grid: avoid using an invalid reference in the constructor from a Box.

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.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0643bb18e84c0... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 3 18:48:49 2011 +0100

Corrected a bug in cut generation. We were using %= instead of the helper function mod_assign(), which is meant to compute the *positive* modulus. For clarity, the helper function has been renamed as pos_mod_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f14d56cb93cb6... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Feb 2 16:48:49 2011 +0100

Do not use the deprecated function mpz_div_2exp. Use mpz_tdiv_q_2exp instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c02e988b645f6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 29 19:45:52 2011 +0100

AC_PROG_OCAML only sets OCAMLOPT if OCAMLC is different from "no".

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4d174ba5cb6e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 29 10:54:01 2011 +0100

Copyright notices updated in expexted result files.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb4f7f910d95f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 24 20:43:36 2011 +0100

Copyright notices updated.