summaryrefslogtreecommitdiff
path: root/lib/hol
AgeCommit message (Expand)Author
2021-03-24Fix lemma for current HOL4Brian Campbell
2019-11-14Update location of sail2_instr_kinds.lemRobert Norton
2019-04-25More read/write function updatesBrian Campbell
2019-02-08Add missing functions to HOL monad wrapperThomas Bauereiss
2019-02-02Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2019-02-01Tweak HOL LEM_DIR to match riscv makefileBrian Campbell
2019-02-01Make hol libraries use opam Lem library by defaultBrian Campbell
2019-01-31Adapt HOL library to monad changesThomas Bauereiss
2018-08-02Update a few prover gitignoresBrian Campbell
2018-07-10Update HOL setupBrian Campbell
2018-07-09Simplify treating of undefined_bool in Lem libraryThomas Bauereiss
2018-05-31Add auxiliary script to HolmakefileRamana Kumar
2018-05-31Add some HOL4 termination proofs for state.lemRamana Kumar
2018-05-18Add sail_valuesAuxiliary rw theorems to computeLibRamana Kumar
2018-05-18Improve sail-heap dependencies in the HolmakefileRamana Kumar
2018-05-17Use an intermediate base_monad type alias in Lem,Brian Campbell
2018-05-16Add handwritten script to HolmakefileBrian Campbell
2018-05-16More targeted gitignore for HOL4Brian Campbell
2018-05-16Termination proofs and lemmata for sail_values holRamana Kumar
2018-05-15Make all of Sail HOL libraries, not just the base heapBrian Campbell
2018-05-10RISC-V in HOL4Brian Campbell
2018-05-10Clean up HOL library properlyBrian Campbell
2018-05-07HOL script generation for library and CHERIBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:06:52 +0000