messages from 2018-09-23 07:22:39 to 2018-11-18 15:11:55 UTC [more...]
[PATCH] styleguide: Expand on goal of new snippet scheme
2018-11-18 4:52 UTC (2+ messages)
[PATCH] memorder: Fix typo (Figure -> Table)
2018-11-18 0:05 UTC (2+ messages)
[PATCH] SMPdesign: fix typos
2018-11-17 8:26 UTC (4+ messages)
[PATCH] styleguide: Update code snippet section
2018-11-12 18:11 UTC (5+ messages)
[PATCH] cpu: Fix typos
2018-11-12 18:08 UTC (6+ messages)
[PATCH] tooloftrade: add missing subject of sentence
2018-11-12 2:35 UTC (4+ messages)
[PATCH] memorder: Add a brief description of the use of multicopy atomicity
2018-11-08 6:34 UTC (2+ messages)
[PATCH] memorder.tex: Fix typos in description of litmus test C-ISA2+o-r+a-r+a-r+a-o
2018-11-07 17:39 UTC (7+ messages)
Ask help for litmus tests
2018-11-08 2:25 UTC (9+ messages)
[PATCH 0/2] Updates to Chapter memorder
2018-11-06 6:18 UTC (9+ messages)
` [PATCH 1/2] memorder: fix typo
` [PATCH 2/2] memorybarriercum.svg: "
[PATCH 0/7] Further conversion of code snippets (howto, cpu, SMPdesign)
2018-11-04 20:30 UTC (9+ messages)
` [PATCH 1/7] howto, cpu: Employ new scheme for command/code snippets
` [PATCH 2/7] SMPdesign: Employ new scheme for snippet of lockhdeq.c
` [PATCH 3/7] SMPdesign: Employ new scheme for snippet of lockhdeq.c and locktdeq.c
` [PATCH 4/7] SMPdesign: Employ new scheme for inline snippets
` [PATCH 5/7] SMPdesign: Employ new scheme for snippets from smpalloc.c
` [PATCH 6/7] SMPdesign/beyond: Employ new scheme for inline pseudocode snippets
` [PATCH 7/7] CodeSamples/SMPdesign/maze: Substitute {READ/WRITE}_ONCE() for ACCESS_ONCE()
[PATCH 0/8] Improve conversion of litmus test snippet
2018-10-31 16:28 UTC (10+ messages)
` [PATCH 1/8] reorder_ltms.pl: Add 'locationslabel=' option to \end[snippet]
` [PATCH 2/8] CodeSamples/formal: Add C-RCU-remove.litmus
` [PATCH 3/8] CodeSamples/formal/herd: Add recipe for native .litmus tests
` [PATCH 4/8] formal/axiomatic: Import snippet from C-RCU-remove.litmus
` [PATCH 5/8] CodeSamples/formal: Add C-RomanPenyanev-list-rcu-rr.litmus
` [PATCH 6/8] formal/axiomatic: Import snippet from C-RomanPenyanev-list-rcu-rr.litmus
` [PATCH 7/8] formal/axiomatic: Convert snippets of IRIW tests to new scheme
` [PATCH 8/8] formal/axiomatic: Fill in missing ')'
Release/edition plans
2018-10-30 22:33 UTC (6+ messages)
[Possible BUG] count_lim_atomic.c fails on POWER8
2018-10-29 15:30 UTC (25+ messages)
[PATCH] Let (atomic_)cmpxchg directly return true or false
2018-10-28 12:30 UTC
[PATCH] CodeSamples: Add api-pthreads/api-gcc.h in depends.mk
2018-10-28 0:08 UTC (2+ messages)
perfbook
2018-10-27 17:09 UTC (14+ messages)
[PATCH 0/7] count, toolsoftrade: Employ new code-snippet scheme (cont.)
2018-10-26 20:58 UTC (10+ messages)
` [PATCH 1/7] count: Employ new scheme for inline code snippets
` [PATCH 2/7] toolsoftrade: Use 'VerbatimU' for inline snippets
` [PATCH 3/7] toolsoftrade: Employ new scheme for snippets of lock.c
` [PATCH 4/7] toolsoftrade: Employ new scheme for snippet of rwlockscale.c
` [PATCH 5/7] toolsoftrade: Employ new scheme for snippet of compiler barriers
` [PATCH 6/7] toolsoftrade: Employ new scheme for snippets of threadcreate.c
` [PATCH 7/7] count: Fix indent in count_lim_atomic.c
[PATCH] atomic_cmpxchg: Handle spurious failure of __atomic_compare_exchange_n in Power8 and ARMv8
2018-10-26 20:58 UTC (2+ messages)
[RFC PATCH] count_lim_sig: Add pair of smp_wmb() and smp_rmb()
2018-10-19 0:32 UTC (8+ messages)
[PATCH 0/6] count: Employ new code-snippet scheme (cont.)
2018-10-15 0:16 UTC (9+ messages)
` [PATCH 1/6] count: Employ new scheme for snippet of count_lim_app
` [PATCH 2/6] count: Fix uses of READ/WRITE_ONCE() in count_lim_app
` [PATCH 3/6] count: Employ new scheme for snippet of count_lim_atomic
` [PATCH 4/6] count: Employ new scheme for snippet of count_lim_sig
` [PATCH 5/6] count: READ/WRITE_ONCE() tweaks for count_lim_sig
` [PATCH 6/6] toolsoftrade: Proofread newly added sections
` [PATCH 7/6] count: Fix typo (missing \lnref)
[PATCH 0/5] count: Employ new code-snippet scheme (cont.)
2018-10-09 3:54 UTC (8+ messages)
` [PATCH 1/5] count: Employ new scheme for snippet of count_end and count_tstat
` [PATCH 2/5] count: Fix uses of READ/WRITE_ONCE()s in "
` [PATCH 3/5] count: Tweak counttorture.h to avoid segfault
` [PATCH 4/5] count: Employ new scheme for snippet of count_lim
` [PATCH 5/5] count: Fix uses of READ/WRITE_ONCE() in count_lim
` [PATCH 6/5] count: Fix typo (\lnlbl{} -> \lnref{})
Other architectures we can work on?
2018-10-07 14:45 UTC (7+ messages)
` Fwd: "
[PATCH] count: Employ new scheme for snippet of count_stat_eventual.c
2018-10-07 2:17 UTC (4+ messages)
[PATCH] toolsoftrade: Employ new scheme for snippet in newly added sections
2018-10-05 20:56 UTC (2+ messages)
[PATCH 1/2] count: Employ new scheme for snippet from count_stat.c
2018-10-04 3:40 UTC (6+ messages)
` [PATCH 2/2] count: Adjust type of variable 'counter' with code snippet
[PATCH] CodeSamples/Makefile: Add conditional for liburcu on Ubuntu Bionic
2018-10-04 3:32 UTC (2+ messages)
[PATCH] defer: Fix wrong code line
2018-10-02 4:12 UTC (2+ messages)
Question of usage of per_thread()
2018-10-02 4:00 UTC (4+ messages)
[PATCH 0/5] Misc updates
2018-10-01 15:34 UTC (9+ messages)
` [PATCH 1/5] CodeSamples: Exclude meta command lines in building api.h
` [PATCH 2/5] FAQ-BUILD.txt: Fix typo
` [PATCH 3/5] toolsoftrade: Fix typo DEFINE_PER_THREAD() -> DEFINE_PER_CPU()
` [PATCH 4/5] Remove workaround for Fedora 23 Tex Live bug
` [PATCH 5/5] Makefile: Remove rules for QC section
[PATCH] Require updating a2ping to 2.83p on older distos
2018-09-24 17:37 UTC (2+ messages)
[PATCH 0/9] Update code snippet extraction scheme
2018-09-23 21:44 UTC (11+ messages)
` [PATCH 1/9] fcvextract.pl: Use 'linelabel' env in extracted snippet
` [PATCH 2/9] Update build scripts to support code snippets other than 'C'
` [PATCH 3/9] Add scripts and recipes to work around restriction of herdtools7
` [PATCH 4/9] reorder_ltms.pl: Enable further labeling in litmus test snippet
` [PATCH 5/9] Exclude meta command lines in .litmus -> .litmus.herd conversion
` [PATCH 6/9] fcvextract.pl: Support 'style=' option and pass through other options
` [PATCH 7/9] Enable 'single' frame around inline code snippets
` [PATCH 8/9] toolsoftrade: Example of extraction of snippet from parallel.sh
` [PATCH 9/9] future/formalregress: Example of extraction of snippet from .litmus file
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox