Skip to content

Commit

Permalink
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/vector-crypto.adoc
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 5bac0c2

Please sign in to comment.