sail/lib/hol, branch sail2 Formal specification language for ISAs Fix lemma for current HOL4 2021-03-24T18:11:08+00:00 Brian Campbell 2021-03-24T18:11:08+00:00 1cb28eeb9289624b6f187705fe20e6176ccf1406 (should also work for older versions) 
(should also work for older versions)
Update location of sail2_instr_kinds.lem 2019-11-14T17:06:57+00:00 Robert Norton 2019-11-14T17:02:07+00:00 c4a5c2526259676cadb9b66d3a9d37021e9fd3d8 






More read/write function updates
2019-04-25T16:13:29+00:00

Brian Campbell

2019-04-25T16:13:29+00:00

911153ffefdfb090557c6dfcc5a5143419c34f56












Add missing functions to HOL monad wrapper
2019-02-08T18:19:47+00:00

Thomas Bauereiss

2019-02-08T18:04:51+00:00

ad868ef0ad22a78021a5de91073416f69e8163d3

Also make the rewriter keep failed assertions in output when pruning
blocks.





Also make the rewriter keep failed assertions in output when pruning
blocks.







Merge remote-tracking branch 'origin/sail2' into asl_flow2
2019-02-02T00:10:27+00:00

Alasdair

2019-02-02T00:10:27+00:00

38befd6856101fb7a7a4b49dcb0306dc9dd2f64f












Tweak HOL LEM_DIR to match riscv makefile
2019-02-01T14:28:30+00:00

Brian Campbell

2019-02-01T14:28:30+00:00

8fa50e9e2fc4752e9c7e14b59ad0c749f56914b4












Make hol libraries use opam Lem library by default
2019-02-01T12:25:18+00:00

Brian Campbell

2019-02-01T11:57:18+00:00

2bb0bc45b6aa4f02b4e88d14a82baa64747cd483












Adapt HOL library to monad changes
2019-01-31T14:41:47+00:00

Thomas Bauereiss

2019-01-31T14:41:47+00:00

6070a0775d61a1551b8e2c1ca2ff7e39f2ba32f4












Update a few prover gitignores
2018-08-02T17:16:55+00:00

Brian Campbell

2018-08-02T10:52:04+00:00

5980711d118ad6d0c28644be605447c3dc82be64












Update HOL setup
2018-07-10T13:06:48+00:00

Brian Campbell

2018-07-10T13:05:36+00:00

adadda8dfc80d0b7e6a967ceeda98624198800c1