2013-07-04 haftmann 2013-07-04 explicit hint for domain of class parameters in instance statements
2013-06-23 haftmann 2013-06-23 migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
2013-05-24 haftmann 2013-05-24 bookkeeping and input syntax for exact specification of names of symbols in generated code
2013-02-15 haftmann 2013-02-15 two target language numeral types: integer and natural, as replacement for code_numeral; former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral; refined stack of theories implementing int and/or nat by target language numerals; reduced number of target language numeral types to exactly one
2013-02-13 haftmann 2013-02-13 another attempt for a uniform abort on code generation errors
2012-12-27 haftmann 2012-12-27 more explicit name
2012-11-17 wenzelm 2012-11-17 more portable process exit;
2012-11-07 haftmann 2012-11-07 restored SML code check which got unintentionally broken: must explicitly check for error during compilation; restore more conventional namespace during check (relevant for Imperative-HOL)
2012-07-27 haftmann 2012-07-27 evaluation: allow multiple code modules
2012-06-05 haftmann 2012-06-05 prefer records with speaking labels over deeply nested tuples
2012-05-28 haftmann 2012-05-28 dropped sort constraints on datatype specifications
2012-04-19 haftmann 2012-04-19 dropped dead code
2012-04-19 haftmann 2012-04-19 dropped dead code; tuned
2011-09-20 bulwahn 2011-09-20 syntactic improvements and tuning names in the code generator due to Florian's code review
2011-09-07 bulwahn 2011-09-07 adding the body type as well to the code generation for constants as it is required for type annotations of constants
2011-09-07 bulwahn 2011-09-07 changing const type to pass along if typing annotations are necessary for disambigous terms
2011-06-09 wenzelm 2011-06-09 merged
2011-06-09 bulwahn 2011-06-09 resolving an issue with class instances that are pseudo functions in the OCaml code serializer
2011-06-09 wenzelm 2011-06-09 simplified Name.variant -- discontinued builtin fold_map;
2011-05-02 bulwahn 2011-05-02 improving naming of fresh variables in OCaml serializer
2011-03-13 wenzelm 2011-03-13 cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection; determine swipl_version at runtime;
2011-03-13 wenzelm 2011-03-13 allow spaces in executable names; simplified generated bash scripts;
2010-12-21 haftmann 2010-12-21 program is separate argument to serializer
2010-12-13 haftmann 2010-12-13 separated dictionary weakning into separate type
2010-12-09 haftmann 2010-12-09 dictionary constants must permit explicit weakening of classes; tuned names
2010-11-20 wenzelm 2010-11-20 renamed raw "explode" function to "raw_explode" to emphasize its meaning;
2010-09-04 haftmann 2010-09-04 merged
2010-09-04 haftmann 2010-09-04 printing combinator for hierarchical programs
2010-09-04 haftmann 2010-09-04 dropped names from serializer interface
2010-09-02 haftmann 2010-09-02 hand out deresolver from serializer invocation
2010-09-02 haftmann 2010-09-02 swapped slip
2010-09-02 haftmann 2010-09-02 restored and added surpression of case combinators
2010-09-02 haftmann 2010-09-02 dropped superfluous presentation names
2010-09-02 haftmann 2010-09-02 manage statement selection for presentation wholly through markup
2010-09-02 haftmann 2010-09-02 formal markup of generated code for statements
2010-09-02 haftmann 2010-09-02 formal framework for presentation of selected statements
2010-09-02 haftmann 2010-09-02 dropped dead code; tuned
2010-09-02 haftmann 2010-09-02 use code_namespace module for SML and OCaml code
2010-09-01 haftmann 2010-09-01 tuned internally and made smlnj happy
2010-08-31 haftmann 2010-08-31 avoid strange special treatment of empty module names
2010-08-31 haftmann 2010-08-31 dropped single_module parameter
2010-08-31 haftmann 2010-08-31 record argument for serializers
2010-08-31 haftmann 2010-08-31 removed serializer interface redundancies
2010-08-31 haftmann 2010-08-31 more coherent naming of syntax data structures
2010-08-31 haftmann 2010-08-31 Code_Printer.tuplify
2010-08-31 haftmann 2010-08-31 dropped legacy interfaces
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 eliminated some obscure higher-order arguments
2010-08-30 haftmann 2010-08-30 width is a formal parameter of serialization
2010-08-30 haftmann 2010-08-30 code checking: compiler invocation happens in same directory as generated file -- avoid problem with different path representations on cygwin
2010-08-26 haftmann 2010-08-26 proper passing of optional module name
2010-08-26 haftmann 2010-08-26 tuned serializer interface
2010-08-26 haftmann 2010-08-26 private version of commas, cf. printmode
2010-07-29 haftmann 2010-07-29 rebinding ref is illegal
2010-07-24 haftmann 2010-07-24 another refinement chapter in the neverending numeral story
2010-07-14 haftmann 2010-07-14 use generic description slot for formal code checking
2010-07-14 haftmann 2010-07-14 formal slot for code checker
2010-07-14 haftmann 2010-07-14 check without explicit path