Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
barrier
proof.v
Find file
Blame
History
Permalink
unify the two invariants of the barrier protocol, this drastically simplifies recv_split
· e4424f79
Ralf Jung
authored
Mar 05, 2016
e4424f79