Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass

[John Regehr]

I can probably get this done and tested tonight, unless the changes are 
harder than I think.

John

On 09/22/2014 05:20 PM, Eric Eide wrote:
John Regehr <reg...@cs.utah.edu> writes:

I can probably make the change easily but it will require some testing and I'm
not sure if Eric has rolled the release already?

No, not yet.  But I am working on it.

I can track minor last-minute changes.