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 |
Fri, 24 Dec 2010 12:51:46 -0500 |
Adam Chlipala |
Add an extra Especialize pass before Rpcify |