index
:
openslx/kernel-qcow2-linux.git
kernel-qcow2
kernel-qcow2-linux-4.18.x-centos
kernel-qcow2-linux-4.19.y
master
In-kernel qcow2 (Kernel part)
OpenSLX
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tools
/
memory-model
/
litmus-tests
Commit message (
Expand
)
Author
Age
Files
Lines
*
tools/memory-model: Do not use "herd" to refer to "herd7"
Andrea Parri
2019-06-19
1
-1
/
+1
*
tools/memory-model: Fix comment in MP+poonceonces.litmus
Andrea Parri
2019-06-19
1
-1
/
+1
*
tools/memory-model: Add extra ordering for locks and remove it for ordinary r...
Alan Stern
2018-10-02
1
-4
/
+3
*
tools/memory-model: Add litmus-test naming scheme
Paul E. McKenney
2018-10-02
1
-2
/
+102
*
tools/memory-model: Rename litmus tests to comply to norm7
Andrea Parri
2018-07-17
9
-16
/
+16
*
tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name
Paul E. McKenney
2018-07-17
1
-1
/
+1
*
tools/memory-model: Add litmus test for full multicopy atomicity
Paul E. McKenney
2018-07-17
2
-0
/
+41
*
tools/memory-model: Flag "cumulativity" and "propagation" tests
Paul E. McKenney
2018-05-15
3
-5
/
+10
*
tools/memory-model: Add model support for spin_is_locked()
Luc Maranget
2018-05-15
3
-0
/
+79
*
tools/memory-model: Add scripts to test memory model
Paul E. McKenney
2018-05-15
1
-0
/
+1
*
tools/memory-model: Add documentation of new litmus test
Paul E. McKenney
2018-03-10
1
-0
/
+6
*
tools/memory-model: Add a S lock-based external-view litmus test
Alan Stern
2018-02-21
1
-0
/
+41
*
README: Fix a couple of punctuation errors
Paul E. McKenney
2018-02-21
1
-2
/
+2
*
EXP litmus_tests: Add comments explaining tests' purposes
Paul E. McKenney
2018-02-21
28
-1
/
+246
*
Automate memory-barriers.txt; provide Linux-kernel memory model
Paul E. McKenney
2018-01-25
29
-0
/
+786
