Mon, 08 Aug 2011 16:47:55 +0200 | kleing | import constant folding theory into IMP | file | diff | annotate |
Mon, 01 Aug 2011 20:21:11 +0200 | kleing | more consistent naming in IMP/Comp_Rev | file | diff | annotate |
Thu, 28 Jul 2011 16:56:14 +0200 | kleing | compiler proof cleanup | file | diff | annotate |
Thu, 28 Jul 2011 15:15:26 +0200 | kleing | resolved code_pred FIXME in IMP; clearer notation for exec_n | file | diff | annotate |
Fri, 17 Jun 2011 20:38:43 +0200 | kleing | IMP compiler with int, added reverse soundness direction | file | diff | annotate |