| Thu, 14 May 2009 15:09:48 +0200 |
merged module code_unit.ML into code.ML
|
file | diff | annotate |
| Tue, 12 May 2009 19:30:33 +0200 |
transferred code generator preprocessor into separate module
|
file | diff | annotate |
| Mon, 11 May 2009 09:40:38 +0200 |
clarified terminilogy concerning nbe equations
|
file | diff | annotate |
| Thu, 07 May 2009 16:22:35 +0200 |
dropped explicit suppport for frees in evaluation conversion stack
|
file | diff | annotate |
| Wed, 06 May 2009 19:09:14 +0200 |
explicit type arguments in constants
|
file | diff | annotate |
| Wed, 06 May 2009 16:01:06 +0200 |
explicit type arguments in constants
|
file | diff | annotate |
| Mon, 04 May 2009 14:49:51 +0200 |
removed code_name module
|
file | diff | annotate |
| Fri, 24 Apr 2009 08:24:54 +0200 |
generic postprocessing scheme for term evaluations
|
file | diff | annotate |
| Fri, 17 Apr 2009 14:29:56 +0200 |
re-engineering of evaluation conversions
|
file | diff | annotate |
| Fri, 17 Apr 2009 08:34:54 +0200 |
diagnostic commands now in code_thingol; tuned code of funny continuations
|
file | diff | annotate |
| Thu, 16 Apr 2009 10:11:35 +0200 |
tuned order of functions
|
file | diff | annotate |
| Sun, 22 Mar 2009 11:56:32 +0100 |
clarified relationship of modules Code_Name and Code_Printer
|
file | diff | annotate |
| Sun, 08 Mar 2009 17:26:14 +0100 |
moved basic algebra of long names from structure NameSpace to Long_Name;
|
file | diff | annotate |
| Thu, 05 Mar 2009 12:08:00 +0100 |
renamed NameSpace.base to NameSpace.base_name;
|
file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 |
Merge.
|
file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 |
Merge.
|
file | diff | annotate |
| Mon, 02 Mar 2009 16:58:39 +0100 |
reduced confusion code_funcgr vs. code_wellsorted
|
file | diff | annotate |
| Fri, 20 Feb 2009 18:29:10 +0100 |
permissive check for pattern discipline in case schemes
|
file | diff | annotate |
| Fri, 20 Feb 2009 10:14:32 +0100 |
ignore sorts in bare types
|
file | diff | annotate |
| Wed, 18 Feb 2009 19:18:34 +0100 |
tuned
|
file | diff | annotate |
| Wed, 18 Feb 2009 08:23:11 +0100 |
tuned comments, stripped ID, deleted superfluous code
|
file | diff | annotate |
| Tue, 17 Feb 2009 18:45:41 +0100 |
unified variable names in case expressions; no exponential fork in translation of case expressions
|
file | diff | annotate |
| Wed, 31 Dec 2008 19:54:04 +0100 |
Term.declare_term_frees;
|
file | diff | annotate |
| Wed, 31 Dec 2008 18:53:17 +0100 |
use regular Term.add_XXX etc.;
|
file | diff | annotate |
| Mon, 01 Dec 2008 12:17:02 +0100 |
code_funcgr interface includes also sort algebra
|
file | diff | annotate |
| Mon, 10 Nov 2008 08:18:56 +0100 |
tuned
|
file | diff | annotate |
| Wed, 29 Oct 2008 11:33:40 +0100 |
explicit check for pattern discipline before code translation
|
file | diff | annotate |
| Tue, 28 Oct 2008 16:59:02 +0100 |
restored incremental code generation
|
file | diff | annotate |
| Fri, 24 Oct 2008 17:48:42 +0200 |
"fun" gained a more uniform status
|
file | diff | annotate |
| Wed, 22 Oct 2008 14:15:45 +0200 |
code identifier namings are no longer imperative
|
file | diff | annotate |
| Tue, 30 Sep 2008 12:49:18 +0200 |
clarified codegen interfaces
|
file | diff | annotate |
| Fri, 26 Sep 2008 09:09:53 +0200 |
fixed typo
|
file | diff | annotate |
| Thu, 25 Sep 2008 09:28:08 +0200 |
non left-linear equations for nbe
|
file | diff | annotate |
| Thu, 28 Aug 2008 22:09:20 +0200 |
restructured and split code serializer module
|
file | diff | annotate |
| Wed, 30 Jul 2008 07:34:01 +0200 |
simple lifters
|
file | diff | annotate |
| Tue, 15 Jul 2008 16:02:07 +0200 |
tuned code theorem bookkeeping
|
file | diff | annotate |
| Tue, 01 Jul 2008 07:58:37 +0200 |
tuned
|
file | diff | annotate |
| Tue, 10 Jun 2008 15:30:06 +0200 |
major refactorings in code generator modules
|
file | diff | annotate |
| Fri, 30 May 2008 08:02:19 +0200 |
various code streamlining
|
file | diff | annotate |
| Fri, 23 May 2008 16:05:13 +0200 |
tuned
|
file | diff | annotate |
| Sun, 18 May 2008 15:04:09 +0200 |
moved global pretty/string_of functions from Sign to Syntax;
|
file | diff | annotate |
| Tue, 29 Jan 2008 10:20:00 +0100 |
cleaned up evaluation interfaces
|
file | diff | annotate |
| Fri, 25 Jan 2008 14:54:49 +0100 |
tuned
|
file | diff | annotate |
| Thu, 13 Dec 2007 07:09:09 +0100 |
heutistics for type annotations in Haskell
|
file | diff | annotate |
| Mon, 10 Dec 2007 11:24:15 +0100 |
moved instance parameter management from class.ML to axclass.ML
|
file | diff | annotate |
| Wed, 28 Nov 2007 09:01:42 +0100 |
tuned interfaces of class module
|
file | diff | annotate |
| Mon, 15 Oct 2007 21:08:36 +0200 |
renamed Consts.the_declaration to Consts.the_type;
|
file | diff | annotate |
| Thu, 11 Oct 2007 16:05:47 +0200 |
removed obsolete AxClass.params_of_class;
|
file | diff | annotate |
| Mon, 08 Oct 2007 22:03:31 +0200 |
moved translation kernel to CodeThingol
|
file | diff | annotate |
| Thu, 04 Oct 2007 19:41:51 +0200 |
clarified terminology
|
file | diff | annotate |
| Tue, 02 Oct 2007 07:59:55 +0200 |
clarified role of class relations
|
file | diff | annotate |
| Thu, 20 Sep 2007 16:37:34 +0200 |
more precise treatment of free dictionary parameters for evaluation
|
file | diff | annotate |
| Sat, 15 Sep 2007 19:27:50 +0200 |
added explicit theorems
|
file | diff | annotate |
| Tue, 21 Aug 2007 13:30:38 +0200 |
improved evaluation interface
|
file | diff | annotate |
| Wed, 15 Aug 2007 08:57:42 +0200 |
tuned
|
file | diff | annotate |
| Mon, 13 Aug 2007 21:22:41 +0200 |
simplified
|
file | diff | annotate |
| Fri, 10 Aug 2007 17:04:34 +0200 |
new structure for code generator modules
|
file | diff | annotate |