summaryrefslogtreecommitdiff
path: root/cheri/cheri_prelude_256.sail
AgeCommit message (Expand)Author
2018-03-06finish port of cheri128 spec. to sail2.Robert Norton
2018-03-02cheri tests expect reserved permission bits to be initialised to one.Robert Norton
2018-03-01Add support for read_tag and write_tag in sail_lib.ml. and support for intial...Robert Norton
2018-03-01cheri wip.Robert Norton
2017-11-30Merge branch 'master' into experimentsAlasdair Armstrong
2017-11-07Declare prelude functions as externThomas Bauereiss
2017-11-01workaound for another odd interpreter error where top level let variable got ...Robert Norton
2017-10-23cheri: Null capability should have maximum length, because in cheri128 we wan...Robert Norton
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-08-24Fix some bugs related to the CHERI specThomas Bauereiss
2017-05-26add support for the new ccall selector 1 implementation that directly unseals...Robert Norton
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ...Robert Norton
2017-02-03fix headersPeter Sewell
2017-01-25fix typo in c256 capRegToCapStructRobert Norton
2017-01-25merge cheri 256 and 128 together factoring out differing parts into separate ...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-05 10:56:13 +0000