commit | 96ab6febd94c879ba3ed0d05fe1b7fc559b82d95 | [log] [tgz] |
---|---|---|
author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | Thu Jun 22 20:42:14 2017 -0700 |
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | Thu Jun 22 20:42:14 2017 -0700 |
tree | 65e5160708d67462978c6c4e9e7e55bd6181ae87 | |
parent | ed403934aeff63a46db4412d6a485f42d39daabd [diff] |
advsync: Convert memory-misordering table to herd7 litmus test This is a C-language litmus test, and description of that syntax will be added to the formal-verification section in the axiomatic section. Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>