Mercurial > urweb
log src/especialize.sml
| age | author | description |
|---|---|---|
| Thu, 12 Jan 2012 20:37:39 -0500 | Adam Chlipala | -dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type |
| Wed, 11 Jan 2012 14:52:31 -0500 | Adam Chlipala | Small fix to previous commit |
| Wed, 11 Jan 2012 13:53:35 -0500 | Adam Chlipala | New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls |
| Wed, 11 Jan 2012 11:08:48 -0500 | Adam Chlipala | Tweak Especialize heuristic |
| Mon, 09 Jan 2012 09:51:39 -0500 | Adam Chlipala | Tweak Especialize heuristic to prevent non-termination |
| Sat, 07 Jan 2012 15:56:22 -0500 | Adam Chlipala | First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
| Thu, 06 Jan 2011 12:31:13 -0500 | Adam Chlipala | Expand valueish again |
| Thu, 06 Jan 2011 09:25:15 -0500 | Adam Chlipala | Broaden definition of valueish |