summaryrefslogtreecommitdiff
path: root/aarch64_small/armV8.sail
AgeCommit message (Expand)Author
2020-11-25Fix BLRShaked Flur
2020-11-25Make WFE, SEV and SEVL effectively NOPsShaked Flur
2019-06-20Tweak two aarch64_small definitions to help monomorphisationBrian Campbell
2019-05-13aarch64_small: extern-ify and implement TMCommitEffect and SCTLR converterJon French
2019-05-13aarch64_small: correct a couple of incorrect effectsJon 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-01more 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-01-31 10:32:12 +0000