| Wed, 28 Oct 2009 00:08:32 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Oct 2009 00:07:51 +0100 | wenzelm | proper headers; | changeset | files |
| Tue, 27 Oct 2009 23:16:18 +0100 | wenzelm | reactivated sun-poly, as parallel test; | changeset | files |
| Tue, 27 Oct 2009 23:12:10 +0100 | wenzelm | merged | changeset | files |
| Tue, 27 Oct 2009 19:03:59 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 16:47:27 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 16:01:38 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 13:51:22 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 09:24:45 +0100 | bulwahn | disabled test case for predicate compiler due to an problem in the inductive package | changeset | files |
| 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 |
| Tue, 27 Oct 2009 18:09:11 +0100 | boehmes | removed unused file smt_builtin.ML, | changeset | files |
| Tue, 27 Oct 2009 18:01:50 +0100 | boehmes | included description for sledgehammer options in Mirabelle script | changeset | files |
| Tue, 27 Oct 2009 18:00:50 +0100 | boehmes | measure runtime of ATPs only if requested | changeset | files |
| Tue, 27 Oct 2009 22:57:23 +0100 | wenzelm | eliminated some old folds; | changeset | files |
| Tue, 27 Oct 2009 22:56:14 +0100 | wenzelm | eliminated some old folds; | changeset | files |
| Tue, 27 Oct 2009 22:55:27 +0100 | wenzelm | Datatype.read_typ: standard argument order; | changeset | files |
| Tue, 27 Oct 2009 17:34:00 +0100 | wenzelm | normalized basic type abbreviations; | changeset | files |
| Tue, 27 Oct 2009 17:19:31 +0100 | wenzelm | misc tuning and simplification; | changeset | files |
| Tue, 27 Oct 2009 16:49:57 +0100 | wenzelm | merged | changeset | files |
| Tue, 27 Oct 2009 16:16:12 +0100 | wenzelm | merged | changeset | files |
| Tue, 27 Oct 2009 16:05:22 +0100 | haftmann | merged | changeset | files |
| Tue, 27 Oct 2009 16:04:44 +0100 | haftmann | merged | changeset | files |
| Tue, 27 Oct 2009 15:32:21 +0100 | haftmann | tuned | changeset | files |
| Tue, 27 Oct 2009 15:32:21 +0100 | haftmann | tuned | changeset | files |
| Tue, 27 Oct 2009 15:32:20 +0100 | haftmann | dropped obsolete comment | changeset | files |