summaryrefslogtreecommitdiff
path: root/cheri
AgeCommit message (Expand)Author
2018-04-18fix bug in permissions test of ctestsubset.Robert Norton
2018-04-12remove cheri128 backwards compatibility hack that extended access_system_regs...Robert Norton
2018-04-12implement new permit_unseal used for CUnseal instead of permit_seal.Robert Norton
2018-04-12add a cheri_trace target for conveniently building a debug build.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-04-04Fix another infinite loop in cast bit_to_bool. Following introduction of eq_b...Robert Norton
2018-03-27remove some unneeded else clauses.Robert Norton
2018-03-22Fix cheri MakefileAlasdair Armstrong
2018-03-22Fix C compilation for CHERI and MIPSAlasdair Armstrong
2018-03-21Patch AST datatypes in generated Isabelle theoriesThomas Bauereiss
2018-03-15Some CHERI compilation fixesThomas Bauereiss
2018-03-14Add and use execute_branch and execute_branch_pcc functions to align code wit...Robert Norton
2018-03-14rename EXTS and EXTZ to sign_extend and zero_extend because it is more obvios...Robert Norton
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-03-14minor cleanup of load -- we no longer need to separate out by access size bec...Robert Norton
2018-03-14add extract of ccseal instruction.Robert Norton
2018-03-14Add extract of some new instructions for including into CHERI documentation.Robert Norton
2018-03-08rename mips_new_tc to mipsRobert Norton
2018-03-08make HighestSetBit return option now that it can type check.Robert Norton
2018-03-07Fix cheri and mips following 1fe8f33fce5aaaaea82fc54b6d198ffc9d7e1eeb which r...Robert Norton
2018-03-06Add missing checks for permit_load and permit_store in capability load/store ...Robert Norton
2018-03-06Check tag of pcc in TranslatePC. This could happen after an ERET with untagge...Robert Norton
2018-03-06overload shift operators so they can be used with integer shifts in cheri128 ...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-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
2018-02-06immediate for CIncOffsetImmediate must be treated as signed (fixes test_cp2_r...Robert Norton
2017-12-06Make CHERI spec type-check againThomas Bauereiss
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-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-10-31cheri: ccall selector 1 should have a branch delay slot. TODO we need to thro...Robert Norton
2017-10-24fix default cap value on cheri128 following previous changes -- E stored in r...Robert Norton
2017-10-23cheri: Null capability should have maximum length, because in cheri128 we wan...Robert Norton
2017-10-16add CTestSubset instruction.Robert Norton
2017-10-16add missing new encodings for CJR and CJALR.Robert Norton
2017-10-16implement CMove as an alias for cmovz with zero register.Robert Norton
2017-10-16add support for CIncOffsetImmediate and CSetBoundsImmediate.Robert Norton
2017-10-16add support for capability branch null instructions.Robert Norton
2017-10-13Add support for new cheri instruction encodings. The order of pattern matchin...Robert Norton
2017-10-02cheri: fix swapped cmovz and cmovn.Robert Norton
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 08:56:45 +0000