2010-09-01 haftmann 2010-09-01 merged
2010-09-01 haftmann 2010-09-01 factored out generic part of Scala serializer into code_namespace.ML
2010-09-01 wenzelm 2010-09-01 merged
2010-09-01 haftmann 2010-09-01 do not print object frame around Scala includes -- this is in the responsibility of the user
2010-09-01 haftmann 2010-09-01 repaired codegen tool
2010-09-01 haftmann 2010-09-01 tuned internally and made smlnj happy
2010-09-01 bulwahn 2010-09-01 merged
2010-08-31 bulwahn 2010-08-31 renewing specifications in HOL-Auth
2010-08-31 bulwahn 2010-08-31 adapting and tuning example theories
2010-08-31 bulwahn 2010-08-31 adding further example for quickcheck with prolog code generation
2010-08-31 bulwahn 2010-08-31 handling the quickcheck result no counterexample more correctly
2010-08-31 bulwahn 2010-08-31 adding manual reordering of premises to prolog generation
2010-08-31 bulwahn 2010-08-31 towards support of limited predicates for mutually recursive predicates
2010-08-31 bulwahn 2010-08-31 improving clash-free naming of variables and preds in code_prolog
2010-08-31 bulwahn 2010-08-31 exporting mode analysis for use in prolog generation
2010-08-31 bulwahn 2010-08-31 renaming
2010-08-31 bulwahn 2010-08-31 improving naming of predicates in code_prolog; changing order of flattened premises once again
2010-08-31 bulwahn 2010-08-31 changing order of premises generated when flattening functions in premises; adapting example for second attack for hotel key card system
2010-08-31 bulwahn 2010-08-31 added further hotel key card attack in example file
2010-08-31 bulwahn 2010-08-31 avoiding warning for a duplicate rewrite rule in preprocessing of the predicate compiler
2010-08-31 bulwahn 2010-08-31 using Cache_IO interface for a safe parallel prolog execution
2010-08-31 bulwahn 2010-08-31 storing options for prolog code generation in the theory
2010-08-31 bulwahn 2010-08-31 adapting example files to latest changes
2010-08-31 bulwahn 2010-08-31 adding Lambda example theory; tuned
2010-08-31 bulwahn 2010-08-31 added quite adhoc logic program transformations limited_predicates and replacements of predicates
2010-08-31 blanchet 2010-08-31 distinguish between "by" and "apply"
2010-08-31 blanchet 2010-08-31 merged
2010-08-31 blanchet 2010-08-31 fiddling with "try"
2010-08-31 blanchet 2010-08-31 updated
2010-08-31 blanchet 2010-08-31 "try" -- a new diagnosis tool that tries to apply several methods in parallel
2010-08-31 blanchet 2010-08-31 add one option to Mirabelle
2010-08-31 blanchet 2010-08-31 update docs
2010-08-31 blanchet 2010-08-31 add a penalty for being higher-order
2010-08-31 blanchet 2010-08-31 improve weighting of irrelevant constants, based on Mirabelle experiments
2010-08-31 blanchet 2010-08-31 take into consideration whether a fact is an "intro"/"elim"/"simp" rule as an additional factor influencing the relevance filter
2010-08-31 haftmann 2010-08-31 repaired casual accident; tuned names
2010-08-31 haftmann 2010-08-31 corrected misbehaved additional qualification of generated names
2010-08-31 haftmann 2010-08-31 merged
2010-08-31 haftmann 2010-08-31 avoid strange special treatment of empty module names
2010-08-31 haftmann 2010-08-31 allow explicit parameter for code width
2010-08-31 haftmann 2010-08-31 evaluate takes ml context and ml expression parameter
2010-08-31 haftmann 2010-08-31 modernized; avoid pointless tinkering with structure names
2010-08-31 haftmann 2010-08-31 distinguish code production and code presentation
2010-08-31 haftmann 2010-08-31 dropped single_module parameter
2010-08-31 haftmann 2010-08-31 tuned
2010-08-31 haftmann 2010-08-31 record argument for serializers
2010-08-31 haftmann 2010-08-31 tuned serializer argument interface
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-31 krauss 2010-08-31 more permissive: simplification solves the goal when rhs = undefined
2010-08-30 haftmann 2010-08-30 merged
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 tuned
2010-08-30 haftmann 2010-08-30 tuned file interface
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 eliminated some obscure higher-order arguments