sail/lib/coq/Makefile, branch sail2Formal specification language for ISAsPrepare Coq library for packaging2020-06-10T20:38:06+00:00Brian Campbell2020-06-10T20:33:09+00:00d2b4a7a1d654cf8f315e2471b1470506255f3d68
- rename files to get rid of prefix
- use -Q to get package name right
- add Base.v to make package imports simpler
- add opam file for coq package
- rename files to get rid of prefix
- use -Q to get package name right
- add Base.v to make package imports simpler
- add opam file for coq package
Update path for newer versions of BBV Coq library2020-04-10T12:22:11+00:00Thomas Bauereiss2020-03-27T18:06:26+00:00550db27f8c27e03ecc4defc804c8f360af64fbd6
Coq: port a couple of definitions from Isabelle for address translation spec2019-11-20T16:49:07+00:00Brian Campbell2019-11-20T16:48:44+00:00e9949e5c877d0cfd7be5c383f6f2871fb01d828b
Basic port of proof machinery to Coq2019-07-25T13:56:29+00:00Brian Campbell2019-07-25T13:56:19+00:00daff10c33218ecd4044c5006ee47686d8d2458de
Coq: update prompt monad to match the Lem, and port the state monad/lifting2019-04-10T09:56:16+00:00Brian Campbell2019-04-10T09:53:06+00:0057443173923e87f33713c99dbab9eba7e3db0660
NB: requires minor changes in the models
NB: requires minor changes in the models
Don't hardcode location of BBV library2019-01-22T13:30:46+00:00Thomas Bauereiss2019-01-22T13:30:24+00:00d7c68715687a4a65129cafaa10b9c0e0b89c5897
Coq: real built-ins for AArch642018-09-13T14:12:45+00:00Brian Campbell2018-09-13T14:12:28+00:0061abeccf6c37169bc22a1674897caf482195857f
Coq: add some of string library2018-08-10T17:37:51+00:00Brian Campbell2018-08-10T17:37:24+00:003f2205e552d850c5eb128f4763ea0e4016e43ad2
Coq: bbv have reorganised their repository2018-07-07T15:41:25+00:00Brian Campbell2018-07-07T15:37:00+00:005ee9dfaf970de672aa379ea466bf48292bcd41cf
Coq: library name update (as we did for Lem)2018-06-19T17:40:57+00:00Brian Campbell2018-06-19T17:40:57+00:00e23bcabaedd7ce963fb356f0108bb052035978ed