| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-02-03 | replace bit vector return types in getCapX functions with equivalent integer ... | Robert Norton |
| 2017-02-03 | fix headers | Peter Sewell |
| 2017-01-31 | Round up to multiple of 4 when computing E (CHERI does this to improve freque... | Robert Norton |
| 2017-01-27 | further attempt to work around matching bug -- seems to work. | Robert Norton |
| 2017-01-26 | fix incorrect constant in calculation of representable boundary (should be B ... | Robert Norton |
| 2017-01-26 | remove dead code in getBase/getTop | Robert Norton |
| 2017-01-26 | attempted work around for apparent sail bug with matching result of comparison | Robert Norton |
| 2017-01-26 | c128: xor E with 48 when storing in memory so that null cap is all zeros but ... | Robert Norton |
| 2017-01-25 | merge cheri 256 and 128 together factoring out differing parts into separate ... | Robert Norton |
| 2017-01-25 | set offset of pcc on exception. | Robert Norton |
| 2017-01-24 | first pass at cheri128 sail. | Robert Norton |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |