summaryrefslogtreecommitdiff
path: root/src/especialize.sml
Commit message (Expand)AuthorAge
* Undo an Especialize change that turned out to be unecessaryGravatar Adam Chlipala2010-03-16
* Got split1 working, but noticed a nasty type inference bug with transplanted ...Gravatar Adam Chlipala2010-03-06
* Standard library moduls Incl and Mem; tweaks to Especialize and UnpolyGravatar Adam Chlipala2010-03-06
* Basis.debug; more restrictive type for Basis.form; weaken definition of polym...Gravatar Adam Chlipala2010-01-07
* Stop skipping Especialization of generated functions; fix Compiler.parseUrp; ...Gravatar Adam Chlipala2009-12-23
* Another try at reasonable Especialize, this time with a custom traversalGravatar Adam Chlipala2009-12-20
* Especialize uses a termination measure based on number of arguments introducedGravatar Adam Chlipala2009-12-15
* Fix new Especialize security bug: do not duplicate free variables as speciali...Gravatar Adam Chlipala2009-12-15
* Initial generalization of Especialize, with security bug knownGravatar Adam Chlipala2009-12-15
* Change List.mapM' to avoid leaving functions aroundGravatar Adam Chlipala2009-05-21
* Fix a Core_untangle bug that missed closure variable references; XHTMLizeGravatar Adam Chlipala2009-05-16
* 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