sail/lib/hol/Holmakefile, branch sail2 Formal specification language for ISAs 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












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

Ramana Kumar

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

2a66ef3b242af924099d38cda38c2e5c771616fd












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

Ramana Kumar

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

61e8f232ed7835039d5075c6fc1adb6cec051fd2












Add handwritten script to Holmakefile
2018-05-16T17:11:00+00:00

Brian Campbell

2018-05-16T17:11:00+00:00

9bed157a93741a62a3b8f550bfeeef2a049dc301












Clean up HOL library properly
2018-05-10T13:51:43+00:00

Brian Campbell

2018-05-10T13:51:43+00:00

1f9418d9fe49dc671964fc826a2a8847e3255c9a












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)