On 2015-10-20 14:03, Yang Chen wrote:
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.
One more thing to add - Johan sent us two patches. One is similar to what Moritz's patch does. I am going to combine these two.
Johan's other patch is for including search files. - Yang