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 |