Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
heap_lang
lifting.v
Find file
Blame
History
Permalink
Start porting tactics to mtac2.
· 9d061049
Robbert Krebbers
authored
Feb 20, 2017
and
Janno
committed
Jan 30, 2018
This commit squashes a bunch of changes made by Beta and Robbert.
9d061049