[PPL-devel] [GIT] ppl/ppl(master): New commits

[Roberto Bagnara]

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=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=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=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.