diff options
author | Kevin Broch <kbroch@rivosinc.com> | 2024-01-24 17:18:39 -0800 |
---|---|---|
committer | Kevin Broch <kbroch@rivosinc.com> | 2024-01-24 17:18:39 -0800 |
commit | 02212816bb958891e92c61ec23765da4be7159f4 (patch) | |
tree | 1271662e5f5672442096d39682c26b7ef187bef6 /src/mm-alloy.adoc | |
parent | 97f0cf734ca244fe4cca8edbe366a34ad09e5f89 (diff) | |
download | riscv-isa-manual-02212816bb958891e92c61ec23765da4be7159f4.zip riscv-isa-manual-02212816bb958891e92c61ec23765da4be7159f4.tar.gz riscv-isa-manual-02212816bb958891e92c61ec23765da4be7159f4.tar.bz2 |
fix broken alloy link
relates to #1201
Signed-off-by: Kevin Broch <kbroch@rivosinc.com>
Diffstat (limited to 'src/mm-alloy.adoc')
-rw-r--r-- | src/mm-alloy.adoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mm-alloy.adoc b/src/mm-alloy.adoc index 93c0c41..1352fad 100644 --- a/src/mm-alloy.adoc +++ b/src/mm-alloy.adoc @@ -2,7 +2,7 @@ == Formal Axiomatic Specification in Alloy We present a formal specification of the RVWMO memory model in Alloy -(http://alloy.mit.edu). This model is available online at +(https://alloytools.org/). This model is available online at https://github.com/daniellustig/riscv-memory-model. The online material also contains some litmus tests and some examples of |