| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added option for specialisation to the predicate compiler | changeset | files |
| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | prefer functional modes of functions in the mode analysis | changeset | files |
| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added peephole optimisations to the predicate compiler; added structure Predicate_Compile_Simps for peephole optimisations | changeset | files |