| Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed dead code; added examples | changeset | files |
| Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed obsolete GeneratorPrem; clean-up after modularization; tuned | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | modularized the compilation in the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | adapted parser for options in the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | modifying the depth-limited compilation to be sound, but now throws an error undefined in case of hitting the depth limit in an negative context; cleaning up the examples | changeset | files |
| 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 |