summaryrefslogtreecommitdiff
path: root/cheri/cheri_insts.sail
AgeCommit message (Expand)Author
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-08-24Fix some bugs related to the CHERI specThomas Bauereiss
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-10Fix type error in CGetLenThomas Bauereiss
2017-04-18change to spec. of CLC instruction -- clear tag instead of exception if permi...Robert Norton
2017-03-30Fix to csetboundsexact (was untested, same fix previously applied to csetboun...Robert Norton
2017-03-29change reqiured to work with little endian interpreter.Robert Norton
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ...Robert Norton
2017-02-03fix headersPeter Sewell
2017-01-26when using cursor instead of offset for bounds check we must remember to chec...Robert Norton
2017-01-25merge cheri 256 and 128 together factoring out differing parts into separate ...Robert Norton
2016-09-14Use cap_size to check for address alignment in csc/clc instead of hardcoded 3...Robert Norton
2016-08-01Remove raise_c2_exception_v function which is not needed after permissions me...Robert Norton
2016-08-01Complete transition to merged perms. We need to take care to keep around the ...Robert Norton
2016-07-28Banish exit from the mips/cheri sail except at end of SignalException functio...Robert Norton
2016-07-28Complete another if statement with an empty else.Robert Norton
2016-07-28Use recently introduced 'not' function instead of ~ for boolean negation. Mor...Robert Norton
2016-07-27Fix misspelt marker comment.Robert Norton
2016-07-27Add final 'else' to CCheckPerms because Peter pointed out that it is better t...Robert Norton
2016-07-27CCall comment out of extracted psuedocode region.Robert Norton
2016-07-27Normalise whitespace in cheri_insts.sail for cleaner extraction of instructio...Robert Norton
2016-07-26Add Makefile and marker comments in cheri sail file for extracting individual...Robert Norton
2016-06-10Make in-memory format of capabilities conform with that of CHERI which stores...Robert Norton
2016-06-07cheri: implement the csub instruciton (new instruction)Robert Norton
2016-06-03Reduce fill width of header to align closing comments nicely.Robert Norton
2016-06-02Apply headache to mips/cheri model.Robert Norton
2016-05-25add support for capability load/store bits in TLBRobert Norton
2016-05-16Implement the simulator dump cap registers instruction as a NOP since we dump...Robert Norton
2016-05-12rename ephemeral/non_ephemeral to global/local in accordance with current usage.Robert Norton
2016-05-12remove redundant wrapper function 'TranslateOrExit' and rename uses.Robert Norton
2016-05-11Fix XXX missing register accessible check in ClearRegs, also only do CP2Usabl...Robert Norton
2016-05-04fix incorrect exception code used on clc alignment check.Robert Norton
2016-05-03cheri: check value of co-processor enable bit before all cheri instructions.Robert Norton
2016-05-03immediate offset of load/store via capability is scaled by word size (ISA cha...Robert Norton
2016-04-29implement cgetpccsetoffset (new instruction)Robert Norton
2016-04-29new encoding for cgetpcc (ISA change).Robert Norton
2016-04-29implement 'big immediates' for CSC and CLC (ISA change).Robert Norton
2016-04-29use the correct exception vector for ccall/creturn.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-05 11:48:38 +0000