Wed, 19 Oct 2011 16:32:12 +0200 | nipkow | renamed B to Bc | file | diff | annotate |
Tue, 20 Sep 2011 05:48:23 +0200 | nipkow | Updated IMP to use new induction method | file | diff | annotate |
Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
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 |