summaryrefslogtreecommitdiff
path: root/cheri
AgeCommit message (Expand)Author
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
2017-01-25set offset of pcc on exception.Robert Norton
2017-01-24force unsigned comparison in cgetlen overflow check.Robert Norton
2017-01-24first pass at cheri128 sail.Robert Norton
2016-09-14Switch mips/cheri over to using memory ea/val for writes. Tag is now first by...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 minimal support for emulated Altera JTAG UART.Robert Norton
2016-07-26Add Makefile and marker comments in cheri sail file for extracting individual...Robert Norton
2016-06-28Munge exception destination PC so we hit the correct address even when kcc.ba...Robert Norton
2016-06-10Make in-memory format of capabilities conform with that of CHERI which stores...Robert Norton
2016-06-07remove workarounds for sail unable to read fields during PC fetch. Should be ...Robert Norton
2016-06-07Merge register access violation exception codes. ISA is evolving and is a lit...Robert Norton
2016-06-07Preserve padding in capability registers when converting to struct form -- th...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-06-01Remove outdated XXXRobert 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-13implement config registers.Robert Norton
2016-05-12Implement count/compare registers for timer interrupts and rdhwr instruction.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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-13 14:35:58 +0000