Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Matthieu Sozeau
Iris
Repository
97d4205db2937ff3a72d9c93fcd026731ac4bb82
Switch branch/tag
iris
theories
base_logic
lib
iprop.v
Find file
Blame
History
Permalink
Revert "Seal off iRes using a module." because my benchmarks were wrong.
· 97d4205d
Robbert Krebbers
authored
Feb 22, 2017
I probably tested against a wrong version. This reverts commit
02bc52b4
.
97d4205d
