Skip to content
GitLab
Explore
Sign in
Iris
gpfsl
Repository
gpfsl
theories
examples
kvnode2.v
Find file
Blame
History
Permalink
Added kvnode_prots_W to write_spec precondition.
· f3576fdc
William Mansky
authored
Mar 07, 2019
Conceptually, it's part of the writer permission for the kvnode protocol.
f3576fdc