Show patches with: Submitter = Jonas Oberhauser       |   7 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[v3] tools/memory-model: Make ppo a subrelation of po [v3] tools/memory-model: Make ppo a subrelation of po 2 1 1 --- 2023-02-24 Jonas Oberhauser New
[v2,2/2] tools/memory-model: Make ppo a subrelation of po Streamlining treatment of smp_mb__after_unlock_lock - - - --- 2023-01-26 Jonas Oberhauser New
[v2,1/2] tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po Streamlining treatment of smp_mb__after_unlock_lock - 1 - --- 2023-01-26 Jonas Oberhauser New
tools/memory-model Flag suspicious use of srcu cookies tools/memory-model Flag suspicious use of srcu cookies 3 - - --- 2023-01-24 Jonas Oberhauser New
tools/memory-model: Make ppo a subrelation of po tools/memory-model: Make ppo a subrelation of po 1 - - --- 2023-01-17 Jonas Oberhauser New
[v2] tools: memory-model: Make plain accesses carry dependencies [v2] tools: memory-model: Make plain accesses carry dependencies - 1 - --- 2022-12-02 Jonas Oberhauser New
tools: memory-model: Make plain accesses carry dependencies tools: memory-model: Make plain accesses carry dependencies - 1 - --- 2022-12-01 Jonas Oberhauser New