src/Tools/Code_Generator.thy
Mon, 25 Oct 2010 10:30:46 +0200 blanchet introduced manual version of "Auto Solve" as "solve_direct"
Fri, 01 Oct 2010 17:06:49 +0200 haftmann moved ML_Context.value to Code_Runtime
Thu, 16 Sep 2010 16:51:34 +0200 haftmann adjusted setup
Wed, 15 Sep 2010 16:56:31 +0200 haftmann load code_runtime immediately again
Wed, 15 Sep 2010 16:47:31 +0200 haftmann introduced "holds" as synthetic datatype constructor for "prop"; moved Pure code generator setup to Code_Generator.thy
Wed, 15 Sep 2010 15:31:32 +0200 haftmann code_eval renamed to code_runtime
Sat, 11 Sep 2010 12:32:31 +0200 blanchet make Auto Solve part of the "Auto Tools"
Sat, 11 Sep 2010 10:28:44 +0200 blanchet start renaming "Auto_Counterexample" to "Auto_Tools";
Wed, 01 Sep 2010 12:01:19 +0200 haftmann factored out generic part of Scala serializer into code_namespace.ML
Wed, 14 Jul 2010 14:16:12 +0200 haftmann load cache_io before code generator; moved adhoc-overloading to generic tools
Tue, 15 Jun 2010 14:28:22 +0200 haftmann added code_simp infrastructure
Wed, 27 Jan 2010 14:02:52 +0100 haftmann tuned structure; moved non-related quickcheck.setup to Code_Generator.thy
Fri, 08 Jan 2010 12:25:15 +0100 haftmann a primitive scala serializer
Mon, 07 Dec 2009 16:27:48 +0100 haftmann split off evaluation mechanisms in separte module Code_Eval
Tue, 24 Nov 2009 17:19:33 +0100 wenzelm some rearangement of load order to keep preferences adjacent -- slightly fragile;
less more (0) -15 tip