summaryrefslogtreecommitdiff
path: root/aarch64_small/prelude.sail
AgeCommit message (Expand)Author
2019-08-01Merge branch 'sail2' into separate_bvAlasdair Armstrong
2019-07-18Add a feature flag for barrier type changeAlasdair Armstrong
2019-07-18Update aarch64_small to build with new barriersAlasdair Armstrong
2019-07-16Fix all remaining tests for this branchAlasdair
2019-05-13aarch64_small: correct cast_bool_bit/cast_bit_bool functionsJon French
2019-05-13aarch64_small: fix interpreter primops in preludeJon French
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2019-03-04cleanupChristopher Pulte
2019-03-04more porting of armv8 from sail1 to sail2Christopher Pulte
2019-03-04moreChristopher 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-05-04 14:43:59 +0000