diff options
| author | Ramana Kumar | 2018-05-18 11:00:42 +0100 |
|---|---|---|
| committer | Ramana Kumar | 2018-05-18 11:01:20 +0100 |
| commit | 839e0ac38379957ba9dd3981592d8e6bdcccf5ea (patch) | |
| tree | f57677efce9b01fc7f1ae0f76b330b1c74985620 /snapshots/hol4/README.md | |
| parent | 760c6bca823dc4038f905e7c4a3d935fc0020f15 (diff) | |
Update HOL4 snapshot
Diffstat (limited to 'snapshots/hol4/README.md')
| -rw-r--r-- | snapshots/hol4/README.md | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/snapshots/hol4/README.md b/snapshots/hol4/README.md index 2a8208c9..5ce3b5cb 100644 --- a/snapshots/hol4/README.md +++ b/snapshots/hol4/README.md @@ -1,13 +1,12 @@ # 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. These are all -accepted by the current source repository version of HOL4 (from -roughly 7th May 2018), although we have not done any further testing -of them yet. +CHERI and RISC-V models, translated to HOL4 via Lem. -They were generated using the `cheri-mono` branch of Sail, and the -`hol-with-extra-types` branch of Lem, which currently contain some -changes that are not yet ready of the main branches of these projects. +Generated using the following repository versions: +HOL4: (master) bb9eaf3448d2c44c84c5d06849d0dc73db23670c, 17 May 2018 +Lem: (master) 55cb119f5b9e9feae8ed02c1b63ef38360eff3a1, 17 May 2018 +Sail: (sail2) b08f0e8538081d8efbbbd6431e739a0b83307678, 17 May 2018 -11th May 2018. +The theories are accepted by HOL4, but we have not done any +further testing of them yet. |