Perhaps closest: Ševčík (Sec. 6, DRF) https://www.cl.cam.ac.uk/~pes20/weakmemory/transsafety.pdf … Compiler Testing (Sec. 3, C11) http://www.di.ens.fr/~zappa/projects/cmmtest/ … Related: http://plv.mpi-sws.org/trns/ http://plv.mpi-sws.org/llvmcs/ Sec. 6; App. C, E http://plv.mpi-sws.org/validc/ Sec. 2.2; validator test cases http://plv.mpi-sws.org/c11comp/ Sec. 2, 3
-
-
- 1 more reply
New conversation -
-
-
Sounds neat, a link please?
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.