| Sat, 28 Mar 2009 16:29:38 +0100 |
haftmann |
corrected check for additional type variables on rhs of code equations
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 10:05:12 +0100 |
haftmann |
more convenient name uniqueness
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 19:01:17 +0100 |
haftmann |
corrected variable renaming
|
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
|
| Thu, 01 Jan 2009 14:23:39 +0100 |
wenzelm |
avoid polymorphic equality;
|
file |
diff |
annotate
|
| Wed, 31 Dec 2008 18:53:16 +0100 |
wenzelm |
moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
|
file |
diff |
annotate
|
| Wed, 29 Oct 2008 11:33:40 +0100 |
haftmann |
explicit check for pattern discipline before code translation
|
file |
diff |
annotate
|
| Tue, 28 Oct 2008 16:59:00 +0100 |
haftmann |
assert that no class parameter is used as constructor
|
file |
diff |
annotate
|
| Tue, 30 Sep 2008 12:49:18 +0200 |
haftmann |
clarified codegen interfaces
|
file |
diff |
annotate
|
| Fri, 26 Sep 2008 09:09:52 +0200 |
haftmann |
clarified function transformator interface
|
file |
diff |
annotate
|
| Thu, 25 Sep 2008 09:28:03 +0200 |
haftmann |
discontinued special treatment of op = vs. eq_class.eq
|
file |
diff |
annotate
|
| Mon, 22 Sep 2008 08:00:27 +0200 |
haftmann |
corrected sort intersection
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 22:09:20 +0200 |
haftmann |
restructured and split code serializer module
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 11:24:34 +0200 |
haftmann |
proper handling of type variabl names
|
file |
diff |
annotate
|
| Tue, 15 Jul 2008 16:02:10 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 19:20:57 +0200 |
haftmann |
dropped junk
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 11:04:47 +0200 |
haftmann |
added further simple interfaces
|
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:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
| Thu, 24 Apr 2008 16:53:04 +0200 |
haftmann |
moved 'trivial classes' to foundation of code generator
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 17:01:37 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 14:53:26 +0200 |
wenzelm |
export subst_alias;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2008 15:58:42 +0200 |
haftmann |
subst_alias
|
file |
diff |
annotate
|
| Thu, 20 Mar 2008 12:01:17 +0100 |
haftmann |
rearranged
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 07:20:34 +0100 |
haftmann |
moved typ_of_inst to Type.typ_of_sort
|
file |
diff |
annotate
|
| Fri, 07 Mar 2008 13:53:08 +0100 |
haftmann |
some steps towards a refined treatment of equality
|
file |
diff |
annotate
|
| Fri, 22 Feb 2008 12:01:55 +0100 |
haftmann |
added further interface for reading constants
|
file |
diff |
annotate
|
| Mon, 10 Dec 2007 11:24:15 +0100 |
haftmann |
moved instance parameter management from class.ML to axclass.ML
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 14:16:12 +0100 |
haftmann |
added constrain_thm
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 09:01:42 +0100 |
haftmann |
tuned interfaces of class module
|
file |
diff |
annotate
|
| Thu, 08 Nov 2007 13:21:14 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 08 Oct 2007 22:03:30 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 20:29:24 +0200 |
wenzelm |
replaced literal 'a by Name.aT;
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:54:44 +0200 |
haftmann |
certificates for code generator case expressions
|
file |
diff |
annotate
|
| Tue, 25 Sep 2007 13:28:37 +0200 |
wenzelm |
Syntax.parse/check/read;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2007 07:36:15 +0200 |
haftmann |
distinction between regular and default code theorems
|
file |
diff |
annotate
|
| Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|