Skip to content
GitLab
Explore
Sign in
Hugo Herbelin
iris-coq
Repository
iris-coq
theories
heap_lang
lib
spin_lock.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