Fri, 17 Dec 2010 14:59:06 +0100 | boehmes | updated SMT certificates | changeset | files |
Fri, 17 Dec 2010 14:36:33 +0100 | boehmes | fixed lambda-lifting: shift indices of bound variables correctly (after locking the required bound variables) and apply bound variables to the new function symbol in the right order; | changeset | files |
Fri, 17 Dec 2010 12:14:18 +0100 | bulwahn | adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real | changeset | files |
Fri, 17 Dec 2010 17:48:05 +0100 | wenzelm | updated generated file; | changeset | files |
Fri, 17 Dec 2010 17:43:54 +0100 | wenzelm | replaced command 'nonterminals' by slightly modernized version 'nonterminal'; | changeset | files |
Fri, 17 Dec 2010 17:08:56 +0100 | wenzelm | renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning; | changeset | files |