| 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 |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option to generate random values to values command in the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | commented out the random generator compilation in the example file | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option to execute depth-limited computations for the values command in the predicate compiler | changeset | files |