| Wed, 31 Mar 2010 16:44:41 +0200 | bulwahn | adding iterate_upto interface in compilations and iterate_upto functions in Isabelle theories for arithmetic setup of the predicate compiler | file | diff | annotate |
| Mon, 29 Mar 2010 17:30:49 +0200 | bulwahn | adding Lazy_Sequences with explicit depth-bound | file | diff | annotate |
| Mon, 29 Mar 2010 17:30:41 +0200 | bulwahn | removed yieldn in Lazy_Sequence and put in the ML structure; corrects behaviour of values command | file | diff | annotate |
| Mon, 29 Mar 2010 17:30:38 +0200 | bulwahn | adding values command for new monad; added new random monad compilation to predicate_compile_quickcheck | file | diff | annotate |
| Fri, 22 Jan 2010 11:42:28 +0100 | bulwahn | correctly hiding facts of Lazy_Sequence | file | diff | annotate |
| 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 |