2013-08-10 |
Adam Chlipala |
Expand coverage of 'functionInside' for Especialize |
2013-08-09 |
Adam Chlipala |
Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types |
2013-04-16 |
Adam Chlipala |
Basis.tryRpc |
2012-08-05 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
2012-08-05 |
Adam Chlipala |
Revert last changeset for now; needs more thought |
2012-08-05 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
2012-05-17 |
Adam Chlipala |
Be more conservative in choosing candidates for Especialize, re: mutual recursion |
2012-01-13 |
Adam Chlipala |
-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type |
2012-01-11 |
Adam Chlipala |
Small fix to previous commit |
2012-01-11 |
Adam Chlipala |
New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls |
2012-01-11 |
Adam Chlipala |
Tweak Especialize heuristic |
2012-01-09 |
Adam Chlipala |
Tweak Especialize heuristic to prevent non-termination |
2012-01-07 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
2011-01-06 |
Adam Chlipala |
Expand valueish again |
2011-01-06 |
Adam Chlipala |
Broaden definition of valueish |
2010-12-24 |
Adam Chlipala |
Add an extra Especialize pass before Rpcify |
2010-12-21 |
Adam Chlipala |
Hopeful fix to stop Especialize infinite looping |
2010-10-19 |
Adam Chlipala |
Fixes for nasty bugs in Reduce and Especialize |
2010-08-22 |
Adam Chlipala |
Reduce: Inline let-bound variables whose types involve functions |
2010-06-03 |
Adam Chlipala |
Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize |
2010-03-16 |
Adam Chlipala |
Undo an Especialize change that turned out to be unecessary |
2010-03-07 |
Adam Chlipala |
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables |
2010-03-06 |
Adam Chlipala |
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly |
2010-01-07 |
Adam Chlipala |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization |
2009-12-23 |
Adam Chlipala |
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional() |
2009-12-20 |
Adam Chlipala |
Another try at reasonable Especialize, this time with a custom traversal |
2009-12-16 |
Adam Chlipala |
Especialize uses a termination measure based on number of arguments introduced |
2009-12-15 |
Adam Chlipala |
Fix new Especialize security bug: do not duplicate free variables as specialized arguments |
2009-12-15 |
Adam Chlipala |
Initial generalization of Especialize, with security bug known |
2009-05-21 |
Adam Chlipala |
Change List.mapM' to avoid leaving functions around |
2009-05-16 |
Adam Chlipala |
Fix a Core_untangle bug that missed closure variable references; XHTMLize |
2009-05-14 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
2009-05-14 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
2009-04-12 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
2009-02-22 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
2008-11-27 |
Adam Chlipala |
Avoid Especializing polymorphic code |
2008-11-27 |
Adam Chlipala |
Ditch use of ElabEnv.env in Especialize, to realize big speed-up |
2008-11-27 |
Adam Chlipala |
Untangle and shake within Especialize loop |
2008-11-11 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
2008-11-11 |
Adam Chlipala |
Get threadedBlog to work |
2008-11-09 |
Adam Chlipala |
Prevent overzealous Especialization |
2008-11-09 |
Adam Chlipala |
Remove an extra line |
2008-11-09 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
2008-11-08 |
Adam Chlipala |
Especialize handles records better |
2008-11-08 |
Adam Chlipala |
Broaden set of possible especializations |
2008-11-06 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
2008-11-02 |
Adam Chlipala |
Almost have that nested save function compiling |
2008-10-30 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
2008-10-30 |
Adam Chlipala |
Especialize |