>From c7c9ba9496cb97f664881935937d733f93b1e7bf Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Wed, 16 Nov 2016 00:08:29 +0900
Subject: [PATCH 1/3] formal: Promote \OriginallyPublieshed macro to Chapter
This should have been done in commit 87a645d2aa0b ("Promote
formal-methods appendix to a chapter.") three years ago.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/formal.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/formal.tex b/formal/formal.tex
index 8335978..e66300c 100644
--- a/formal/formal.tex
+++ b/formal/formal.tex
@@ -6,7 +6,7 @@
\Epigraph{Beware of bugs in the above code; I have only proved it correct,
not tried it.}{\emph{Donald Knuth}}
-\OriginallyPublished{Appendix}{chp:formal:Formal Verification}{Formal Verification}{Linux Weekly News}{PaulEMcKenney2007QRCUspin,PaulEMcKenney2008dynticksRCU,PaulEMcKenney2011ppcmem}
+\OriginallyPublished{Chapter}{chp:formal:Formal Verification}{Formal Verification}{Linux Weekly News}{PaulEMcKenney2007QRCUspin,PaulEMcKenney2008dynticksRCU,PaulEMcKenney2011ppcmem}
Parallel algorithms can be hard to write, and even harder to debug.
Testing, though essential, is insufficient, as fatal race conditions
--
2.7.4
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
