NonMoving: Add summarizing Note
authorBen Gamari <ben@smart-cactus.org>
Fri, 17 May 2019 15:42:11 +0000 (11:42 -0400)
committerBen Gamari <ben@smart-cactus.org>
Sun, 19 May 2019 18:53:40 +0000 (14:53 -0400)
commit43a7fc720b204af82bae7fe124b2fb20a756041f
treec39d5ebe9a0032cf222f9c4d1d8c680af6348363
parente2921c353096cab34b8f0852260eb18833ed8153
NonMoving: Add summarizing Note
includes/rts/storage/TSO.h
rts/sm/NonMoving.c