Fri, 17 Dec 2010 14:59:06 +0100 updated SMT certificates
boehmes [Fri, 17 Dec 2010 14:59:06 +0100] rev 41233
updated SMT certificates
Fri, 17 Dec 2010 14:36:33 +0100 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;
boehmes [Fri, 17 Dec 2010 14:36:33 +0100] rev 41232
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; fixed introduction of explicit application: use explicit application for every additional argument (grouping of arguments caused confusion when translating into the intermediate format)
Fri, 17 Dec 2010 12:14:18 +0100 adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
bulwahn [Fri, 17 Dec 2010 12:14:18 +0100] rev 41231
adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
Fri, 17 Dec 2010 17:48:05 +0100 updated generated file;
wenzelm [Fri, 17 Dec 2010 17:48:05 +0100] rev 41230
updated generated file;
Fri, 17 Dec 2010 17:43:54 +0100 replaced command 'nonterminals' by slightly modernized version 'nonterminal';
wenzelm [Fri, 17 Dec 2010 17:43:54 +0100] rev 41229
replaced command 'nonterminals' by slightly modernized version 'nonterminal';
Fri, 17 Dec 2010 17:08:56 +0100 renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
wenzelm [Fri, 17 Dec 2010 17:08:56 +0100] rev 41228
renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
Fri, 17 Dec 2010 16:25:21 +0100 tuned signature;
wenzelm [Fri, 17 Dec 2010 16:25:21 +0100] rev 41227
tuned signature;
Fri, 17 Dec 2010 14:09:37 +0100 clarified exports of structure Simplifier;
wenzelm [Fri, 17 Dec 2010 14:09:37 +0100] rev 41226
clarified exports of structure Simplifier;
Fri, 17 Dec 2010 13:45:43 +0100 refer to regular structure Simplifier;
wenzelm [Fri, 17 Dec 2010 13:45:43 +0100] rev 41225
refer to regular structure Simplifier;
Fri, 17 Dec 2010 13:12:58 +0100 tuned;
wenzelm [Fri, 17 Dec 2010 13:12:58 +0100] rev 41224
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip