Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
base_logic
lib
own.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