diff options
Diffstat (limited to 'snapshots/hol4/README.md')
| -rw-r--r-- | snapshots/hol4/README.md | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/snapshots/hol4/README.md b/snapshots/hol4/README.md index 5ce3b5cb..5ce37726 100644 --- a/snapshots/hol4/README.md +++ b/snapshots/hol4/README.md @@ -1,12 +1,5 @@ # Snapshot of HOL4 output for Sail CHERI and RISC-V models These theories are a snapshot of the generated files for the Sail -CHERI and RISC-V models, translated to HOL4 via Lem. - -Generated using the following repository versions: -HOL4: (master) bb9eaf3448d2c44c84c5d06849d0dc73db23670c, 17 May 2018 -Lem: (master) 55cb119f5b9e9feae8ed02c1b63ef38360eff3a1, 17 May 2018 -Sail: (sail2) b08f0e8538081d8efbbbd6431e739a0b83307678, 17 May 2018 - -The theories are accepted by HOL4, but we have not done any -further testing of them yet. +MIPS, CHERI, RISC-V, and Aarch64 models, translated to HOL4 via Lem. +They only require HOL4; the necessary Lem library files are included. |