| Mon, 19 Sep 2011 23:18:18 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 19 Sep 2011 22:48:05 +0200 | wenzelm | merged | changeset | files |
| Mon, 19 Sep 2011 16:18:34 +0200 | bulwahn | catch PatternMatchFail exceptions in narrowing-based quickcheck | changeset | files |
| Mon, 19 Sep 2011 16:18:33 +0200 | bulwahn | removing superfluous definition in the quickcheck narrowing invocation as the code generator now generates valid Haskell code with necessary type annotations without a separate definition | changeset | files |