summaryrefslogtreecommitdiff
path: root/cheri/cheri_prelude_128.sail
AgeCommit message (Expand)Author
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-06-07 01:05:20 +0000