Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Another run of Specialize, using ReduceLocal on datatype parameters | Adam Chlipala | 2010-06-05 |
| | |||
* | Conversion of functions to CPS, to facilitate ServerCall | Adam Chlipala | 2009-03-08 |
| | |||
* | Especialize working reasonably well; need to add new closure representation pass | Adam Chlipala | 2008-11-09 |