src/Tools/nbe.ML
2009-03-05 wenzelm 2009-03-05 Thm.add_oracle interface: replaced old bstring by binding;
2009-02-20 haftmann 2009-02-20 maintain order of constructors in datatypes; clarified conventions for type schemes
2008-12-31 wenzelm 2008-12-31 use regular Term.add_XXX etc.;
2008-10-28 haftmann 2008-10-28 restored incremental code generation
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-25 haftmann 2008-09-25 non left-linear equations for nbe
2008-09-23 haftmann 2008-09-23 case default fallback for NBE
2008-09-19 haftmann 2008-09-19 made SMLNJ happy
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-09-17 wenzelm 2008-09-17 ML_Context.evaluate: proper context (for ML environment);
2008-09-16 haftmann 2008-09-16 generic value command
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module
2008-07-15 haftmann 2008-07-15 tuned code theorem bookkeeping
2008-07-08 haftmann 2008-07-08 clarified code
2008-06-18 wenzelm 2008-06-18 simplified TypeInfer.infer_types;
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-05-23 haftmann 2008-05-23 explicit type schemes for functions
2008-05-18 wenzelm 2008-05-18 command 'normal_form': proper context via Variable.auto_fixes;
2008-05-17 wenzelm 2008-05-17 cat_lines;
2008-04-24 haftmann 2008-04-24 moved 'trivial classes' to foundation of code generator
2008-04-22 haftmann 2008-04-22 different handling of eq class for nbe
2008-02-13 haftmann 2008-02-13 using integers for pattern matching
2008-01-29 haftmann 2008-01-29 cleaned up evaluation interfaces
2008-01-22 haftmann 2008-01-22 tuned
2008-01-21 haftmann 2008-01-21 tuned
2008-01-18 haftmann 2008-01-18 improved implementation
2008-01-08 haftmann 2008-01-08 tuned comment
2007-10-26 wenzelm 2007-10-26 replaced Secure.evaluate by ML_Context.evaluate;
2007-10-25 haftmann 2007-10-25 clarified implementation
2007-10-24 haftmann 2007-10-24 fixed typo
2007-10-19 haftmann 2007-10-19 now employing dictionaries
2007-10-19 wenzelm 2007-10-19 tuned CRITICAL markups;
2007-10-18 haftmann 2007-10-18 evaluation is CRITICAL
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-10-04 haftmann 2007-10-04 step towards proper purge operation
2007-09-25 wenzelm 2007-09-25 tuned functor application;
2007-09-23 wenzelm 2007-09-23 TypeInfer.constrain: canonical argument order;
2007-09-18 wenzelm 2007-09-18 simplified PrintMode interfaces;
2007-09-17 wenzelm 2007-09-17 avoid direct access to print_mode;
2007-09-15 haftmann 2007-09-15 delayed evaluation
2007-09-01 wenzelm 2007-09-01 replaced ProofContext.read_term/prop by general Syntax.read_term/prop;
2007-08-30 wenzelm 2007-08-30 replaced ProofContext.infer_types by general Syntax.check_terms;
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-21 haftmann 2007-08-21 improved evaluation interface
2007-08-20 haftmann 2007-08-20 explizit dependencies
2007-08-16 haftmann 2007-08-16 added evaluation examples
2007-08-15 haftmann 2007-08-15 tuned
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-08-07 haftmann 2007-08-07 new nbe implementation
2007-08-06 haftmann 2007-08-06 nbe improved