Inline-linear-SCC: assert b-free invariant + opt-in reduction self-check (#98)#106
Open
baggepinnen wants to merge 5 commits into
Open
Inline-linear-SCC: assert b-free invariant + opt-in reduction self-check (#98)#106baggepinnen wants to merge 5 commits into
b-free invariant + opt-in reduction self-check (#98)#106baggepinnen wants to merge 5 commits into