| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-04-18 | cheri: add support for ll/sc of data via capability instructions. | Robert Norton |
| 2016-04-18 | cheri: fix inverted tag check for cptrcmp. | Robert Norton |
| 2016-04-15 | signed comparison between nats is not sensible. cast to bit vector instead. | Robert Norton |
| 2016-04-15 | cseal: perform arithmetic using nats to avoid signed comparison. Should maybe... | Robert Norton |
| 2016-04-15 | cheri: explicitly zero extend regno when writing to cap cause because implici... | Robert Norton |
| 2016-04-14 | cheri: implement ll/sc of capabilities using placeholder functions to emulate... | Robert Norton |
| 2016-04-14 | cheri: use correct destination register for loads via capability. | Robert Norton |
| 2016-04-13 | Further CHERI implementation. Rename cursor to offset in line with ISA. Imple... | Robert Norton |
| 2016-03-09 | cheri sail: introduce functions for casting from cap. register to cap. struct... | Robert Norton |
| 2016-03-08 | add beginnings of cheri sail for kathy to do some debugging. | Robert Norton |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |