aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2019-03-15Adapt to memory interface of Lem shallow embeddingmonadsThomas Bauereiss8-161/+211
2019-03-13Merge branch 'cheri' into monadsThomas Bauereiss455-3095/+6867
2019-03-08Fix comment typo.Robert Norton1-1/+1
2019-03-08Correctly clear tags on potentially unaligned writes in phys_mem_write.Robert Norton1-3/+11
2019-03-07Prohibit modifying sealed capabilities by setting mepc etc. Similar to cheri-...Robert Norton1-1/+1
2019-03-07Add PCC checks to branches and jumps. Also switch to having PC register be ab...Robert Norton7-38/+45
2019-03-06Add a target for building ml needed by TestRIG instruction gnenerator.Robert Norton1-0/+4
2019-03-06Fix bug in getCapBounds caused by difference in precedence of >> operator bet...Robert Norton1-1/+1
2019-03-04Fix warnings about shadowed variable in match.Robert Norton1-6/+6
2019-03-04Add DDC translation to riscv memory instructions. Not an ideal factorisation ...Robert Norton5-173/+246
2019-03-01Revert "Don't attempt to print asm of instruction for rvfi because I haven't ...Robert Norton1-2/+2
2019-03-01Add assembly mappings for cheri instructions.Robert Norton1-1/+54
2019-02-28Initialise DDC.Robert Norton1-0/+1
2019-02-28Report capability address via rvfi when written.Robert Norton1-17/+18
2019-02-28Don't attempt to print asm of instruction for rvfi because I haven't implemen...Robert Norton1-2/+2
2019-02-28Fix RVFI build.Robert Norton5-42/+8
2019-02-26Add clearing of tags on memory writes (physical memory only for now). Remove ...Robert Norton4-46/+27
2019-02-26Use nextPCC instead of writing directly to PCC. Set TCCs to default on reset ...Robert Norton3-6/+7
2019-02-25Add load and store cap.Robert Norton3-12/+176
2019-02-22Fix off-by-one in PCC top check.Robert Norton1-1/+1
2019-02-21Add support for CHERI exceptions. Validate PCC / PC on fetch.Robert Norton8-96/+147
2019-02-21Add capability to string function.Robert Norton1-0/+22
2019-02-21Remember to init CHERI regs.Robert Norton1-1/+2
2019-02-20Tentative implemenatation of [MSU]TCC.Robert Norton6-15/+23
2019-02-20Use UEPCC, SEPCC and MEPCC instead of uepc, sepc and mepc. Take care that set...Robert Norton7-21/+67
2019-02-15Tweak legalize_xepc according to spec: xepc[1] should always be writeable.Robert Norton1-4/+5
2019-02-14Fixes for new version of sail.Robert Norton2-3/+32
2019-02-11Add basic load and store instructions via capability (no clc / csc yet).Robert Norton2-71/+137
2019-02-08Remember to set offset when reading PCC.Robert Norton1-11/+5
2019-02-08Implement most CHERI instructions except memory. Still need to implement exce...Robert Norton6-603/+489
2019-02-07Change implicits on monad branchAlasdair Armstrong1-4/+4
2019-02-06Make a start on CHERI-RISCV -- just replace register file with capabilities a...Robert Norton10-114/+2796
2019-01-31Fix riscv_isa_build Makefile targetThomas Bauereiss1-1/+2
2019-01-30Comment out asserts.Prashanth Mundkur1-5/+5
2019-01-30Add some missed checks for 'N' to delegation logic.Prashanth Mundkur1-7/+13
2019-01-29Update Makefile.Prashanth Mundkur1-1/+1
2019-01-29Update docs, and fix file names.Prashanth Mundkur6-39/+32
2019-01-29Add more of the 'N' standard extension.Prashanth Mundkur5-59/+147
2019-01-29Add CSRs for the 'N' extension arch state and expose to CSR read/write.Prashanth Mundkur6-187/+323
2019-01-29Factor the _sys functionality into separate files for architectural state and...Prashanth Mundkur3-529/+570
2019-01-29Added _sbuild and _build to .gitignoreShaked Flur1-0/+5
2019-01-29Added riscv_rmem that generates the lem files for rmem (which are different f...Shaked Flur2-52/+20
2019-01-28Comment on handling mstatus.FS, and update to match Spike.Prashanth Mundkur1-4/+6
2019-01-25Tweaks to reservation handling.Prashanth Mundkur2-3/+9
2019-01-25Remove uninformative comment.Prashanth Mundkur1-5/+6
2019-01-25Mention mstatus.SD handling in the Extending guide.Prashanth Mundkur1-1/+3
2019-01-25Account for U-mode availability in xRET.Prashanth Mundkur1-1/+2
2019-01-25SRET should be illegal if S-mode is not supported.Prashanth Mundkur1-1/+1
2019-01-25Add misa checks for instructions not in the base set.Prashanth Mundkur5-165/+225
2019-01-25Factor out each extension into separate files, do some minor cleanup.Prashanth Mundkur10-1605/+1786
generated by cgit v1.1 at 2024-09-18 05:56:50 +0000