Added close definition and spec
All threads resolved!
All threads resolved!
Compare changes
Files
3+ 69
− 8
@@ -64,6 +64,13 @@ Definition recv : val :=
@@ -96,8 +103,8 @@ Definition iProto_mapsto_def `{!heapGS Σ, !chanG Σ}
@@ -211,7 +218,8 @@ Section channel.
@@ -243,7 +251,16 @@ Section channel.
@@ -263,7 +280,16 @@ Section channel.
@@ -310,8 +336,11 @@ Section channel.
@@ -325,7 +354,9 @@ Section channel.
@@ -352,6 +383,36 @@ Section channel.