- Mar 22, 2019
-
-
Brian Campbell authored
-
Thomas Bauereiss authored
-
Thomas Bauereiss authored
-
- Mar 20, 2019
-
-
Robert Norton authored
-
- Mar 19, 2019
-
-
Robert Norton authored
-
- Mar 13, 2019
-
-
Robert Norton authored
-
Robert Norton authored
Add a temporary hack for corner cases involving address wrapping around. Pending a more reasoned solution this might allow continued TestRIG testing.
-
- Mar 08, 2019
-
-
Robert Norton authored
-
Robert Norton authored
-
Robert Norton authored
-
Robert Norton authored
Add PCC checks to branches and jumps. Also switch to having PC register be absolute (even though architecturally it is relative to PCC.base). This makes it for easier alignment checks but we have to be careful when the PC becomes architecturally visible. Not sure which is better long term.
-
- Mar 07, 2019
-
-
Robert Norton authored
-
- Mar 06, 2019
-
-
Robert Norton authored
Fix bug in getCapBounds caused by difference in precedence of >> operator between riscv and cheri-mips preludes :-(
-
- Mar 04, 2019
-
-
Robert Norton authored
-
Robert Norton authored
Add DDC translation to riscv memory instructions. Not an ideal factorisation because the DDC translation has to take place before alignment check and therefore can't happen in translateAddr. To be considered. Also fix a bug where registers where reversed in CapRegs vector and so DDC was getting cleared during initialisation!
-
- Mar 01, 2019
-
-
Robert Norton authored
Revert "Don't attempt to print asm of instruction for rvfi because I haven't implemented cheri assembly yet (revert when implemented)." We now support assembly mappings. This reverts commit d714f27b.
-
Robert Norton authored
-
Robert Norton authored
-
Robert Norton authored
-
Robert Norton authored
Don't attempt to print asm of instruction for rvfi because I haven't implemented cheri assembly yet (revert when implemented).
-
Robert Norton authored
-
- Feb 27, 2019
-
-
Robert Norton authored
Add clearing of tags on memory writes (physical memory only for now). Remove apparently redundant MEMval etc. functions. Propagate wmvt effect in many places.
-
Robert Norton authored
Use nextPCC instead of writing directly to PCC. Set TCCs to default on reset for backwards compatibility.
-
- Feb 26, 2019
-
-
Robert Norton authored
-
- Feb 22, 2019
-
-
Robert Norton authored
-
Robert Norton authored
-
- Feb 21, 2019
-
-
Robert Norton authored
-
Robert Norton authored
-
Robert Norton authored
-
- Feb 20, 2019
-
-
Robert Norton authored
Use UEPCC, SEPCC and MEPCC instead of uepc, sepc and mepc. Take care that setting the offset might make the capability unrepresentable.
-
- Feb 15, 2019
-
-
Robert Norton authored
-
- Feb 14, 2019
-
-
Robert Norton authored
-
- Feb 12, 2019
-
-
Robert Norton authored
-
- Feb 09, 2019
-
-
Robert Norton authored
-
Robert Norton authored
Implement most CHERI instructions except memory. Still need to implement exceptions and fetch behaviours.
-
- Feb 06, 2019
-
-
Robert Norton authored
Make a start on CHERI-RISCV -- just replace register file with capabilities and fix up prelude so that it type checks for now.
-
- Feb 01, 2019
-
-
Thomas Bauereiss authored
-
- Jan 31, 2019
-
-
Prashanth Mundkur authored
-
Prashanth Mundkur authored
-
- Jan 30, 2019
-
-
Prashanth Mundkur authored
-