sail/lib/hol/Makefile, branch sail2 Formal specification language for ISAs Update location of sail2_instr_kinds.lem 2019-11-14T17:06:57+00:00 Robert Norton 2019-11-14T17:02:07+00:00 c4a5c2526259676cadb9b66d3a9d37021e9fd3d8 






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












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

Brian Campbell

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

adadda8dfc80d0b7e6a967ceeda98624198800c1












Make all of Sail HOL libraries, not just the base heap
2018-05-15T10:57:29+00:00

Brian Campbell

2018-05-15T10:57:29+00:00

c70ca047daf5c833fdc9b1a44efe21e07492aabf












HOL script generation for library and CHERI
2018-05-07T13:52:04+00:00

Brian Campbell

2018-05-07T13:52:04+00:00

293d317455c72a3a5f5707645a03f2b4c56617ff

(still needs some Lem work on types before it will be useful)





(still needs some Lem work on types before it will be useful)