From 02212816bb958891e92c61ec23765da4be7159f4 Mon Sep 17 00:00:00 2001 From: Kevin Broch Date: Wed, 24 Jan 2024 17:18:39 -0800 Subject: fix broken alloy link relates to #1201 Signed-off-by: Kevin Broch --- src/mm-alloy.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mm-alloy.adoc') 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 -- cgit v1.1