 Andrea Parri
|
71b7ff5ebc
tools/memory-model: Rename litmus tests to comply to norm7
|
7 rokov pred |
 Akira Yokosawa
|
5b62832c1e
tools/memory-model: Update required version of herdtools7
|
7 rokov pred |
 Paul E. McKenney
|
d095c12c53
tools/memory-model: Remove mention of docker/gentoo image
|
7 rokov pred |
|
Paul E. McKenney
|
8f7f2fbd00
tools/memory-model: Add required herd7 version to README file
|
7 rokov pred |
 Andrea Parri
|
48d44d4e8a
tools/memory-model: Clarify the origin/scope of the tool name
|
7 rokov pred |
|
Paul E. McKenney
|
1c27b644c0
Automate memory-barriers.txt; provide Linux-kernel memory model
|
8 rokov pred |
