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

To: John Regehr <regehr@cs.utah.edu>
Subject: Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass
From: Eric Eide <eeide@cs.utah.edu>
Date: Tue, 23 Sep 2014 11:12:55 -0600
Cc: creduce-bugs@flux.utah.edu
In-reply-to: <5421A9A6.7070300@cs.utah.edu> (John Regehr's message of "Tue, 23 Sep 2014 11:11:02 -0600")
List-archive: </listarchives/creduce-bugs>
List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
List-post: <mailto:creduce-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <20140922063359.GA301@x4> <5420E17E.6040703@cs.utah.edu> <5420EA67.50609@cs.utah.edu> <m17g0ugt7i.fsf@cs.utah.edu> <5421A9A6.7070300@cs.utah.edu>
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)

> It looks like we already had parallelism in the last release so nothing so
> major here.  Let's do 2.2.

OK.  I am close to being done with this.

References:
- [creduce-bugs] Stuck in param-to-global/param-to-local pass
  - From: Markus Trippelsdorf <markus@trippelsdorf.de>
- Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass
  - From: John Regehr <regehr@cs.utah.edu>