aboutsummaryrefslogtreecommitdiff
path: root/model/rvfi_dii.sail
AgeCommit message (Expand)AuthorFilesLines
2021-03-16Fix sending version2 trace optional dataAlex Richardson1-6/+16
2021-03-16Improvements to the version 2 RVFI trace formatAlex Richardson1-47/+57
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 Richardson1-3/+3
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson1-27/+222
2019-05-02rvfi: fix mask encodingPrashanth Mundkur1-0/+5
2019-03-07Get rvfi building again.Prashanth Mundkur1-1/+1
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+98