Wed, 04 Apr 2012 10:49:42 +0200 | bulwahn | merged | changeset | files |
Wed, 04 Apr 2012 10:17:54 +0200 | bulwahn | rudimentary handling of products in finitize_functions in Quickcheck-Narrowing | changeset | files |
Wed, 04 Apr 2012 10:17:08 +0200 | bulwahn | improved equality check for modes in predicate compiler | changeset | files |