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