Hi Paul,
This is a followup patch set relative to the workaround patch
in this mail thread ("formal/dyntickrcu: Mitigate ugliness around
tall inline snippets").
Looks like you have not pushed it yet, though.
It turns out that I misunderstood the working of \AtBeginEnvironment{}
command, and patch #1 fixes the way to redefine VerbatimN environment.
I wanted to add a Fixes: tag, but I don't have the commit id, so
I put a stub of "xxxxxxxxxxxx" in the change log. Can you replace it
with the actual commit id?
Patches #2 and #3 add references to the git commits of the fixes to
bugs in preemptive RCU found by verification. The actual changes were
a little bit different from what are presented in inline snippets,
but I left the snippets as are. As they are more than a decade
old, adding references should help the context look more real.
Thanks, Akira
--
Akira Yokosawa (3):
formal/dyntickrcu: Fix the way to redefine VerbatimN
RCU.bib: Add entries of git commits of dyntickrcu fixes
formal/dyntickrcu: Cite git commits of dyntickrcu fixes
bib/RCU.bib | 22 ++++++++++++++++++++++
formal/dyntickrcu.tex | 12 ++++--------
perfbook.tex | 5 ++++-
3 files changed, 30 insertions(+), 9 deletions(-)
--
2.17.1
