Make fixpoint mode the default

Question

Make fixpoint mode the default

msridhar opened this issue 9 years ago · comments

I'm wondering if we should make the new fixpoint mode on by default. Or maybe it should just even be on always, and not be an option. @xiemaisi any thoughts?

Max Schaefer · Answer 1 · Wed Apr 29 2015 01:09:27 GMT+0800 (China Standard Time)

I'm in favour of on-by-default.

Manu Sridharan · Answer 2 · Wed Apr 29 2015 05:18:09 GMT+0800 (China Standard Time)

Fixed in 71473bd