summaryrefslogtreecommitdiff
path: root/cheri
AgeCommit message (Expand)Author
2017-07-20add new CNEXEQ instruction.Robert Norton
2017-07-04change to cgettype -- returns -1 if not sealed instead of 0.Robert Norton
2017-07-03Update to copytype and ccseal -- now use belt and braces approach when handli...Robert Norton
2017-06-22fix a typo spotted in CPtrCmp instruction -- CLEU was using signed comparison...Robert Norton
2017-06-22revised ccopytype with check for offset being in bounds and clearing tag inst...Robert Norton
2017-06-16prefer arithmetic on integers followed by cast to bit[64] in CCopyType.Robert Norton
2017-06-16remove unnecessary local variable definitions copy and pasted from cbuildcap.Robert Norton
2017-06-16fix previous commit so that it builds.Robert Norton
2017-06-16implement new CBuildCap and CCopyType instrucitons for ISAv6.Robert Norton
2017-05-26add cmovz and cmovn conditional capability move instructions new in ISAv6.Robert Norton
2017-05-26Update ctoptr instruction to check that all of ct is within bounds of cb and ...Robert Norton
2017-05-26in ISAv6 cjr and cjalr are permitted on local capabilities.Robert Norton
2017-05-26add support for the new ccall selector 1 implementation that directly unseals...Robert Norton
2017-05-24Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...Robert Norton
2017-05-10Fix type error in CGetLenThomas Bauereiss
2017-05-10Further to Thomas's commit remove the duplicate declarations of max_otype and...Robert Norton
2017-05-10Comment out duplicate definitions in cheri_types.sailThomas Bauereiss
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-27reverse endianness of data when writing UART. Altera jtag uart is little-endi...Robert Norton
2017-04-25Add support for uart terminal. Also add read_bit_reg function for faster and ...Robert Norton
2017-04-20work around ocaml shallow embedding problem with matching on big_ints by rest...Robert Norton
2017-04-20XXX remove pattern match not handled correctly by ocaml embedding.Robert Norton
2017-04-18change to spec. of CLC instruction -- clear tag instead of exception if permi...Robert Norton
2017-04-03Rename TranslateAddress to TranslatePC and remove the accessType argument -- ...Robert Norton
2017-03-30Fix to csetboundsexact (was untested, same fix previously applied to csetboun...Robert Norton
2017-03-30Apparently the tag is on the other end following endianness change so include...Robert Norton
2017-03-29change reqiured to work with little endian interpreter.Robert Norton
2017-03-24Minor cleanup: remove unnecessary brances and use 'not' iso ~.Robert Norton
2017-03-24Extract CGetLen from cheri sail.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-10Don't update EPCC if EXL is already set.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-03fix header dates in new file.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-26don't forget to use absolute PC as offset in epcc in case where epcc is not r...Robert Norton
2017-01-26c128: xor E with 48 when storing in memory so that null cap is all zeros but ...Robert Norton
2017-01-26when using cursor instead of offset for bounds check we must remember to chec...Robert Norton
2017-01-25fix error introduced in revised version of TranslateAddress -- absPC should b...Robert Norton
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-03-08 11:21:18 +0000