Wed, 20 Jan 2010 11:56:45 +0100 | bulwahn | refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck | file | diff | annotate |
Thu, 12 Nov 2009 09:11:36 +0100 | bulwahn | renaming code_pred_intros to code_pred_intro | file | diff | annotate |
Thu, 12 Nov 2009 09:10:42 +0100 | bulwahn | changed modes to expected_modes; added UNION to code_pred_inlining; fixed some examples; tuned | file | diff | annotate |
Wed, 28 Oct 2009 12:29:00 +0100 | bulwahn | improved handling of alternative rules; added test cases for alternative rules; normalized tracing in the predicate compiler | file | diff | annotate |
Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | file | diff | annotate |
Sat, 24 Oct 2009 20:27:26 +0200 | bulwahn | further changes due to the previous merge in the predicate compiler | file | diff | annotate |