Tue, 31 May 2011 19:28:03 +0200 | boehmes | updated SMT certificates | changeset | files |
Tue, 31 May 2011 19:27:19 +0200 | boehmes | proper nesting of loops in new monomorphizer; | changeset | files |
Tue, 31 May 2011 19:21:20 +0200 | boehmes | use new monomorphizer for SMT; | changeset | files |
Tue, 31 May 2011 18:13:00 +0200 | bulwahn | merged | changeset | files |
Tue, 31 May 2011 15:45:27 +0200 | bulwahn | Quickcheck Narrowing only requires one compilation with GHC now | changeset | files |
Tue, 31 May 2011 15:45:26 +0200 | bulwahn | splitting test_goal_terms in Quickcheck into smaller basic functions | changeset | files |