From c3a2ac571332cdf8965f656a194c15de729d82a8 Mon Sep 17 00:00:00 2001
From: Brooks Davis <brooks@one-eyed-alien.net>
Date: Mon, 14 Aug 2023 12:05:27 -0700
Subject: [PATCH] ISAv9 will be UCAM-CL-TR-987.

---
 app-versions.tex        | 2 +-
 chap-intro.tex          | 4 ++--
 cheri-version-table.tex | 2 +-
 cheri.bib               | 6 +++---
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/app-versions.tex b/app-versions.tex
index aba6bac2..cd2ea7b2 100644
--- a/app-versions.tex
+++ b/app-versions.tex
@@ -176,7 +176,7 @@ \section{CHERI ISA Specification Version Summary}
   We have added a chapter on practical CHERI microarchitecture.
   CHERI ISAv8 is synchronized with Arm Morello.
 
-\item[CHERI ISAv9 / UCAM-CL-TR-XXX - 9.0 - November 2023]
+\item[CHERI ISAv9 / UCAM-CL-TR-987 - 9.0 - November 2023]
   CHERI-RISC-V has replaced CHERI-MIPS as the primary reference
   platform, and CHERI-MIPS has been removed from the specification.
   CHERI architectures now always use merged register files where
diff --git a/chap-intro.tex b/chap-intro.tex
index 895870f0..64d06bfd 100644
--- a/chap-intro.tex
+++ b/chap-intro.tex
@@ -986,9 +986,9 @@ \section{Publications}
 Each has had multiple versions reflecting evolution of our approach:
 
 \begin{itemize}
-\item This report, the \citetitleit{UCAM-CL-TR-XXX}~\cite{UCAM-CL-TR-850, UCAM-CL-TR-864,
+\item This report, the \citetitleit{UCAM-CL-TR-987}~\cite{UCAM-CL-TR-850, UCAM-CL-TR-864,
   UCAM-CL-TR-876, UCAM-CL-TR-891, UCAM-CL-TR-907, UCAM-CL-TR-927,
-  UCAM-CL-TR-951, UCAM-CL-TR-XXX},
+  UCAM-CL-TR-951, UCAM-CL-TR-987},
   describes the CHERI ISA, both as a high-level, software-facing
   model and the specific mapping into multiple instruction sets.
   Successive versions have introduced improved C-language support, support for
diff --git a/cheri-version-table.tex b/cheri-version-table.tex
index 83392d77..9a086a91 100644
--- a/cheri-version-table.tex
+++ b/cheri-version-table.tex
@@ -36,7 +36,7 @@
   & & MMU-assisted load-side-barrier revocation \\
   & & Richer microarchitectural exploration \\
   & & Synchronized with Arm Morello architecture~\cite{arm-morello} \\
-  2023 & ISAv9~\cite{UCAM-CL-TR-XXX} & CHERI-RISC-V as primary
+  2023 & ISAv9~\cite{UCAM-CL-TR-987} & CHERI-RISC-V as primary
   reference platform \\
   & & CHERI-MIPS removed \\
   & & Capabilities stored in general-purpose registers \\
diff --git a/cheri.bib b/cheri.bib
index 61c2640f..33530d68 100644
--- a/cheri.bib
+++ b/cheri.bib
@@ -16737,7 +16737,7 @@ @TechReport{UCAM-CL-TR-984
   number = 	 {UCAM-CL-TR-984}
 }
 
-@TechReport{UCAM-CL-TR-XXX,
+@TechReport{UCAM-CL-TR-987,
   author =	 {Watson, Robert N. M. and
 		  Neumann, Peter G. and
 		  Woodruff, Jonathan and
@@ -16770,8 +16770,8 @@ @TechReport{UCAM-CL-TR-XXX
   institution =	 {University of Cambridge, Computer Laboratory},
   address =	 {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
 		  phone +44 1223 763500},
-  number =	 {UCAM-CL-TR-XXX},
+  number =	 {UCAM-CL-TR-987},
   year =	 2023,
   month =	 nov,
-  url =		 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-XXX.pdf}
+  url =		 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.pdf}
 }