From: SeongJae Park <sj38.park@xxxxxxxxx>
A sentence in spinhint.tex is mentioning Jade Alglave's 2013 paper as
recent one. It's a decade ago, so drop the word, 'recent'.
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/spinhint.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index b740384d..9bb5f574 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -1178,7 +1178,7 @@ easier to understand.
Is QRCU really correct?
We have a Promela-based mechanical proof and a by-hand proof that both
say that it is.
-However, a recent paper by \pplsur{Jade}{Alglave} et al.~\cite{JadeAlglave2013-cav}
+However, a paper by \pplsur{Jade}{Alglave} et al.~\cite{JadeAlglave2013-cav}
says otherwise (see Section~5.1 of the paper at the bottom of page~12).
Which is it?
--
2.17.1
