Robuta

https://open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2955.html Comments on the C++ Memory Model Following a Partial Formalization Attempt c memory model on the comments https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1480.htm 1480: Updates to C++ Memory Model Based on Formalization c memory model based on 1480 updates formalization