Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
`sed -i 's/frag_auth_op/frac_auth_frag_op/g' $(find -name "*.v")`
Robbert Krebbers authored`sed -i 's/frag_auth_op/frac_auth_frag_op/g' $(find -name "*.v")`
To find the state of this project's repository at the time of any of these versions, check out the tags.