summaryrefslogtreecommitdiff
path: root/cheri/cheri_prelude_common.sail
AgeCommit message (Expand)Author
2018-09-21Remove cheri and mips specs -- they now have their own repository.Robert Norton
2018-07-03cheri: refine lwl/lwr cap length checks to be exact. They were previously a b...Robert Norton
2018-07-03cheri: update to register file semantics. Most instructions now treat c0 as n...Robert Norton
2018-06-04add missing semi colon in arichardsons patch.Robert Norton
2018-05-31Also dump the cap hwregs in dump_cp2_stateAlexander Richardson
2018-05-10Document the register_inaccessible function.Robert Norton
2018-05-09Use latex support for generating cheri documentation and remove sed based hac...Robert Norton
2018-04-12implement new permit_unseal used for CUnseal instead of permit_seal.Robert Norton
2018-04-12Add implementations of CReadHwr and CWriteHwrRobert Norton
2018-04-09cheri: compute virtual address mod 2^64 when doing bounds check to avoid fail...Robert Norton
2018-03-14Add and use execute_branch and execute_branch_pcc functions to align code wit...Robert Norton
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-03-06Check tag of pcc in TranslatePC. This could happen after an ERET with untagge...Robert Norton
2018-03-06finish port of cheri128 spec. to sail2.Robert Norton
2018-03-02remove workaround for #8 now that it is fixed.Robert Norton
2018-03-02work around bug in ocaml foreach generation -- end point not included in loop...Robert Norton
2018-03-02add a cp2_next_pc function to update cheri state in fde loop and a stub versi...Robert Norton
2018-03-02add space in cap dump format to match that expected by test framework.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-10-31work around interpreter crash by adding cast. Likely this kind of thing will ...Robert Norton
2017-10-31cheri: throw an exception if there is an attempt to access C26/IDC in the del...Robert Norton
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-07-20add new CNEXEQ instruction.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-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-20XXX remove pattern match not handled correctly by ocaml embedding.Robert Norton
2017-04-03Rename TranslateAddress to TranslatePC and remove the accessType argument -- ...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-02-10Don't update EPCC if EXL is already set.Robert Norton
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ...Robert Norton
2017-02-03fix headersPeter Sewell
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-25fix error introduced in revised version of TranslateAddress -- absPC should b...Robert 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-09 02:55:27 +0000