Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
stdpp
Merge requests
!273
Declare `equiv` as a rightful rewrite relation, when an `Equiv` instance is available.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Matthieu Sozeau
requested to merge
mattam82/stdpp:coq-13969
into
master
Jun 04, 2021
Overview
35
Commits
5
Pipelines
5
Changes
1
Expand
This makes Iris & Perennial compatible with
Coq PR #13969
. Should be entirely backwards compatible.
Edited
Jul 26, 2021
by
Ralf Jung
Merge request reports