diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-01-11 13:53:35 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-01-11 13:53:35 -0500 |
commit | df076a40dbdb2b6a63326b61863b094e2963cafb (patch) | |
tree | 314e631f9e9ac6ed0fecc5b8de31b4ea1f34b749 /tests/firebug.urs | |
parent | b6bce85840add488924fc68ab2fff7e949646fea (diff) |
New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls
Diffstat (limited to 'tests/firebug.urs')
0 files changed, 0 insertions, 0 deletions