Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
theories
program_logic
language.v
Find file
Blame
History
Permalink
Revert git:
00444b07
as the weaker notion of atomicity is too weak for unsafe WP.
· 726366bb
David Swasey
authored
Dec 17, 2016
726366bb