Flip direction of `map_disjoint_fmap`. (!398) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/map_disjoint_fmap into master 2 years ago

The old way was inconsistent with other lemmas.

Activity

Robbert Krebbers assigned to @robbertkrebbers 2 years ago

assigned to @robbertkrebbers
Robbert Krebbers added 1 commit 2 years ago
added 1 commit

12a3551e - CHANGELOG.

Compare with previous version
Robbert Krebbers mentioned in merge request !392 (merged) 2 years ago

mentioned in merge request !392 (merged)
Robbert Krebbers added 16 commits 2 years ago
added 16 commits

12a3551e...9d78117d - 14 commits from branch master

7ef1770c - Flip direction of `map_disjoint_fmap`.

9198e66b - CHANGELOG.

Compare with previous version
Robbert Krebbers enabled an automatic merge when the pipeline for 9198e66b succeeds 2 years ago

enabled an automatic merge when the pipeline for 9198e66b succeeds
Robbert Krebbers @robbertkrebbers · 2 years ago

Author Owner
@iris-users This MR can cause minor breakage:

Flip direction of map_disjoint_fmap.
Robbert Krebbers merged 2 years ago

merged
Robbert Krebbers mentioned in commit 6f1ca045 2 years ago

mentioned in commit 6f1ca045

Please register or sign in to reply