summaryrefslogtreecommitdiff
path: root/lib/coq/Sail2_string.v
AgeCommit message (Expand)Author
2020-06-10Prepare Coq library for packagingBrian Campbell
2020-01-17Coq: add hex_strBrian Campbell
2019-11-29Coq: switch to boolean predicates for Sail-type propertiesBrian Campbell
2019-03-05Coq 8.9 compatibility fixBrian Campbell
2019-03-01Coq: some library compatibility changesBrian Campbell
2018-12-17Adapt Coq and termination measure support to typechecker changesBrian Campbell
2018-10-22Update Coq patch for RISC-V, add string_take to Coq libraryBrian Campbell
2018-09-19Coq: track changes elsewhereBrian Campbell
2018-09-06Coq: fill in a few more RISC-V axiomsBrian Campbell
2018-09-06Coq: more string handlingBrian Campbell
2018-08-13Coq: more strings for RISC-VBrian Campbell
2018-08-10Coq: add some of string libraryBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 08:32:03 +0000