summaryrefslogtreecommitdiff
path: root/cheri
AgeCommit message (Expand)Author
2016-04-18cheri: use signed() rather than casting to int as advised by kathy. This has ...Robert Norton
2016-04-18cheri: explicitly specify vector for comparison in cincoffset to work around ...Robert Norton
2016-04-18cheri: swap use of MEMr_tagged and MEMr_tagged_reserved in CLC which were swa...Robert Norton
2016-04-18cheri: fix encoding of CSCC which was short one bit (kathy investigating why ...Robert Norton
2016-04-18cheri: add support for ll/sc of data via capability instructions.Robert Norton
2016-04-18cheri: fix inverted tag check for cptrcmp.Robert Norton
2016-04-15signed comparison between nats is not sensible. cast to bit vector instead.Robert Norton
2016-04-15cseal: perform arithmetic using nats to avoid signed comparison. Should maybe...Robert Norton
2016-04-15cheri: explicitly zero extend regno when writing to cap cause because implici...Robert Norton
2016-04-14cheri: implement ll/sc of capabilities using placeholder functions to emulate...Robert Norton
2016-04-14cheri: use correct destination register for loads via capability.Robert Norton
2016-04-13Further CHERI implementation. Rename cursor to offset in line with ISA. Imple...Robert Norton
2016-03-09cheri sail: introduce functions for casting from cap. register to cap. struct...Robert Norton
2016-03-08add beginnings of cheri sail for kathy to do some debugging.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-01 01:34:53 +0000