Mercurial > urweb
log src/reduce_local.sig
age | author | description |
---|---|---|
2010-06-05 | Adam Chlipala | Another run of Specialize, using ReduceLocal on datatype parameters |
2009-03-09 | Adam Chlipala | Conversion of functions to CPS, to facilitate ServerCall |
2008-11-09 | Adam Chlipala | Especialize working reasonably well; need to add new closure representation pass |