From d44919dbd85ba9e8dd9d2e3dc8b344268c1f7325 Mon Sep 17 00:00:00 2001 From: Peter Sewell Date: Sat, 27 Apr 2024 11:43:11 +0100 Subject: [PATCH] Update README.md Signed-off-by: Peter Sewell --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b4cfc2d11..62595c423 100644 --- a/README.md +++ b/README.md @@ -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).