summaryrefslogtreecommitdiff
path: root/aarch64/mono/aarch64_extras.lem
AgeCommit message (Expand)Author
2018-07-09Simplify treating of undefined_bool in Lem libraryThomas Bauereiss
2018-06-28Fix build of Aarch64_mono.thyThomas Bauereiss
2018-06-28Add patches to (monomorphised) AArch64Thomas Bauereiss
2018-05-21Get Aarch64 exported to HOL4Brian Campbell
2018-05-18Clean up aarch64_extras.lemThomas Bauereiss
2018-05-11Add Isabelle snapshot of AArch64 with Brian's monomorphisationThomas Bauereiss
2018-04-18Add some lemmas about bitvectorsThomas Bauereiss
2018-04-18Move a few printing functions to sail_values.lemThomas Bauereiss
2018-03-22Tune Lem pretty-printingThomas Bauereiss
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-02-21Add more bitvector sizes for aarch64Brian Campbell
2018-02-16Add alternative definitions of aarch64 functions for monomorphisationBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:20:48 +0000