Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/code/code_thingol.ML
Thu, 14 May 2009 15:09:48 +0200 haftmann merged module code_unit.ML into code.ML file | diff | annotate
Tue, 12 May 2009 19:30:33 +0200 haftmann transferred code generator preprocessor into separate module file | diff | annotate
Mon, 11 May 2009 09:40:38 +0200 haftmann clarified terminilogy concerning nbe equations file | diff | annotate
Thu, 07 May 2009 16:22:35 +0200 haftmann dropped explicit suppport for frees in evaluation conversion stack file | diff | annotate
Wed, 06 May 2009 19:09:14 +0200 haftmann explicit type arguments in constants file | diff | annotate
Wed, 06 May 2009 16:01:06 +0200 haftmann explicit type arguments in constants file | diff | annotate
Mon, 04 May 2009 14:49:51 +0200 haftmann removed code_name module 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
Thu, 16 Apr 2009 10:11:35 +0200 haftmann tuned order of functions file | diff | annotate
Sun, 22 Mar 2009 11:56:32 +0100 haftmann clarified relationship of modules Code_Name and Code_Printer file | diff | annotate
Sun, 08 Mar 2009 17:26:14 +0100 wenzelm moved basic algebra of long names from structure NameSpace to Long_Name; file | diff | annotate
Thu, 05 Mar 2009 12:08:00 +0100 wenzelm renamed NameSpace.base to NameSpace.base_name; file | diff | annotate
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge. file | diff | annotate
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge. file | diff | annotate
Mon, 02 Mar 2009 16:58:39 +0100 haftmann reduced confusion code_funcgr vs. code_wellsorted file | diff | annotate
Fri, 20 Feb 2009 18:29:10 +0100 haftmann permissive check for pattern discipline in case schemes file | diff | annotate
Fri, 20 Feb 2009 10:14:32 +0100 haftmann ignore sorts in bare types file | diff | annotate
Wed, 18 Feb 2009 19:18:34 +0100 haftmann tuned file | diff | annotate
Wed, 18 Feb 2009 08:23:11 +0100 haftmann tuned comments, stripped ID, deleted superfluous code file | diff | annotate
Tue, 17 Feb 2009 18:45:41 +0100 haftmann 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 wenzelm Term.declare_term_frees; file | diff | annotate
Wed, 31 Dec 2008 18:53:17 +0100 wenzelm use regular Term.add_XXX etc.; file | diff | annotate
Mon, 01 Dec 2008 12:17:02 +0100 haftmann code_funcgr interface includes also sort algebra file | diff | annotate
Mon, 10 Nov 2008 08:18:56 +0100 haftmann tuned 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:02 +0100 haftmann restored incremental code generation file | diff | annotate
Fri, 24 Oct 2008 17:48:42 +0200 haftmann "fun" gained a more uniform status 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
Fri, 26 Sep 2008 09:09:53 +0200 haftmann fixed typo file | diff | annotate
Thu, 25 Sep 2008 09:28:08 +0200 haftmann non left-linear equations for nbe file | diff | annotate
Thu, 28 Aug 2008 22:09:20 +0200 haftmann restructured and split code serializer module file | diff | annotate
Wed, 30 Jul 2008 07:34:01 +0200 haftmann simple lifters file | diff | annotate
Tue, 15 Jul 2008 16:02:07 +0200 haftmann tuned code theorem bookkeeping file | diff | annotate
Tue, 01 Jul 2008 07:58:37 +0200 haftmann tuned file | diff | annotate
Tue, 10 Jun 2008 15:30:06 +0200 haftmann major refactorings in code generator modules file | diff | annotate
Fri, 30 May 2008 08:02:19 +0200 haftmann various code streamlining file | diff | annotate
Fri, 23 May 2008 16:05:13 +0200 haftmann tuned 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
Tue, 29 Jan 2008 10:20:00 +0100 haftmann cleaned up evaluation interfaces file | diff | annotate
Fri, 25 Jan 2008 14:54:49 +0100 haftmann tuned file | diff | annotate
Thu, 13 Dec 2007 07:09:09 +0100 haftmann heutistics for type annotations in Haskell 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, 28 Nov 2007 09:01:42 +0100 haftmann tuned interfaces of class module file | diff | annotate
Mon, 15 Oct 2007 21:08:36 +0200 wenzelm renamed Consts.the_declaration to Consts.the_type; file | diff | annotate
Thu, 11 Oct 2007 16:05:47 +0200 wenzelm removed obsolete AxClass.params_of_class; file | diff | annotate
Mon, 08 Oct 2007 22:03:31 +0200 haftmann moved translation kernel to CodeThingol file | diff | annotate
Thu, 04 Oct 2007 19:41:51 +0200 haftmann clarified terminology file | diff | annotate
Tue, 02 Oct 2007 07:59:55 +0200 haftmann clarified role of class relations file | diff | annotate
Thu, 20 Sep 2007 16:37:34 +0200 haftmann more precise treatment of free dictionary parameters for evaluation file | diff | annotate
Sat, 15 Sep 2007 19:27:50 +0200 haftmann added explicit theorems file | diff | annotate
Tue, 21 Aug 2007 13:30:38 +0200 haftmann improved evaluation interface file | diff | annotate
Wed, 15 Aug 2007 08:57:42 +0200 haftmann tuned file | diff | annotate
Mon, 13 Aug 2007 21:22:41 +0200 haftmann simplified file | diff | annotate
Fri, 10 Aug 2007 17:04:34 +0200 haftmann new structure for code generator modules file | diff | annotate
less more (0) tip
isabelle