| Wed, 03 Sep 2014 00:06:18 +0200 | blanchet | codatatypes are not datatypes | changeset | files |
| Wed, 03 Sep 2014 00:06:17 +0200 | blanchet | ported Quickcheck to support new datatypes better | changeset | files |
| Tue, 02 Sep 2014 23:59:49 +0200 | blanchet | removed more slow Refute tests | changeset | files |
| Tue, 02 Sep 2014 23:59:46 +0200 | blanchet | tuned Refute example | changeset | files |
| Tue, 02 Sep 2014 16:38:26 +0200 | steckerm | Some work on the new waldmeister integration | changeset | files |
| Tue, 02 Sep 2014 14:40:32 +0200 | boehmes | merged | changeset | files |
| Tue, 02 Sep 2014 14:40:14 +0200 | boehmes | replay Z3 rewrite steps that lift if-then-else expressions | changeset | files |
| Tue, 02 Sep 2014 13:40:03 +0200 | traytel | test discriminators/selectors in BNF regression suite | changeset | files |