index
:
linux.git
master
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
memory-model
/
README
Age
Commit message (
Expand
)
Author
2020-10-26
tools/memory-model: Move Documentation description to Documentation/README
Paul E. McKenney
2020-09-03
tools/memory-model: Add a simple entry point document
Paul E. McKenney
2020-09-03
tools/memory-model: Improve litmus-test documentation
Paul E. McKenney
2020-06-29
tools/memory-model/README: Mention herdtools7 7.56 in compatibility table
Akira Yokosawa
2020-06-29
tools/memory-model/README: Expand dependency of klitmus7
Akira Yokosawa
2020-06-29
tools/memory-model: Add an exception for limitations on _unless() family
Boqun Feng
2019-08-09
tools/memory-model: Update the informal documentation
Andrea Parri
2019-03-18
tools/memory-model: Avoid duplicating herdtools versions
Andrea Parri
2019-03-18
tools/memory-model: Update README for addition of SRCU
Paul E. McKenney
2019-01-21
tools/memory-model: Add scripts to check github litmus tests
Paul E. McKenney
2018-10-02
tools/memory-model: Add more LKMM limitations
Paul E. McKenney
2018-07-17
tools/memory-model: Rename litmus tests to comply to norm7
Andrea Parri
2018-05-15
tools/memory-model: Update required version of herdtools7
Akira Yokosawa
2018-03-10
tools/memory-model: Remove mention of docker/gentoo image
Paul E. McKenney
2018-02-21
tools/memory-model: Add required herd7 version to README file
Paul E. McKenney
2018-02-21
tools/memory-model: Clarify the origin/scope of the tool name
Andrea Parri
2018-01-24
Automate memory-barriers.txt; provide Linux-kernel memory model
Paul E. McKenney