Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | |||
* | More fun with HTML | Adam Chlipala | 2008-07-03 |
| | |||
* | XML tags with contents | Adam Chlipala | 2008-07-03 |
| | |||
* | Basic XML stuff | Adam Chlipala | 2008-07-03 |
| | |||
* | Fancier head normalization pushed inside of Disjoint | Adam Chlipala | 2008-07-03 |
| | |||
* | Constraints in modules | Adam Chlipala | 2008-07-01 |
| | |||
* | More with disjointness assumptions | Adam Chlipala | 2008-07-01 |
| | |||
* | Disjointness assumptions in expressions | Adam Chlipala | 2008-07-01 |
| | |||
* | Disjointness assumptions | Adam Chlipala | 2008-07-01 |
| | |||
* | Threading disjointness conditions through Elaborate | Adam Chlipala | 2008-07-01 |
| | |||
* | Initial disjointness prover | Adam Chlipala | 2008-07-01 |
| | |||
* | Factor some operations into ElabOps | Adam Chlipala | 2008-07-01 |
| | |||
* | A little more conservative unification | Adam Chlipala | 2008-06-29 |
| | |||
* | More hardcore unification | Adam Chlipala | 2008-06-29 |
| | |||
* | Implicit structure members | Adam Chlipala | 2008-06-29 |
| | |||
* | Broaden unification context | Adam Chlipala | 2008-06-29 |
| | |||
* | Folding through a functor | Adam Chlipala | 2008-06-26 |
| | |||
* | Reduce efold | Adam Chlipala | 2008-06-26 |
| | |||
* | Elaborate efold | Adam Chlipala | 2008-06-26 |
| | |||
* | Elaborating cfold | Adam Chlipala | 2008-06-26 |
| | |||
* | Proper subsignaturing for sub-structures | Adam Chlipala | 2008-06-26 |
| | |||
* | Proper subsignaturing for sub-signatures | Adam Chlipala | 2008-06-26 |
| | |||
* | Proper hiding of shadowed bindings in principal signatures | Adam Chlipala | 2008-06-26 |
| | |||
* | Signature duplicate entry checking for principal signatures | Adam Chlipala | 2008-06-22 |
| | |||
* | Signature duplicate entry checking | Adam Chlipala | 2008-06-22 |
| | |||
* | open | Adam Chlipala | 2008-06-22 |
| | |||
* | Subsignatures | Adam Chlipala | 2008-06-22 |
| | |||
* | include | Adam Chlipala | 2008-06-22 |
| | |||
* | Separate compilation and automatic basis importation | Adam Chlipala | 2008-06-22 |
| | |||
* | Start of FFI | Adam Chlipala | 2008-06-22 |
| | |||
* | Corifying functors | Adam Chlipala | 2008-06-19 |
| | |||
* | Elaborating functor applications | Adam Chlipala | 2008-06-19 |
| | |||
* | Subtyping for functor signatures | Adam Chlipala | 2008-06-19 |
| | |||
* | Elaborating 'where' | Adam Chlipala | 2008-06-19 |
| | |||
* | Beginning of functor elaboration | Adam Chlipala | 2008-06-19 |
| | |||
* | Functor parsing | Adam Chlipala | 2008-06-19 |
| | |||
* | Proper selfification | Adam Chlipala | 2008-06-17 |
| | |||
* | Elaborating module projection | Adam Chlipala | 2008-06-17 |
| | |||
* | Matching structures in signatures | Adam Chlipala | 2008-06-12 |
| | |||
* | Matching values in signatures | Adam Chlipala | 2008-06-12 |
| | |||
* | Simple signature matching | Adam Chlipala | 2008-06-12 |
| | |||
* | Parsing and printing basic module system | Adam Chlipala | 2008-06-12 |
| | |||
* | Translation to Cjr | Adam Chlipala | 2008-06-10 |
| | |||
* | Closure conversion | Adam Chlipala | 2008-06-10 |
| | |||
* | Unification wildcards | Adam Chlipala | 2008-06-08 |
| | |||
* | Further experiments with implicit arguments | Adam Chlipala | 2008-06-08 |
| | |||
* | Implicit constructor arguments | Adam Chlipala | 2008-06-08 |
| |