| Tue, 27 Oct 2009 09:06:05 +0100 | bulwahn | added examples for quickcheck prototype | changeset | files |
| Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | adding a prototype of a counter-example generator based on the predicate compiler to HOL/ex | changeset | files |
| Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | adding test case for inlining of predicate compiler | changeset | files |
| Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | hiding randompred definitions | changeset | files |
| Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | changes to example file | changeset | files |
| Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | print retrieved specification when printing intermediate results | changeset | files |
| Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | added option show_modes to predicate compiler | changeset | files |
| Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | changeset | files |