summaryrefslogtreecommitdiff
path: root/aarch64/mono
AgeCommit message (Expand)Author
2018-05-17Merge branch 'cheri-mono' into sail2Brian Campbell
2018-05-17Clean up MIPS for HOL4 a littleBrian Campbell
2018-05-11Add Isabelle snapshot of AArch64 with Brian's monomorphisationThomas Bauereiss
2018-05-11Temporary hacks for monomorphisationBrian Campbell
2018-05-04Start updating monomorphisationBrian Campbell
2018-04-20Fix combined sign-extend-slice operationBrian Campbell
2018-04-19Gloss over UInt/unsigned name difference in monomorphisationBrian Campbell
2018-04-18Add some lemmas about bitvectorsThomas Bauereiss
2018-04-18Move a few printing functions to sail_values.lemThomas Bauereiss
2018-04-13Update aarch64 no vector monomorphisation source for current type checkerBrian Campbell
2018-03-22Tune Lem pretty-printingThomas Bauereiss
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-03-02Add full aarch64_no_vector monomorphisation demoBrian Campbell
2018-02-26Last of the aarch64_no_vector monomorphisation replacementsBrian Campbell
2018-02-21More aarch64 changes used in monomorphisationBrian Campbell
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-03-17 01:54:50 +0000