Show patches with: Submitter = Akira Yokosawa       |    State = Action Required       |   6 patches
Patch Series S/W/F Date Submitter Delegate State
[2/2] tools/memory-model: Mention data-race capability in jugdelitmus.sh's header tools/memory-model: Update comment of jugdelitmus.sh --- 2019-08-14 Akira Yokosawa New
Subject: [PATCH 1/2] tools/memory-model: Reflect updated file name convention in judgelitmus.sh Subject: [PATCH 1/2] tools/memory-model: Reflect updated file name convention in judgelitmus.sh --- 2019-08-14 Akira Yokosawa New
Trial of conflict resolution of Alan's patch Trial of conflict resolution of Alan's patch --- 2018-02-15 Akira Yokosawa New
[v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_") [v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_") --- 2018-02-09 Akira Yokosawa New
tools/memory-model: Restore compat with herd7 7.47 ("-" -> "_") tools/memory-model: Restore compat with herd7 7.47 ("-" -> "_") --- 2018-02-09 Akira Yokosawa New
documentation: Fix two-CPU control-dependency example --- 2017-07-17 Akira Yokosawa New