Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Run a shake before reducing | Adam Chlipala | 2008-06-08 | |
| | ||||
* | 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 | |
| | ||||
* | Elaborating files | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Rename Laconic* modules to Source* | Adam Chlipala | 2008-01-26 | |
| | ||||
* | Initial parsing and pretty-printing | Adam Chlipala | 2008-01-26 | |