ISAv9 will be UCAM-CL-TR-987.

CTSRD-CHERI · Aug 14, 2023 · c3a2ac5 · c3a2ac5
1 parent 1844df5
commit c3a2ac5
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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}
 }