Skip to content
GitLab
Explore
Sign in
Commit
7065234c
authored
Dec 13, 2016
by
Matt Wala
Browse files
find_idempotence(): Replace fixed point iteration with a check based
on SCCs (closes
#16
).
parent
4921f213
Loading
Loading
Loading
Pipeline
#3653
passed with stage
in 11 minutes and 42 seconds
Changes
1
Pipelines
1