On Thu, Nov 01, 2018 at 12:08:02AM +0900, Akira Yokosawa wrote: > 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. They should do. I queued these and pushed them, thank you! Thanx, Paul > 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 >
