Hi Paul,
In snippets of litmus tests you added recently uses "locations"
directive. It was not covered by reorder_ltms.pl.
This series enhances reorder_ltms.pl to add an option to
the meta command "\end[snippet]".
Now you can put C-RCU-remove.litmus and
C-RomanPenyanev-list-rcu-rr.litmus under CodeSamples/.
Patch #1 is the enhancement of reorder_ltms.pl.
Patch #2 adds C-RCU-remove.litmus in CodeSamples/formal/herd.
Note that I modified the choice of characters given to
the "commandchars=" option to avoid collision with characters
used in snippets.
Patch #3 adds recipe in Makefile to run the added tests by
"make run-herd7".
Patch #4 replaces the inline snippet code with converted one.
Patch #5 adds another RCU litmus test in CodeSamples/formal/herd.
Patch #6 imports snippet converted from above.
Patch #7 converts existing PPC IRIW litmus tests to new scheme
It also reduces the width of the snippets to fit in 2c column
width.
Patch #8 is a trivial typo fix.
I'm afraid commit logs in this series is not descriptive
enough, but hopefully the intention of the changes are evident.
Thanks, Akira
--
Akira Yokosawa (8):
reorder_ltms.pl: Add 'locationslabel=' option to \end[snippet]
CodeSamples/formal: Add C-RCU-remove.litmus
CodeSamples/formal/herd: Add recipe for native .litmus tests
formal/axiomatic: Import snippet from C-RCU-remove.litmus
CodeSamples/formal: Add C-RomanPenyanev-list-rcu-rr.litmus
formal/axiomatic: Import snippet from
C-RomanPenyanev-list-rcu-rr.litmus
formal/axiomatic: Convert snippets of IRIW tests to new scheme
formal/axiomatic: Fill in missing ')'
CodeSamples/formal/herd/C-RCU-remove.litmus | 27 +++
.../formal/herd/C-RomanPenyaev-list-rcu-rr.litmus | 47 +++++
CodeSamples/formal/herd/Makefile | 21 ++-
formal/axiomatic.tex | 201 +++++++--------------
utilities/reorder_ltms.pl | 15 ++
5 files changed, 164 insertions(+), 147 deletions(-)
create mode 100644 CodeSamples/formal/herd/C-RCU-remove.litmus
create mode 100644 CodeSamples/formal/herd/C-RomanPenyaev-list-rcu-rr.litmus
--
2.7.4
