Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove an extra line | Adam Chlipala | 2008-11-09 |
* | Especialize working reasonably well; need to add new closure representation pass | Adam Chlipala | 2008-11-09 |
* | Especialize handles records better | Adam Chlipala | 2008-11-08 |
* | Broaden set of possible especializations | Adam Chlipala | 2008-11-08 |
* | About to begin optimization of recursive transaction functions | Adam Chlipala | 2008-11-06 |
* | Almost have that nested save function compiling | Adam Chlipala | 2008-11-01 |
* | Remove _espec tag; add some tag fields | Adam Chlipala | 2008-10-30 |
* | Especialize | Adam Chlipala | 2008-10-30 |