src/Pure/codegen.ML
Sun, 21 Jan 2007 16:43:42 +0100 wenzelm use_text: added name argument;
Fri, 15 Dec 2006 00:08:06 +0100 wenzelm avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
Wed, 13 Dec 2006 20:38:20 +0100 haftmann cleanup
Sat, 09 Dec 2006 18:05:38 +0100 wenzelm ML_Syntax.reserved(_names);
Thu, 23 Nov 2006 22:38:30 +0100 wenzelm prefer Proof.context over Context.generic;
Thu, 23 Nov 2006 00:52:03 +0100 wenzelm moved ML syntax operations to structure ML_Syntax;
Mon, 23 Oct 2006 16:49:21 +0200 haftmann switched merge_alists'' to AList.merge'' whenever appropriate
Fri, 20 Oct 2006 10:44:33 +0200 haftmann Symtab.foldl replaced by Symtab.fold
Thu, 12 Oct 2006 22:57:29 +0200 wenzelm print_evaluated_term: Toplevel.context_of;
Mon, 09 Oct 2006 19:37:05 +0200 wenzelm moved Context.ml_output to Output.ml_output;
Thu, 21 Sep 2006 19:04:29 +0200 wenzelm member (op =);
Tue, 19 Sep 2006 15:22:24 +0200 haftmann moved base setup for evaluation oracle hier
Fri, 15 Sep 2006 22:56:13 +0200 wenzelm renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
Wed, 02 Aug 2006 22:26:37 +0200 wenzelm removed obsolete Drule.frees/vars_of etc.;
Tue, 11 Jul 2006 12:16:54 +0200 wenzelm replaced Term.variant(list) by Name.variant(_list);
Wed, 07 Jun 2006 02:01:28 +0200 wenzelm renamed Type.(un)varifyT to Logic.(un)varifyT;
Sat, 29 Apr 2006 23:16:43 +0200 wenzelm tuned;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Wed, 26 Apr 2006 22:38:05 +0200 wenzelm tuned;
Thu, 13 Apr 2006 12:00:56 +0200 wenzelm ignore sorts of consts declarations;
Thu, 06 Apr 2006 16:08:25 +0200 haftmann added definitional code generator module: codegen_theorems.ML
Tue, 21 Mar 2006 12:18:06 +0100 wenzelm remove (op =);
Wed, 22 Feb 2006 10:18:17 +0100 haftmann abandoned merge_alists' in favour of generic AList.merge
Wed, 15 Feb 2006 21:34:55 +0100 wenzelm removed distinct, renamed gen_distinct to distinct;
Wed, 08 Feb 2006 14:39:00 +0100 haftmann introduced gen_distinct in place of distinct
Thu, 26 Jan 2006 17:58:01 +0100 berghofe Fixed bug in code generator for primitive definitions that
Sat, 21 Jan 2006 23:02:14 +0100 wenzelm simplified type attribute;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Tue, 17 Jan 2006 16:36:57 +0100 haftmann substantial improvements in code generator
Sat, 14 Jan 2006 17:14:11 +0100 wenzelm generated code: raise Match instead of ERROR;
Fri, 13 Jan 2006 01:13:00 +0100 wenzelm removed obsolete sign_of;
Thu, 01 Dec 2005 18:41:44 +0100 berghofe assoc_consts and assoc_types now check number of arguments in template.
Tue, 29 Nov 2005 16:04:57 +0100 haftmann exported customized syntax interface
Mon, 07 Nov 2005 12:06:11 +0100 haftmann added proper fillin_mixfix
Mon, 07 Nov 2005 11:39:24 +0100 haftmann added fillin_mixfix, replace_quote
Mon, 07 Nov 2005 09:34:51 +0100 haftmann added fillin_mixfix' needed by serializer
Tue, 27 Sep 2005 12:13:17 +0200 berghofe Optimized unfold_attr.
Sun, 25 Sep 2005 20:17:44 +0200 berghofe Fixed print mode problem in test_term.
Wed, 21 Sep 2005 12:01:31 +0200 berghofe - Added eval_term function and value command
Tue, 20 Sep 2005 16:17:34 +0200 haftmann introduced AList module in favor of assoc etc.
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Mon, 05 Sep 2005 17:38:18 +0200 wenzelm curried_lookup/update;
Thu, 25 Aug 2005 16:10:16 +0200 berghofe Implemented incremental code generation.
Tue, 16 Aug 2005 13:42:26 +0200 wenzelm OuterKeyword;
Tue, 12 Jul 2005 11:41:24 +0200 berghofe Implemented mechanism for attaching auxiliary code to consts_code and
Fri, 01 Jul 2005 14:18:27 +0200 berghofe Implemented modular code generation.
Fri, 17 Jun 2005 18:35:27 +0200 wenzelm accomodate change of TheoryDataFun;
Sat, 11 Jun 2005 22:15:48 +0200 wenzelm refer to name spaces values instead of names;
Thu, 09 Jun 2005 12:03:18 +0200 wenzelm Theory.all_axioms_of;
Tue, 31 May 2005 11:53:13 +0200 wenzelm renamed cond_extern to extern;
Thu, 21 Apr 2005 22:02:06 +0200 wenzelm superceded by Pure.thy and CPure.thy;
Thu, 07 Apr 2005 09:26:29 +0200 wenzelm added some, peek, trace'; tuned;
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Fri, 10 Dec 2004 16:55:58 +0100 berghofe - Exported functions new_name and new_names
Wed, 24 Nov 2004 10:37:38 +0100 berghofe Made test_term escape special characters in strings that caused the
Tue, 26 Oct 2004 16:32:09 +0200 berghofe Added preprocessors.
Fri, 09 Jul 2004 16:23:57 +0200 berghofe - Removed obsolete clause in function check_str
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
less more (0) -60 tip