Mercurial > urweb
log src/reduce_local.sig
age | author | description |
---|---|---|
Sat, 05 Jun 2010 09:42:37 -0400 | Adam Chlipala | Another run of Specialize, using ReduceLocal on datatype parameters |
Sun, 08 Mar 2009 20:34:21 -0400 | Adam Chlipala | Conversion of functions to CPS, to facilitate ServerCall |
Sun, 09 Nov 2008 11:53:52 -0500 | Adam Chlipala | Especialize working reasonably well; need to add new closure representation pass |