CHANGELOG.md · 842fb394d34814860c2c6fbdf632c51ebcaf112f · Paolo G. Giarrusso / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

4 years ago

Rename `equiv_spec` → `equiv_entails` to be consistent with conventions in std++. · 0c89ae1c

Robbert Krebbers authored 4 years ago

Hence, also rename (the old) `equiv_entails` → `equiv_entails_1_1` and
`equiv_entails_sym` → `equiv_entails_1_2`, and add `equiv_entails_2` for completeness.

0c89ae1c

Rename `equiv_spec` → `equiv_entails` to be consistent with conventions in std++.

Robbert Krebbers authored 4 years ago

Hence, also rename (the old) `equiv_entails` → `equiv_entails_1_1` and
`equiv_entails_sym` → `equiv_entails_1_2`, and add `equiv_entails_2` for completeness.

To find the state of this project's repository at the time of any of these versions, check out the tags.