On 2016-08-01 21:18, John Regehr wrote:
Ok-- thanks again for doing this Yang. I wrote the code to take advantage of this transformation (in a little standalone tool since it doesn't slot neatly into C-Reduce's framework) and it found 2 nice simplifications to do on an already fully-reduced test case that I'm working on.
Nice! Thanks for the update. - Yang