index
:
wireguard-linux
backport-5.4.y
davem/net
davem/net-next
devel
gregkh/stable-5.4.y
jd/bump-compilers
jd/deferred-aip-removal
jd/new-archs
jd/orphan-parallel
jd/rcu-barrier
jd/shorter-socket-lock
jd/unified-crypt-queue
jd/xdp-l3
stable
update-toolchain
WireGuard for the Linux kernel
Jason A. Donenfeld
about
summary
refs
log
tree
commit
diff
stats
homepage
log msg
author
committer
range
path:
root
/
tools
/
memory-model
(
follow
)
Age
Commit message (
Expand
)
Author
Files
Lines
2025-04-23
tools/memory-model/Documentation: Fix SRCU section in explanation.txt
Uladzislau Rezki (Sony)
1
-1
/
+1
2025-04-22
tools/memory-model: docs/references: Remove broken link to imgtec.com
Akira Yokosawa
1
-2
/
+1
2025-04-22
tools/memory-model: docs/ordering: Fix trivial typos
Akira Yokosawa
1
-11
/
+11
2025-04-22
tools/memory-model: docs/simple.txt: Fix trivial typos
Akira Yokosawa
1
-2
/
+2
2025-04-22
tools/memory-model: docs/README: Update introduction of locking.txt
Akira Yokosawa
3
-2
/
+14
2025-02-25
tools/memory-model: glossary.txt: Fix indents
Akira Yokosawa
1
-16
/
+16
2025-02-25
tools/memory-model/README: Fix typo
Akira Yokosawa
1
-1
/
+1
2025-02-25
tools/memory-model: Distinguish between syntactic and semantic tags
Jonas Oberhauser
3
-132
/
+132
2025-02-25
tools/memory-model: Switch to softcoded herd7 tags
Jonas Oberhauser
5
-21
/
+30
2025-02-20
tools/memory-model: Define effect of Mb tags on RMWs in tools/...
Jonas Oberhauser
1
-0
/
+10
2025-02-20
tools/memory-model: Define applicable tags on operation in tools/...
Jonas Oberhauser
1
-0
/
+11
2025-02-20
tools/memory-model: Legitimize current use of tags in LKMM macros
Jonas Oberhauser
1
-4
/
+5
2025-02-20
tools/memory-model: Add atomic_andnot() with its variants
Puranjay Mohan
1
-0
/
+6
2025-02-20
tools/memory-model: Add atomic_and()/or()/xor() and add_negative
Puranjay Mohan
1
-0
/
+21
2024-09-13
tools/memory-model: simple.txt: Fix stale reference to recipes-pairs.txt
Akira Yokosawa
1
-1
/
+1
2024-09-13
tools/memory-model: Add locking.txt and glossary.txt to README
Akira Yokosawa
1
-0
/
+17
2024-09-13
tools/memory-model: Document herd7 (abstract) representation
Andrea Parri
2
-1
/
+116
2024-07-15
Merge tag 'kcsan.2024.07.12a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu
Linus Torvalds
1
-1
/
+23
2024-06-06
tools/memory-model: Code reorganization in lock.cat
Alan Stern
1
-21
/
+35
2024-06-06
tools/memory-model: Fix bug in lock.cat
Alan Stern
1
-10
/
+10
2024-06-06
tools/memory-model: Add access-marking.txt to README
Paul E. McKenney
1
-0
/
+4
2024-06-06
tools/memory-model: Add KCSAN LF mentorship session citation
Paul E. McKenney
1
-3
/
+7
2024-05-30
kcsan: Add example to data_race() kerneldoc header
Paul E. McKenney
1
-1
/
+23
2023-04-24
Merge tag 'lkmm-scripting.2023.04.07a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu
Linus Torvalds
18
-116
/
+733
2023-03-24
tools/memory-model: Remove out-of-date SRCU documentation
Andrea Parri
1
-26
/
+1
2023-03-24
tools/memory-model: Document LKMM test procedure
Paul E. McKenney
1
-0
/
+32
2023-03-24
tools/memory-model: Use "grep -E" instead of "egrep"
Tiezhu Yang
1
-2
/
+2
2023-03-24
tools/memory-model: Use "-unroll 0" to keep --hw runs finite
Paul E. McKenney
1
-1
/
+1
2023-03-24
tools/memory-model: Make judgelitmus.sh handle scripted Result: tag
Paul E. McKenney
1
-3
/
+3
2023-03-24
tools/memory-model: Add data-race capabilities to judgelitmus.sh
Paul E. McKenney
1
-8
/
+32
2023-03-24
tools/memory-model: Add checktheselitmus.sh to run specified litmus tests
Paul E. McKenney
2
-0
/
+51
2023-03-24
tools/memory-model: Repair parseargs.sh header comment
Paul E. McKenney
1
-1
/
+1
2023-03-24
tools/memory-model: Add "--" to parseargs.sh for additional arguments
Paul E. McKenney
1
-1
/
+5
2023-03-24
tools/memory-model: Make history-check scripts use mselect7
Paul E. McKenney
2
-2
/
+2
2023-03-24
tools/memory-model: Make checkghlitmus.sh use mselect7
Paul E. McKenney
1
-1
/
+1
2023-03-24
tools/memory-model: Fix scripting --jobs argument
Paul E. McKenney
1
-1
/
+1
2023-03-24
tools/memory-model: Implement --hw support for checkghlitmus.sh
Paul E. McKenney
3
-14
/
+42
2023-03-24
tools/memory-model: Add -v flag to jingle7 runs
Paul E. McKenney
1
-2
/
+3
2023-03-24
tools/memory-model: Make runlitmus.sh check for jingle errors
Paul E. McKenney
1
-0
/
+5
2023-03-24
tools/memory-model: Allow herd to deduce CPU type
Paul E. McKenney
1
-2
/
+1
2023-03-24
tools/memory-model: Keep assembly-language litmus tests
Paul E. McKenney
2
-3
/
+3
2023-03-24
tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.out
Paul E. McKenney
3
-4
/
+4
2023-03-24
tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw
Paul E. McKenney
1
-24
/
+30
2023-03-24
tools/memory-model: Split runlitmus.sh out of checklitmus.sh
Paul E. McKenney
2
-53
/
+73
2023-03-24
tools/memory-model: Make judgelitmus.sh ransack .litmus.out files
Paul E. McKenney
1
-1
/
+8
2023-03-24
tools/memory-model: Hardware checking for check{,all}litmus.sh
Paul E. McKenney
2
-16
/
+49
2023-03-24
tools/memory-model: Fix checkalllitmus.sh comment
Paul E. McKenney
1
-2
/
+2
2023-03-24
tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCU
Paul E. McKenney
1
-0
/
+35
2023-03-24
tools/memory-model: Make judgelitmus.sh handle hardware verifications
Paul E. McKenney
2
-32
/
+51
2023-03-24
tools/memory-model: Update parseargs.sh for hardware verification
Paul E. McKenney
1
-1
/
+8
[next]