Skip to content
GitLab
Explore
Sign in
Iris
lambda-rust
Repository
lambda-rust
theories
typing
lib
take_mut.v
Find file
Blame
History
Permalink
Port to latest Iris and make use of the `PureExec` infrastructure.
· 2f245f20
Robbert Krebbers
authored
Nov 02, 2017
2f245f20