summaryrefslogtreecommitdiff
path: root/src/especialize.sml
Commit message (Collapse)AuthorAge
* Proper lifting of MonoEnv stored expressions; avoidance of onchange clobberingGravatar Adam Chlipala2009-05-14
|
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14
|
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
|
* demo/hello compiles with kind polymorphismGravatar Adam Chlipala2009-02-22
|
* Avoid Especializing polymorphic codeGravatar Adam Chlipala2008-11-27
|
* Ditch use of ElabEnv.env in Especialize, to realize big speed-upGravatar Adam Chlipala2008-11-27
|
* Untangle and shake within Especialize loopGravatar Adam Chlipala2008-11-27
|
* Get preliminary ThreadedBlog workingGravatar Adam Chlipala2008-11-11
|
* Get threadedBlog to workGravatar Adam Chlipala2008-11-11
|
* Prevent overzealous EspecializationGravatar Adam Chlipala2008-11-09
|
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-18 15:19:58 +0000