aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2021-03-16Fix missing rvfi_halt field when converting v2 to v1 RVFI trace formatAlex Richardson1-0/+1
2021-03-16Add a -v rvfi flag to add RVFI debug loggingAlex Richardson3-10/+49
2021-03-16Add missing newlines to error message and print the listen portAlex Richardson1-8/+13
2021-03-16Ensure that the RVFI socket is open in blocking modeAlex Richardson1-0/+14
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson8-65/+307
2021-02-11Remove unused register files.Prashanth Mundkur2-4/+0
2021-02-11Fix up some missed and wrong cli options in C emulator.Prashanth Mundkur1-2/+3
2021-02-11Make N extension configurable.Prashanth Mundkur14-1/+37
2021-02-11Merge pull request #81 from scottj97/sstatus-fixPrashanth Mundkur1-1/+1
2021-02-11Merge pull request #82 from scottj97/mret-minstretPrashanth Mundkur1-8/+12
2021-02-02Reformat excessively-long linesScott Johnson1-2/+8
2021-01-27MRET and SRET should increment minstret when successfulScott Johnson1-8/+6
2021-01-26Prevent CSRW to sstatus from modifying uie & upie if N-ext not presentScott Johnson1-1/+1
2020-11-30Merge pull request #78 from arichardson/mstatus-ignore-undefined-bitsPrashanth Mundkur1-1/+6
2020-11-30Ignore undefined bits in mstatus on writeAlex Richardson1-1/+6
2020-11-19Merge pull request #77 from scottj97/fix-ssipPrashanth Mundkur1-1/+1
2020-11-17Bug fix: when writing CSR sip, ignore attempt to change undelegated SSIPScott Johnson1-1/+1
2020-11-10Merge pull request #74 from PeterRugg/dii-fetch-ptePrashanth Mundkur1-16/+23
2020-11-09Perform PTE checks on DII fetch (with jrtc27)Peter Rugg1-16/+23
2020-10-15Store PC in mtval on EBREAK to match a spec update.Prashanth Mundkur1-1/+1
2020-10-15Handle non-atomic but aligned writes to the 64-bit HTIF i/o port on RV32.Prashanth Mundkur1-28/+65
2020-09-22Handle empty predecessor or successor RW sets in FENCE as no-ops, as IO concu...Prashanth Mundkur1-2/+4
2020-09-05Update status and docs for hints.Prashanth Mundkur2-4/+2
2020-09-04Handle hints explicitly in order to not trap on them.Prashanth Mundkur2-1/+159
2020-09-03Add the mstatush CSR for RV32, and hardwire the MBE and SBE fields to 0.Prashanth Mundkur3-0/+26
2020-08-27Merge pull request #66 from scottj97/mcountinhibitPrashanth Mundkur3-1/+4
2020-08-25Implement mcountinhibit IR bit to squash minstret incrementScott Johnson1-1/+2
2020-08-25Allow CSR read/write to mcountinhibitScott Johnson1-0/+1
2020-08-25Add missing disassembler mapping for mcountinhibit CSRScott Johnson1-0/+1
2020-08-20Fix conditions CSR definedness. Fixes #65.Prashanth Mundkur1-11/+11
2020-08-04Add a line pointing to the instructions for latex inclusion in the prose spec...Prashanth Mundkur1-0/+1
2020-08-04Add a pointer in README to riscv-config PRRobert Norton1-0/+4
2020-08-01Fix readme link.Prashanth Mundkur1-1/+1
2020-08-01update README and LICENCEpes202-11/+26
2020-08-01update READMEpes201-1/+1
2020-08-01update READMEpes201-2/+5
2020-08-01update READMEpes201-131/+129
2020-08-01Update README.mdPeter Sewell1-1/+1
2020-08-01update README, copying and adapting material from Formal Spec pagepes201-7/+227
2020-06-30Merge pull request #64 from nwf:pte-check-split with minor edits.Prashanth Mundkur6-19/+46
2020-06-30Split ext_ptw into pieces and add documentationNathaniel Wesley Filardo6-19/+43
2020-06-30SV32: allow external specification of PTE extension bitsNathaniel Wesley Filardo2-1/+12
2020-06-29Merge pull request #63 from nwf/split-eat-rwPrashanth Mundkur6-31/+37
2020-06-27A kinder, gentler splitting of ext_access_type's ReadWriteNathaniel Wesley Filardo6-31/+37
2020-06-22Add some comments and docs.Prashanth Mundkur2-1/+9
2020-06-20Allow extensions to override page fault causesJessica Clarke4-5/+8
2020-06-20Fix non-coverage buildJessica Clarke1-0/+2
2020-06-18Update Coq snapshotsBrian Campbell35-85390/+98033
2020-06-18Make duopod build in coq again, and fix locationBrian Campbell1-5/+5
2020-06-18add Nikhil to authors; update install instructionspes202-5/+5
generated by cgit v1.1 at 2024-09-18 08:17:56 +0000