| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | cleaning the signature of the predicate compiler core; renaming signature and structures to uniform long names | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added skip_proof option; playing with compilation of depth-limited predicates | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | reinvestigating the compilation of the random computation in the predicate compiler | changeset | files |