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