summaryrefslogtreecommitdiff
path: root/src/especialize.sml
Commit message (Expand)AuthorAge
* Remove an extra lineGravatar Adam Chlipala2008-11-09
* Especialize working reasonably well; need to add new closure representation passGravatar Adam Chlipala2008-11-09
* Especialize handles records betterGravatar Adam Chlipala2008-11-08
* Broaden set of possible especializationsGravatar Adam Chlipala2008-11-08
* About to begin optimization of recursive transaction functionsGravatar Adam Chlipala2008-11-06
* Almost have that nested save function compilingGravatar Adam Chlipala2008-11-01
* Remove _espec tag; add some tag fieldsGravatar Adam Chlipala2008-10-30
* EspecializeGravatar Adam Chlipala2008-10-30