From 70732078ff8f8df71db3919d8ad397bd2a0c3a03 Mon Sep 17 00:00:00 2001 From: Kersten Richter Date: Wed, 8 Jan 2025 11:19:17 -0600 Subject: [PATCH] Update vector-crypto.adoc https://github.com/riscv/riscv-isa-manual/issues/1718 Signed-off-by: Kersten Richter --- src/vector-crypto.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vector-crypto.adoc b/src/vector-crypto.adoc index f1a32930d..bf07befb5 100644 --- a/src/vector-crypto.adoc +++ b/src/vector-crypto.adoc @@ -111,11 +111,11 @@ 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. Also, the link:https://github.com/billmcspadden-riscv/sail/blob/cookbook_br/cookbook/doc/TheSailCookbook_Complete.pdf[The Sail Programming Language: A Sail Cookbook] -is a good reference that is in the process of being written. +is a good reference. For the latest RISC-V Sail model, refer to the formal model Github