From 2d67e8592d8d29ff100e5a819635779d65c04193 Mon Sep 17 00:00:00 2001 From: Kersten Richter Date: Thu, 9 Jan 2025 15:14:44 -0600 Subject: [PATCH] Last of broken Sail links (#1794) * more broken sail Signed-off-by: Kersten Richter * Update scalar-crypto.adoc Signed-off-by: Kersten Richter --------- Signed-off-by: Kersten Richter --- src/scalar-crypto.adoc | 4 ++-- src/vector-crypto.adoc | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/scalar-crypto.adoc b/src/scalar-crypto.adoc index bced2eb71..26b0bef4d 100644 --- a/src/scalar-crypto.adoc +++ b/src/scalar-crypto.adoc @@ -120,7 +120,7 @@ in the specification. This supporting code is listed in <>. The -link:https://github.com/rems-project/sail/blob/sail2/manual.pdf[Sail Manual] +link:https://alasdair.github.io/manual.html[Sail Manual] is recommended reading in order to best understand the code snippets. Note that this document contains only a subset of the formal model: refer to @@ -5343,7 +5343,7 @@ https://github.com/riscv/riscv-crypto This section contains the supporting Sail code referenced by the instruction descriptions throughout the specification. The -link:https://github.com/rems-project/sail/blob/sail2/manual.pdf[Sail Manual] +link:https://alasdair.github.io/manual.html[Sail Manual] is recommended reading in order to best understand the supporting code. [source,sail] diff --git a/src/vector-crypto.adoc b/src/vector-crypto.adoc index bf07befb5..9b3129067 100644 --- a/src/vector-crypto.adoc +++ b/src/vector-crypto.adoc @@ -4565,7 +4565,7 @@ OP-V (0x57) This section contains the supporting Sail code referenced by the instruction descriptions throughout the specification. The -link:https://github.com/rems-project/sail/blob/sail2/manual.pdf[Sail Manual] +link:https://alasdair.github.io/manual.html[Sail Manual] is recommended reading in order to best understand the supporting code. [source,sail]