summaryrefslogtreecommitdiff
path: root/lib/coq/Makefile
AgeCommit message (Collapse)Author
2020-06-10Prepare Coq library for packagingBrian Campbell
- 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
2020-04-10Update path for newer versions of BBV Coq libraryThomas Bauereiss
2019-11-20Coq: port a couple of definitions from Isabelle for address translation specBrian Campbell
2019-07-25Basic port of proof machinery to CoqBrian Campbell
2019-04-10Coq: update prompt monad to match the Lem, and port the state monad/liftingBrian Campbell
NB: requires minor changes in the models
2019-01-22Don't hardcode location of BBV libraryThomas Bauereiss
2018-09-13Coq: real built-ins for AArch64Brian Campbell
2018-08-10Coq: add some of string libraryBrian Campbell
2018-07-07Coq: bbv have reorganised their repositoryBrian Campbell
2018-06-19Coq: library name update (as we did for Lem)Brian Campbell
2018-05-24Help launch coqideBrian Campbell
2018-05-24Import (rather hacky) Coq Sail librariesBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 00:56:00 +0000