barrier: strive for consistency between barrierGF and the inGF assumptions;...

barrier: strive for consistency between barrierGF and the inGF assumptions; also change some instance names
1 job for master
Status Job ID Name Coverage
  Test
failed #19
coq
buildjob

00:04:19

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
?H1 : "inGF heap_lang Σ agreeF"
?cofe_mor_ne : "∀ n : nat, Proper (dist n ==> dist n) (recv N heapN l)"
Makefile.coq:324: recipe for target 'barrier/barrier.vo' failed
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:4: recipe for target 'all' failed
make[1]: *** [barrier/barrier.vo] Error 1
make: *** [all] Error 2

ERROR: Build failed with: exit code 1