summaryrefslogtreecommitdiff
path: root/aarch64_small
AgeCommit message (Expand)Author
2019-06-06Fix aarch64_small makefileAlasdair Armstrong
2019-06-06Add an option to pre-compile the axiomatic model for SMTAlasdair Armstrong
2019-06-06Update aarch64_small hgen filesAlasdair Armstrong
2019-06-04Make sure aarch64_small can generate Jib for SMTAlasdair Armstrong
2019-05-13aarch64_small: correct cast_bool_bit/cast_bit_bool functionsJon French
2019-05-13aarch64_small: convert memory access functions to use sail2 primitivesJon French
2019-05-13aarch64_small: remove spurious extra declaration of _rPCJon French
2019-05-13aarch64_small: convert armv8_extras_embed.lem to new types etcJon French
2019-05-13aarch64_small: extern-ify and implement TMCommitEffect and SCTLR converterJon French
2019-05-13aarch64_small: fix interpreter primops in preludeJon French
2019-05-13aarch64_small: sort out types and names in hgen filesJon French
2019-05-13aarch64_small: move around Unreachable fns to sort dependency issueJon French
2019-05-13aarch64_small: correct a couple of incorrect effectsJon French
2019-05-13aarch64_small: add to Makefile parts for RMEMJon French
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2019-03-08wibShaked Flur
2019-03-08Adds the DC and IC instructions to AArch64_small;Shaked Flur
2019-03-05Add missing comma in armV8.sailAlasdair Armstrong
2019-03-05Add Unallocated to the gen filesBen Simner
2019-03-04cleanupChristopher Pulte
2019-03-04last bit of sail1 to sail2 portingChristopher Pulte
2019-03-04more sail1-to-sail2 portingChristopher Pulte
2019-03-04more porting of armv8 from sail1 to sail2Christopher Pulte
2019-03-04moreChristopher Pulte
2019-03-02moreChristopher Pulte
2019-03-02moreChristopher Pulte
2019-03-02moreChristopher Pulte
2019-03-01more progressChristopher Pulte
2019-02-28more progressChristopher Pulte
2019-02-13fixesChristopher Pulte
2019-02-13small progressChristopher Pulte
2019-02-12checking in in-progress translation of Shaked's handwritten sail1 ARM model t...Christopher Pulte
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:41:40 +0000