index
:
linux
master
linux
Fast-forward packages
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tools
/
memory-model
/
README
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
tools/memory-model: doc: Describe the requirement of the litmus-tests directory
Boqun Feng
2021-12-01
1
-0
/
+12
*
tools/memory-model: Fix typo in klitmus7 compatibility table
Akira Yokosawa
2021-01-04
1
-1
/
+1
*
tools/memory-model: Move Documentation description to Documentation/README
Paul E. McKenney
2020-10-27
1
-20
/
+2
*
tools/memory-model: Add a simple entry point document
Paul E. McKenney
2020-09-03
1
-0
/
+5
*
tools/memory-model: Improve litmus-test documentation
Paul E. McKenney
2020-09-03
1
-117
/
+38
*
tools/memory-model/README: Mention herdtools7 7.56 in compatibility table
Akira Yokosawa
2020-06-29
1
-1
/
+1
*
tools/memory-model/README: Expand dependency of klitmus7
Akira Yokosawa
2020-06-29
1
-2
/
+28
*
tools/memory-model: Add an exception for limitations on _unless() family
Boqun Feng
2020-06-29
1
-3
/
+7
*
tools/memory-model: Update the informal documentation
Andrea Parri
2019-08-09
1
-9
/
+9
*
tools/memory-model: Avoid duplicating herdtools versions
Andrea Parri
2019-03-18
1
-2
/
+6
*
tools/memory-model: Update README for addition of SRCU
Paul E. McKenney
2019-03-18
1
-2
/
+23
*
tools/memory-model: Add scripts to check github litmus tests
Paul E. McKenney
2019-01-21
1
-0
/
+2
*
tools/memory-model: Add more LKMM limitations
Paul E. McKenney
2018-10-02
1
-0
/
+39
*
tools/memory-model: Rename litmus tests to comply to norm7
Andrea Parri
2018-07-17
1
-10
/
+10
*
tools/memory-model: Update required version of herdtools7
Akira Yokosawa
2018-05-15
1
-1
/
+1
*
tools/memory-model: Remove mention of docker/gentoo image
Paul E. McKenney
2018-03-10
1
-15
/
+0
*
tools/memory-model: Add required herd7 version to README file
Paul E. McKenney
2018-02-21
1
-1
/
+2
*
tools/memory-model: Clarify the origin/scope of the tool name
Andrea Parri
2018-02-21
1
-7
/
+7
*
Automate memory-barriers.txt; provide Linux-kernel memory model
Paul E. McKenney
2018-01-25
1
-0
/
+220