| Tue, 21 Jul 2009 15:44:31 +0200 |
haftmann |
integrated add_triv_classes into evaluation stack
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 08:18:07 +0200 |
haftmann |
tuned structure Code internally
|
file |
diff |
annotate
|
| Tue, 07 Jul 2009 17:21:27 +0200 |
haftmann |
tuned interface of structure Code
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 17:33:30 +0200 |
haftmann |
all variable names are optional
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 16:43:28 +0200 |
haftmann |
variable names in abstractions are optional
|
file |
diff |
annotate
|
| Fri, 19 Jun 2009 17:26:40 +0200 |
haftmann |
more appropriate syntax for IML abstraction
|
file |
diff |
annotate
|
| Thu, 14 May 2009 15:09:48 +0200 |
haftmann |
merged module code_unit.ML into code.ML
|
file |
diff |
annotate
|
| Thu, 07 May 2009 16:22:35 +0200 |
haftmann |
treat frees driectly by the LCF kernel
|
file |
diff |
annotate
|
| Wed, 06 May 2009 16:01:06 +0200 |
haftmann |
explicit type arguments in constants
|
file |
diff |
annotate
|
| Fri, 24 Apr 2009 08:24:54 +0200 |
haftmann |
generic postprocessing scheme for term evaluations
|
file |
diff |
annotate
|
| Fri, 17 Apr 2009 14:29:56 +0200 |
haftmann |
re-engineering of evaluation conversions
|
file |
diff |
annotate
|
| Fri, 17 Apr 2009 08:34:54 +0200 |
haftmann |
diagnostic commands now in code_thingol; tuned code of funny continuations
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 21:40:11 +0100 |
wenzelm |
more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context;
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 19:48:02 +0100 |
wenzelm |
Thm.add_oracle interface: replaced old bstring by binding;
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 18:29:10 +0100 |
haftmann |
maintain order of constructors in datatypes; clarified conventions for type schemes
|
file |
diff |
annotate
|
| 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
|