URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93e499e6c7f28... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Dec 11 17:07:38 2011 +0100
Added new source file Linear_Expression_Impl.cc. Move template specializations that are not inline into new source file. Move other ones into Linear_Expression_Impl.inlines.hh. Prefer virtual method print() to non-standard virtual operator<< variant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=013b9e8490bfc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Dec 11 16:18:50 2011 +0100
Avoid a couple of warnings about unused variables.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b04c0181862... Merge: 8ce105ecb82f5320fc972a5da320ca6726e3f1d4 5d56513b2dc23fae0bc40c822299f2cfc18dad35 Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Dec 11 14:38:54 2011 +0100
Merge branch 'master' into sparse_matrices
Conflicts: src/Grid_Generator.inlines.hh src/Grid_conversion.cc src/PIP_Tree.cc src/Polyhedron_public.cc src/globals.inlines.hh
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d56513b2dc23... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 10 12:50:48 2011 +0100
Added functions ppl_unreachable() and ppl_unreachable_msg(), causing program termination using abort(). Let PPL_UNREACHABLE and PPL_ASSERT be based on these functions. Avoid a cycle in header inclusion dependencies.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31dbca0af5eaf... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 10 08:10:30 2011 +0100
Corrected typo causing test failures.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50504a0234039... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 10 07:42:51 2011 +0100
Prefer early return to dummy assignment in unreachable code path.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e39d6074bab1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 10 07:41:12 2011 +0100
Add assignment to silence compiler warning.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7479b827db97... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 10 07:37:40 2011 +0100
Fixed typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4cc508f1bfe1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 18:46:44 2011 +0100
Improved name of helper function in OCaml interface. Add default label to switch to avoid warning.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c49e9f58f55e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 18:31:20 2011 +0100
Added debugging macro PPL_EXPECT_HEAVY. Added debugging helper function template copy_contains(). Systematically use PPL_EXPECT_HEAVY(copy_contains(...)) when checking containment assumptions in widening/narrowing methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3440f5a82c511... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 17:41:47 2011 +0100
Better differentiate between unreachable code and unexpected values. We call, e.g., PPL_JAVA_UNEXPECTED when we are converting an illegal Java value to a C++ value; we call PPL_UNREACHABLE when such a mismatch occurs the other way round (an illegal C++ value produced by the core library).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c89cabcad0b8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 15:10:42 2011 +0100
Prefer if statement to switch having a single case. Detected by ECLAIR service swchlabs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17c7d99b34eb7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 14:27:14 2011 +0100
Prefer if-then-else to switch having a single case label. Detected by ECLAIR service swchlabs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4b12db130c32... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 13:53:56 2011 +0100
Added macro PPL_C_UNREACHABLE_MSG. Use the new macro in a few places in the C interface code. Standardized messages for errors due to Watchdog library not enabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9438c7071464c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 13:40:22 2011 +0100
Added macros PPL_OCAML_UNREACHABLE and PPL_OCAML_UNREACHABLE_MSG. Try and use them systematically in the OCaml interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a523cbe043fa... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 13:02:40 2011 +0100
Added new macro PPL_JAVA_UNREACHABLE. Use the new macro to mark unreachable code in the Java interface files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d08420c8dc65a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 12:58:29 2011 +0100
Replaced throws of runtime_error exceptions by calls to PPL_UNREACHABLE. Got rid of a few (now unused) exception throwers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31a0bdcb139c6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:26:13 2011 +0100
Avoid (unreachable) default label when all cases have been listed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3849aea53fcb8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:23:36 2011 +0100
Prefer PPL_UNREACHABLE to PPL_ASSERT(0). Avoid mixing reachable and unreachable code paths.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14344113942d2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:22:27 2011 +0100
Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added an assertion and comment explaining why cases are unreachable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3265acda1a51... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:20:54 2011 +0100
Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added proper assertion for preconditions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c636fa0e8837... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 09:42:20 2011 +0100
Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs.
Prefer listing a couple of residual switch cases to default label.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb0fe79c7af7b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 09:20:35 2011 +0100
Replaced PPL_ASSERT(false) with PPL_UNREACHABLE. For readability, avoid mixing reachable and unreachable paths.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc6cf294d3c3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 09:16:19 2011 +0100
Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13865670123ac... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 08:56:38 2011 +0100
Fixed a couple of switch statements where we were mixing reachable and unreachable code paths, reducing readability. Added precondition assertions at the start of assign_special_float() so as to make clearer why the default switch case is unreachable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5adf6d4df3cc5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 08:25:19 2011 +0100
Added new macro PPL_UNREACHABLE, to be used instead of PPL_ASSERT(false). Started replacing calls to PPL_ASSERT(false) in the core library code.