aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/especialize.sml
Commit message (Collapse)AuthorAge
* Expand coverage of 'functionInside' for EspecializeGravatar Adam Chlipala2013-08-10
|
* Extend Especialize rule: find maximal argument prefixes that end in 1 or ↵Gravatar Adam Chlipala2013-08-09
| | | | more arguments with functional types
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* Revert last changeset for now; needs more thoughtGravatar Adam Chlipala2012-08-05
|
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* Be more conservative in choosing candidates for Especialize, re: mutual ↵Gravatar Adam Chlipala2012-05-17
| | | | recursion
* -dumpSource flag; Especialize tweak: may specialize any argument sequence ↵Gravatar Adam Chlipala2012-01-12
| | | | ending in a value of function-containing type
* Small fix to previous commitGravatar Adam Chlipala2012-01-11
|
* New, more principled heuristic for Especialize: only specialize uniform ↵Gravatar Adam Chlipala2012-01-11
| | | | function arguments; that is, arguments that don't change across recursive calls
* Tweak Especialize heuristicGravatar Adam Chlipala2012-01-11
|
* Tweak Especialize heuristic to prevent non-terminationGravatar Adam Chlipala2012-01-09
|
* First part of changes to avoid depending on C function call argument order ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* Expand valueish againGravatar Adam Chlipala2011-01-06
|
* Broaden definition of valueishGravatar Adam Chlipala2011-01-06
|
* Add an extra Especialize pass before RpcifyGravatar Adam Chlipala2010-12-24
|
* Hopeful fix to stop Especialize infinite loopingGravatar Adam Chlipala2010-12-21
|
* Fixes for nasty bugs in Reduce and EspecializeGravatar Adam Chlipala2010-10-19
|
* Reduce: Inline let-bound variables whose types involve functionsGravatar Adam Chlipala2010-08-22
|
* Some serious bug-fix work to get HTML example to compile; this includes ↵Gravatar Adam Chlipala2010-06-03
| | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
* 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
| | | | unification variables
* 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 ↵Gravatar Adam Chlipala2010-01-07
| | | | polymorphic-ness for especialization
* Stop skipping Especialization of generated functions; fix Compiler.parseUrp; ↵Gravatar Adam Chlipala2009-12-23
| | | | expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
* 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 ↵Gravatar Adam Chlipala2009-12-15
| | | | specialized arguments
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 16:59:41 +0000