src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML
Mon, 22 Mar 2010 08:30:13 +0100 bulwahn reviving the classical depth-limited computation in the predicate compiler
Mon, 22 Mar 2010 08:30:12 +0100 bulwahn restructuring function flattening
Sun, 07 Mar 2010 11:57:16 +0100 wenzelm modernized structure Local_Defs;
Sat, 27 Feb 2010 21:56:55 +0100 wenzelm just one copy of structure Term_Graph (in Pure);
Thu, 25 Feb 2010 15:36:38 +0100 bulwahn adding no_topmost_reordering as new option to the code_pred command
Tue, 23 Feb 2010 13:36:15 +0100 bulwahn adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening
Fri, 19 Feb 2010 11:06:20 +0100 haftmann simplified
Wed, 20 Jan 2010 11:56:45 +0100 bulwahn refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck
Thu, 19 Nov 2009 08:25:47 +0100 bulwahn adopting proposed_modes; adding a new dimension of complexity for nicer error messages; tuned
Thu, 12 Nov 2009 09:11:26 +0100 bulwahn new names for predicate functions in the predicate compiler
Thu, 12 Nov 2009 09:10:42 +0100 bulwahn changed modes to expected_modes; added UNION to code_pred_inlining; fixed some examples; tuned
Thu, 12 Nov 2009 09:10:22 +0100 bulwahn added interface of user proposals for names of generated constants
Thu, 12 Nov 2009 09:10:16 +0100 bulwahn first steps towards a new mode datastructure; new syntax for mode annotations and new output of modes
Fri, 06 Nov 2009 08:11:58 +0100 bulwahn adding tracing function for evaluated code; annotated compilation in the predicate compiler
Fri, 30 Oct 2009 09:55:15 +0100 bulwahn renamed rpred to random
Wed, 28 Oct 2009 12:29:02 +0100 bulwahn moved datatype mode and string functions to the auxillary structure
Wed, 28 Oct 2009 12:29:01 +0100 bulwahn improving mode parsing in the predicate compiler
Wed, 28 Oct 2009 00:07:51 +0100 wenzelm proper headers;
Tue, 27 Oct 2009 09:03:56 +0100 bulwahn added option show_modes to predicate compiler
Tue, 27 Oct 2009 09:02:22 +0100 bulwahn including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck
less more (0) tip