| Fri, 05 Feb 2010 14:33:50 +0100 | haftmann | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | file | diff | annotate |
| 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 |