summaryrefslogtreecommitdiff
path: root/lib/regfp.sail
AgeCommit message (Expand)Author
2020-11-19Add write tag primitiveBrian Campbell
2020-06-24Add tagged memory builtins to regfp.sailThomas Bauereiss
2020-02-21Add barriers to regfp.sail for full ARMv8Alasdair Armstrong
2020-02-03Add an __instr_announce builtin in regfp.sailAlasdair Armstrong
2020-02-03Update regfp.sail with ifetch changes from poly_mapping branchAlasdair Armstrong
2019-07-31Remove redundant ifdef and run SMT tests by defaultAlasdair 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-18Support DMB/DSB domainsShaked Flur
2019-05-17SMT: Finish adding all memory builtins from lib/regfp.sailAlasdair Armstrong
2019-05-14Add feature that allows functions to require type variables are constantAlasdair Armstrong
2019-05-13fix typo in excl_res externJon French
2019-04-18Parameterise memory read/write primitives by address lengthJon French
2019-04-12lib/regfp.sail: add explicit C binding for memory access functionsJon French
2019-03-14Merge branch 'sail2' into rmem_interpreterJon French
2019-03-13lib/regfp.sail: new standard intrinsics for triggering memory effectsJon French
2019-03-08Adds the DC and IC instructions to AArch64_small;Shaked Flur
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-22Added RISC-V fence.tsoShaked Flur
2018-10-24Interpreter, RISC-V: move memory actions to parts of the interpreter response...Jon French
2018-07-05restore missing RISC-V fence types in sail2; ignore io bits in fences more cl...Jon French
2018-06-21add PMP registers to CSR, fix buildJon French
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:38:59 +0000