Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Case through explify | Adam Chlipala | 2008-07-31 | |
| | ||||
* | Elaborating record patterns | Adam Chlipala | 2008-07-31 | |
| | ||||
* | Patterns for int and string constants | Adam Chlipala | 2008-07-31 | |
| | ||||
* | Elaborating some basic pattern matching | Adam Chlipala | 2008-07-31 | |
| | ||||
* | Add datatype import constructor annotations; datatypes through explify | Adam Chlipala | 2008-07-29 | |
| | ||||
* | Start of datatype support | Adam Chlipala | 2008-07-24 | |
| | ||||
* | Record cut | Adam Chlipala | 2008-07-24 | |
| | ||||
* | Meta-programming forms | Adam Chlipala | 2008-07-22 | |
| | ||||
* | Parsing and elaborating (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Starting with closure links | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Remove closure conversion in favor of zany fun with modules, which also ↵ | Adam Chlipala | 2008-07-13 | |
| | | | | replaces 'page' | |||
* | page declaration, up through monoize | Adam Chlipala | 2008-07-10 | |
| | ||||
* | Constraints in modules | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Disjointness assumptions in expressions | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Disjointness assumptions | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Initial disjointness prover | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Broaden unification context | Adam Chlipala | 2008-06-29 | |
| | ||||
* | Explify efold | Adam Chlipala | 2008-06-26 | |
| | ||||
* | Elaborate efold | Adam Chlipala | 2008-06-26 | |
| | ||||
* | Elaborating cfold | Adam Chlipala | 2008-06-26 | |
| | ||||
* | Subsignatures | Adam Chlipala | 2008-06-22 | |
| | ||||
* | Start of FFI | Adam Chlipala | 2008-06-22 | |
| | ||||
* | Elaborating functor applications | Adam Chlipala | 2008-06-19 | |
| | ||||
* | Elaborating 'where' | Adam Chlipala | 2008-06-19 | |
| | ||||
* | Beginning of functor elaboration | Adam Chlipala | 2008-06-19 | |
| | ||||
* | Elaborating module projection | Adam Chlipala | 2008-06-17 | |
| | ||||
* | Matching values in signatures | Adam Chlipala | 2008-06-12 | |
| | ||||
* | Simple signature matching | Adam Chlipala | 2008-06-12 | |
| | ||||
* | Translation to Cjr | Adam Chlipala | 2008-06-10 | |
| | ||||
* | Closure conversion | Adam Chlipala | 2008-06-10 | |
| | ||||
* | Beta reductions for expressions | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Some con reducing | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Primitive type constants | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Lifting cons in ElabEnv | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Fun with records | Adam Chlipala | 2008-03-28 | |
| | ||||
* | Simple elaboration working | Adam Chlipala | 2008-03-28 | |
| | ||||
* | Added simple expression constructors to Elab | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Parsing basic expressions | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Check for leftover kind unifs | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Elaborating files | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Elaborating cons and decls | Adam Chlipala | 2008-01-26 | |