summaryrefslogtreecommitdiff
path: root/cheri/cheri_prelude_128.sail
AgeCommit message (Expand)Author
2017-11-07Declare prelude functions as externThomas Bauereiss
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-05-26add support for the new ccall selector 1 implementation that directly unseals...Robert Norton
2017-05-10Further to Thomas's commit remove the duplicate declarations of max_otype and...Robert Norton
2017-04-27avoid out of bounds indicies in cheri128 decompression functions.Robert Norton
2017-04-27remove undefined value from cheri 128 spec. The ocaml shallow embedding canno...Robert Norton
2017-04-27fix incorrect vector index in cheri128 spec. Should ideally have been caught ...Robert Norton
2017-04-20work around ocaml shallow embedding problem with matching on big_ints by rest...Robert Norton
2017-02-20slight refactoring of the fast representable bounds check to aid understandin...Robert Norton
2017-02-17use fast representable check for csetoffset as well as cincoffset.Robert Norton
2017-02-08Implement fast representable bounds check as used on FPGA (cincoffset only so...Robert Norton
2017-02-08Simplify unsigned vector comparison using <_u operator.Robert Norton
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ...Robert Norton
2017-02-03fix headersPeter Sewell
2017-01-31Round up to multiple of 4 when computing E (CHERI does this to improve freque...Robert Norton
2017-01-27further attempt to work around matching bug -- seems to work.Robert Norton
2017-01-26fix incorrect constant in calculation of representable boundary (should be B ...Robert Norton
2017-01-26remove dead code in getBase/getTopRobert Norton
2017-01-26attempted work around for apparent sail bug with matching result of comparisonRobert Norton
2017-01-26c128: xor E with 48 when storing in memory so that null cap is all zeros but ...Robert Norton
2017-01-25merge cheri 256 and 128 together factoring out differing parts into separate ...Robert Norton
2017-01-25set offset of pcc on exception.Robert Norton
2017-01-24first pass at cheri128 sail.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-05 02:28:48 +0000