| Wed, 31 Dec 2008 18:53:17 +0100 | wenzelm | use regular Term.add_XXX etc.; | file | diff | annotate |
| Tue, 28 Oct 2008 16:59:02 +0100 | haftmann | restored incremental code generation | file | diff | annotate |
| Wed, 22 Oct 2008 14:15:45 +0200 | haftmann | code identifier namings are no longer imperative | file | diff | annotate |
| Tue, 30 Sep 2008 12:49:18 +0200 | haftmann | clarified codegen interfaces | file | diff | annotate |
| Thu, 25 Sep 2008 09:28:08 +0200 | haftmann | non left-linear equations for nbe | file | diff | annotate |
| Tue, 23 Sep 2008 18:11:44 +0200 | haftmann | case default fallback for NBE | file | diff | annotate |
| Fri, 19 Sep 2008 09:41:17 +0200 | haftmann | made SMLNJ happy | file | diff | annotate |
| Thu, 18 Sep 2008 19:39:44 +0200 | wenzelm | simplified oracle interface; | file | diff | annotate |
| Wed, 17 Sep 2008 21:27:43 +0200 | wenzelm | ML_Context.evaluate: proper context (for ML environment); | file | diff | annotate |
| Tue, 16 Sep 2008 09:21:22 +0200 | haftmann | generic value command | file | diff | annotate |
| Thu, 28 Aug 2008 22:09:20 +0200 | haftmann | restructured and split code serializer module | file | diff | annotate |
| Tue, 15 Jul 2008 16:02:07 +0200 | haftmann | tuned code theorem bookkeeping | file | diff | annotate |
| Tue, 08 Jul 2008 18:13:12 +0200 | haftmann | clarified code | file | diff | annotate |
| Wed, 18 Jun 2008 22:32:03 +0200 | wenzelm | simplified TypeInfer.infer_types; | file | diff | annotate |
| Tue, 10 Jun 2008 15:30:06 +0200 | haftmann | major refactorings in code generator modules | file | diff | annotate |
| Fri, 23 May 2008 16:05:07 +0200 | haftmann | explicit type schemes for functions | file | diff | annotate |
| Sun, 18 May 2008 15:04:48 +0200 | wenzelm | command 'normal_form': proper context via Variable.auto_fixes; | file | diff | annotate |
| Sat, 17 May 2008 15:31:42 +0200 | wenzelm | cat_lines; | file | diff | annotate |
| Thu, 24 Apr 2008 16:53:04 +0200 | haftmann | moved 'trivial classes' to foundation of code generator | file | diff | annotate |
| Tue, 22 Apr 2008 22:00:25 +0200 | haftmann | different handling of eq class for nbe | file | diff | annotate |
| Wed, 13 Feb 2008 09:35:33 +0100 | haftmann | using integers for pattern matching | file | diff | annotate |
| Tue, 29 Jan 2008 10:20:00 +0100 | haftmann | cleaned up evaluation interfaces | file | diff | annotate |
| Tue, 22 Jan 2008 23:07:25 +0100 | haftmann | tuned | file | diff | annotate |
| Mon, 21 Jan 2008 08:43:35 +0100 | haftmann | tuned | file | diff | annotate |
| Fri, 18 Jan 2008 08:30:12 +0100 | haftmann | improved implementation | file | diff | annotate |
| Tue, 08 Jan 2008 11:37:32 +0100 | haftmann | tuned comment | file | diff | annotate |
| Fri, 26 Oct 2007 19:58:32 +0200 | wenzelm | replaced Secure.evaluate by ML_Context.evaluate; | file | diff | annotate |
| Thu, 25 Oct 2007 13:52:04 +0200 | haftmann | clarified implementation | file | diff | annotate |
| Wed, 24 Oct 2007 07:19:57 +0200 | haftmann | fixed typo | file | diff | annotate |
| Fri, 19 Oct 2007 16:20:27 +0200 | haftmann | now employing dictionaries | file | diff | annotate |