On 2015-10-20 14:00, John Regehr wrote:
Got it, thanks. But I think Johan indicated that we should take Moritz's patch instead! That patch has the advantage of not modifying the C-Reduce core at all.
Yes, I am working on that. I will commit code later today, which combines Moritz's patch with Johan's code.