Merge branch 'speed-up-find-idempotence' into 'master'
find_idempotence(): Replace fixed point iteration with a check based on SCCs (closes #16). See merge request !66
Loading
Please register or sign in to comment
find_idempotence(): Replace fixed point iteration with a check based on SCCs (closes #16). See merge request !66