src/Tools/code/code_thingol.ML
2009-05-06 haftmann 2009-05-06 explicit type arguments in constants
2009-05-06 haftmann 2009-05-06 explicit type arguments in constants
2009-05-04 haftmann 2009-05-04 removed code_name module
2009-04-24 haftmann 2009-04-24 generic postprocessing scheme for term evaluations
2009-04-17 haftmann 2009-04-17 re-engineering of evaluation conversions
2009-04-17 haftmann 2009-04-17 diagnostic commands now in code_thingol; tuned code of funny continuations
2009-04-16 haftmann 2009-04-16 tuned order of functions
2009-03-22 haftmann 2009-03-22 clarified relationship of modules Code_Name and Code_Printer
2009-03-08 wenzelm 2009-03-08 moved basic algebra of long names from structure NameSpace to Long_Name;
2009-03-05 wenzelm 2009-03-05 renamed NameSpace.base to NameSpace.base_name; renamed NameSpace.map_base to NameSpace.map_base_name; eliminated alias Sign.base_name = NameSpace.base_name;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-02 haftmann 2009-03-02 reduced confusion code_funcgr vs. code_wellsorted
2009-02-20 haftmann 2009-02-20 permissive check for pattern discipline in case schemes
2009-02-20 haftmann 2009-02-20 ignore sorts in bare types
2009-02-18 haftmann 2009-02-18 tuned
2009-02-18 haftmann 2009-02-18 tuned comments, stripped ID, deleted superfluous code
2009-02-17 haftmann 2009-02-17 unified variable names in case expressions; no exponential fork in translation of case expressions
2008-12-31 wenzelm 2008-12-31 Term.declare_term_frees;
2008-12-31 wenzelm 2008-12-31 use regular Term.add_XXX etc.;
2008-12-01 haftmann 2008-12-01 code_funcgr interface includes also sort algebra
2008-11-10 haftmann 2008-11-10 tuned
2008-10-29 haftmann 2008-10-29 explicit check for pattern discipline before code translation
2008-10-28 haftmann 2008-10-28 restored incremental code generation
2008-10-24 haftmann 2008-10-24 "fun" gained a more uniform status
2008-10-22 haftmann 2008-10-22 code identifier namings are no longer imperative
2008-09-30 haftmann 2008-09-30 clarified codegen interfaces
2008-09-26 haftmann 2008-09-26 fixed typo
2008-09-25 haftmann 2008-09-25 non left-linear equations for nbe
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module
2008-07-30 haftmann 2008-07-30 simple lifters
2008-07-15 haftmann 2008-07-15 tuned code theorem bookkeeping
2008-07-01 haftmann 2008-07-01 tuned
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-05-30 haftmann 2008-05-30 various code streamlining
2008-05-23 haftmann 2008-05-23 tuned
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-01-29 haftmann 2008-01-29 cleaned up evaluation interfaces
2008-01-25 haftmann 2008-01-25 tuned
2007-12-13 haftmann 2007-12-13 heutistics for type annotations in Haskell
2007-12-10 haftmann 2007-12-10 moved instance parameter management from class.ML to axclass.ML
2007-11-28 haftmann 2007-11-28 tuned interfaces of class module
2007-10-15 wenzelm 2007-10-15 renamed Consts.the_declaration to Consts.the_type;
2007-10-11 wenzelm 2007-10-11 removed obsolete AxClass.params_of_class; tuned;
2007-10-08 haftmann 2007-10-08 moved translation kernel to CodeThingol
2007-10-04 haftmann 2007-10-04 clarified terminology
2007-10-02 haftmann 2007-10-02 clarified role of class relations
2007-09-20 haftmann 2007-09-20 more precise treatment of free dictionary parameters for evaluation
2007-09-15 haftmann 2007-09-15 added explicit theorems
2007-08-21 haftmann 2007-08-21 improved evaluation interface
2007-08-15 haftmann 2007-08-15 tuned
2007-08-13 haftmann 2007-08-13 simplified
2007-08-10 haftmann 2007-08-10 new structure for code generator modules