summaryrefslogtreecommitdiff
path: root/aarch64/mono
AgeCommit message (Expand)Author
2018-08-28Adapt theory imports for Isabelle 2018Thomas Bauereiss
2018-07-10Make HOL build properly again for all of the modelsBrian Campbell
2018-07-10Update HOL setupBrian Campbell
2018-07-10Another AArch64 patchThomas Bauereiss
2018-07-10Aarch64 mono script updateBrian Campbell
2018-07-09Patch some potential uses of uninitialised variables in AArch64Thomas Bauereiss
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-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-01-31 08:09:14 +0000