sail/snapshots/hol4, branch sail2 Formal specification language for ISAs Note that a suitable HOL version is required 2018-07-11T12:58:25+00:00 Brian Campbell 2018-07-11T12:58:25+00:00 2b9eace6110da21a915f594a0b6f664991d9cabd 






Update Isabelle and HOL snapshots
2018-07-11T12:27:46+00:00

Thomas Bauereiss

2018-07-11T12:22:18+00:00

e2289d8a86ff57881e1008b42a11409974254b69












Manage expectations about processing time for HOL4 models
2018-07-11T10:13:02+00:00

Brian Campbell

2018-07-11T10:13:02+00:00

62d81f160dc9b1673c946a8bba66aff7fc835a95












Update HOL4 snapshot with Thomas' fixes
2018-07-11T10:04:38+00:00

Brian Campbell

2018-07-11T10:04:38+00:00

7198c68593a4802380bd80a65a1cf199c9ba74c8












HOL4 snapshot update
2018-07-10T21:45:54+00:00

Brian Campbell

2018-07-10T21:45:54+00:00

5b9a669cb26d4d2fcee44f17f0328ba7035d2812












Add auxiliary script to Holmakefile
2018-05-31T12:41:45+00:00

Ramana Kumar

2018-05-31T12:41:45+00:00

2a66ef3b242af924099d38cda38c2e5c771616fd












Add some HOL4 termination proofs for state.lem
2018-05-31T12:35:44+00:00

Ramana Kumar

2018-05-31T12:34:50+00:00

f1c72a51149e302422738bf7c543f9a1ab45b38b












Add sail_valuesAuxiliary rw theorems to computeLib
2018-05-18T10:42:56+00:00

Ramana Kumar

2018-05-18T10:42:56+00:00

875c258194789bf062d68be91dbd6e681fc77c9d












Improve sail-heap dependencies in the Holmakefile
2018-05-18T10:16:39+00:00

Ramana Kumar

2018-05-18T10:16:39+00:00

61e8f232ed7835039d5075c6fc1adb6cec051fd2












Update HOL4 snapshot
2018-05-18T10:01:20+00:00

Ramana Kumar

2018-05-18T10:00:42+00:00

839e0ac38379957ba9dd3981592d8e6bdcccf5ea