Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Fusing writes with recursive function calls | Adam Chlipala | 2008-11-25 | |
| | ||||
* | Defunctionalization gets CommentBlog working | Adam Chlipala | 2008-11-09 | |
| | ||||
* | Especialize working reasonably well; need to add new closure representation pass | Adam Chlipala | 2008-11-09 | |
| | ||||
* | Nested save compiles | Adam Chlipala | 2008-11-01 | |
| | ||||
* | Almost have that nested save function compiling | Adam Chlipala | 2008-11-01 | |
| | ||||
* | First Unnest tests working | Adam Chlipala | 2008-11-01 | |
| | ||||
* | Especialize | Adam Chlipala | 2008-10-30 | |
| | ||||
* | Demo HTML generation, minus source code | Adam Chlipala | 2008-10-19 | |
| | ||||
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 | |
| | ||||
* | Proper generation of relation names; checking that sequences exist | Adam Chlipala | 2008-10-19 | |
| | ||||
* | foldTR2 | Adam Chlipala | 2008-09-13 | |
| | ||||
* | Unpoly non-recursive function | Adam Chlipala | 2008-09-11 | |
| | ||||
* | Termination checking | Adam Chlipala | 2008-09-09 | |
| | ||||
* | Ran a prepared statement with one string parameter | Adam Chlipala | 2008-09-07 | |
| | ||||
* | Laconic -> Ur | Adam Chlipala | 2008-08-31 | |
| | ||||
* | Specialization of single-parameter datatypes | Adam Chlipala | 2008-08-08 | |
| | ||||
* | MonoShake | Adam Chlipala | 2008-07-17 | |
| | ||||
* | MonoReduce | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Untangle | 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' | |||
* | Fix dependency graph mismatch in sources | Adam Chlipala | 2008-07-10 | |
| | ||||
* | Mono optimizations (start with string concat and space eating) | Adam Chlipala | 2008-07-03 | |
| | ||||
* | Initial disjointness prover | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Factor some operations into ElabOps | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Explify | Adam Chlipala | 2008-06-19 | |
| | ||||
* | Translation to Cjr | Adam Chlipala | 2008-06-10 | |
| | ||||
* | Closure conversion | Adam Chlipala | 2008-06-10 | |
| | ||||
* | Monoize | Adam Chlipala | 2008-06-10 | |
| | ||||
* | Tree-shaking | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Some con reducing | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Conversion to Core | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Primitive type constants | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Lifting cons in ElabEnv | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Start of elaborating expressions | Adam Chlipala | 2008-03-28 | |
| | ||||
* | Check for leftover kind unifs | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Elaborating files | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Rename Laconic* modules to Source* | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Elaborating cons and decls | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Start of elaboration | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Initial parsing and pretty-printing | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Initial skeleton | Adam Chlipala | 2008-01-26 | |