| 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 |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | improved handling of overloaded constants; examples with numerals | file | diff | annotate |
| Tue, 03 Nov 2009 10:36:20 +0100 | bulwahn | adding testcases for code inlining, sets and numerals to the example files of the predicate compiler and its quickcheck prototype; disabling length example | file | diff | annotate |
| Fri, 30 Oct 2009 09:55:15 +0100 | bulwahn | renamed rpred to random | file | diff | annotate |
| Tue, 27 Oct 2009 09:06:05 +0100 | bulwahn | added examples for quickcheck prototype | file | diff | annotate |