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
Marianna Rapoport
iris-coq
Repository
iris-coq
theories
tests
proofmode.v
Find file
Blame
History
Permalink
Test case for performance regression akin to #153.
· bc947bd5
Robbert Krebbers
authored
Feb 09, 2018
Fixed by stdpp 93b4ec70e13a573a9055a5bf1269f5885e18e843.
bc947bd5
