| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | adapted parser for options in the predicate compiler | file | diff | annotate |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | reinvestigating the compilation of the random computation in the predicate compiler | file | diff | annotate |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option to generate random values to values command in the predicate compiler | file | diff | annotate |
| Wed, 23 Sep 2009 16:20:12 +0200 | bulwahn | handling of definitions | file | diff | annotate |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | adapted predicate compiler for quickcheck generators; added compilation of depth-limited search functions for predicates | file | diff | annotate |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | imported patch generic compilation of predicate compiler with different monads | file | diff | annotate |