Merge pull request #1202 from kbroch-rivosinc/fix-alloy-link

riscv · Jan 25, 2024 · 8a80834 · 8a80834
2 parents 97f0cf7 + 0221281
commit 8a80834
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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