diff options
author | Ingo Molnar <mingo@kernel.org> | 2020-10-09 08:46:53 +0200 |
---|---|---|
committer | Ingo Molnar <mingo@kernel.org> | 2020-10-09 08:56:36 +0200 |
commit | 2116d708b0580c0048fc80b82ec4b53f4ddaa166 (patch) | |
tree | 24e7d0ccf4cd3c2238d36ed248b3a3e090c51552 /tools/memory-model/Documentation/references.txt | |
parent | d6c4c11348816fb4d16e33bf47d559d7aa59350a (diff) | |
parent | 0ce0c78eff7d22c8a261de6c4305a5abb638c200 (diff) |
Merge branch 'lkmm' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu into locking/corelocking-core-2020-10-12
Pull LKMM changes for v5.10 from Paul E. McKenney.
Various documentation updates.
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'tools/memory-model/Documentation/references.txt')
-rw-r--r-- | tools/memory-model/Documentation/references.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/memory-model/Documentation/references.txt b/tools/memory-model/Documentation/references.txt index ecbbaa5396d4..c5fdfd19df24 100644 --- a/tools/memory-model/Documentation/references.txt +++ b/tools/memory-model/Documentation/references.txt @@ -120,7 +120,7 @@ o Jade Alglave, Luc Maranget, and Michael Tautschnig. 2014. "Herding o Jade Alglave, Patrick Cousot, and Luc Maranget. 2016. "Syntax and semantics of the weak consistency model specification language - cat". CoRR abs/1608.07531 (2016). http://arxiv.org/abs/1608.07531 + cat". CoRR abs/1608.07531 (2016). https://arxiv.org/abs/1608.07531 Memory-model comparisons |