diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -19,10 +19,6 @@ some Sail specifications and related tools. * The Sail source code (in [src/](src/)) -* A Sail specification of a MIPS ISA (in [mips/](mips/)) - -* A Sail specification of the CHERI MIPS ISA (in [cheri/](cheri/)) - * A Sail specification of ARMv8.3-A generated from ARM's publically released ASL specification (in [aarch64/](aarch64/)) @@ -40,6 +36,9 @@ hand-written fragment of ARMv8-A, but these are currently not up-to-date with the latest version of Sail, which is the (default) sail2 branch on Github. +The mips and cheri-mips specifications that used to be here have moved to +https://github.com/CTSRD-CHERI/sail-cheri-mips . + OPAM Installation ================= |