diff options
author | Peter Sewell <Peter.Sewell@cl.cam.ac.uk> | 2024-04-27 11:43:11 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-27 11:43:11 +0100 |
commit | d44919dbd85ba9e8dd9d2e3dc8b344268c1f7325 (patch) | |
tree | 6dc9135e5ab647ba927cc03d27609a13cf80a51b | |
parent | ae04978e6456670ebdc588641f1d071cca7a1fb9 (diff) | |
download | sail-riscv-d44919dbd85ba9e8dd9d2e3dc8b344268c1f7325.zip sail-riscv-d44919dbd85ba9e8dd9d2e3dc8b344268c1f7325.tar.gz sail-riscv-d44919dbd85ba9e8dd9d2e3dc8b344268c1f7325.tar.bz2 |
Update README.md
Signed-off-by: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -24,7 +24,7 @@ in the sail branch of this [risc-v-isa-manual repository](https://github.com/rem The process to perform this inclusion is explained [here](https://github.com/rems-project/riscv-isa-manual/blob/sail/README.SAIL). There is also the newer [Sail AsciiDoctor documentation support for RISC-V](https://github.com/Alasdair/asciidoctor-sail/blob/master/doc/built/sail_to_asciidoc.pdf). -This is one of [several formal models](https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/comparison_table.md) that were compared within the +This is one of [several formal models](https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/comparison_table.md) that were compared within the 2019 [RISC-V ISA Formal Spec Public Review](https://github.com/riscv/ISA_Formal_Spec_Public_Review). |