log src/elab_print.sml

age author description
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-14 Adam Chlipala SQL sequences
2008-09-13 Adam Chlipala queryX
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
2008-08-31 Adam Chlipala Laconic -> Ur
2008-08-28 Adam Chlipala Transactions and queries, at source level
2008-08-21 Adam Chlipala Resolving lingering type class constraints
2008-08-16 Adam Chlipala Explifying type classes
2008-08-16 Adam Chlipala Initial type class support
2008-08-14 Adam Chlipala Non-star SELECT
2008-08-14 Adam Chlipala Elaborating 'SELECT *' queries
2008-08-14 Adam Chlipala Parsing and elaborating 'table'
2008-08-08 Adam Chlipala Parametrized datatypes through explify
2008-08-03 Adam Chlipala Datatype representation optimization
2008-08-03 Adam Chlipala Compiled pattern matching to C
2008-07-31 Adam Chlipala Case through explify
2008-07-31 Adam Chlipala Elaborating record patterns
2008-07-31 Adam Chlipala Patterns for int and string constants
2008-07-31 Adam Chlipala Elaborating some basic pattern matching
2008-07-29 Adam Chlipala Add datatype import constructor annotations; datatypes through explify
2008-07-24 Adam Chlipala Start of datatype support
2008-07-24 Adam Chlipala Record cut
2008-07-22 Adam Chlipala Meta-programming forms
2008-07-17 Adam Chlipala Parsing and elaborating (non-mutual) 'val rec'
2008-07-13 Adam Chlipala Starting with closure links
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala page declaration, up through monoize
2008-07-01 Adam Chlipala Constraints in modules
2008-07-01 Adam Chlipala Disjointness assumptions in expressions
2008-07-01 Adam Chlipala Disjointness assumptions
2008-07-01 Adam Chlipala Initial disjointness prover
2008-06-29 Adam Chlipala Broaden unification context
2008-06-26 Adam Chlipala Explify efold
2008-06-26 Adam Chlipala Elaborate efold
2008-06-26 Adam Chlipala Elaborating cfold
2008-06-22 Adam Chlipala Subsignatures
2008-06-22 Adam Chlipala Start of FFI
2008-06-19 Adam Chlipala Elaborating functor applications
2008-06-19 Adam Chlipala Elaborating 'where'
2008-06-19 Adam Chlipala Beginning of functor elaboration
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-12 Adam Chlipala Matching values in signatures
2008-06-12 Adam Chlipala Simple signature matching
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Closure conversion
2008-06-08 Adam Chlipala Beta reductions for expressions
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Primitive type constants
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Fun with records
2008-03-28 Adam Chlipala Simple elaboration working
2008-01-26 Adam Chlipala Added simple expression constructors to Elab
2008-01-26 Adam Chlipala Parsing basic expressions
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Elaborating cons and decls