On Fri, Nov 30, 2018 at 07:10:15AM +0900, Akira Yokosawa wrote: > >From f07d05ca837a57e07f7a87bcbac2bf034905adab Mon Sep 17 00:00:00 2001 > From: Akira Yokosawa <akiyks@xxxxxxxxx> > Date: Fri, 30 Nov 2018 06:55:25 +0900 > Subject: [PATCH 0/4] Update snippets of litmus tests > > Hi Paul, > > RCU litmus tests recently added in "formal" did not compile > by klitmus7. Patch #1 is my attempt to manage them klitmus7 > ready. > > Patch #2 add recipe for klitmus7-ready tests. Such tests need > to be manually added in a list. > > In preparing Patch #3, I looked up your "litmus" repository > and found that comments on "exists" clause are actually allowed > in the form of "(* ... *)". Patch #3 updates labels embedded > in litmus tests. Patch #4 updates styleguide accordingly. > > Thanks, Akira Queued and pushed, thank you! And yes, I sometimes use existing litmus tests as reference manuals. Thanx, Paul > -- > Akira Yokosawa (4): > formal: Make RCU litmus tests klitmus7 ready > CodeSamples/formal/herd: Add recipe for klitmus7-ready tests > Use '(* ... *)' style comments in epilogue of litmus tests > styleguide: Loosen restriction on comment in litmus test > > CodeSamples/formal/herd/C-RCU-remove.litmus | 18 +++++--- > .../formal/herd/C-RomanPenyaev-list-rcu-rr.litmus | 28 ++++++++---- > .../formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus | 4 +- > CodeSamples/formal/herd/Makefile | 6 ++- > appendix/styleguide/styleguide.tex | 25 ++++------- > utilities/reorder_ltms.pl | 50 ++++++---------------- > 6 files changed, 57 insertions(+), 74 deletions(-) > > -- > 2.7.4 >
