CTSRD-CHERI TestRIG issues

CTSRD-CHERI / TestRIG

Testing processors with Random Instruction Generation

Other

29 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add --implementation-[AB]-host to runTestRIG.py

#36 nwf-msr closed 3 months ago
2
Changed default behaviour of support misaligned

#35 francislaus closed 6 months ago
3
Make relaxed-comparison the default

#34 francislaus closed 6 months ago
0
Profiles for tuples

#33 francislaus opened 6 months ago
0
Fix typo in runTestRIG.py

#32 francislaus closed 6 months ago
0
Bumped QCV

#31 francislaus closed 6 months ago
0
Add cabal minimum version to README

#30 marnovandermaas closed 6 months ago
1
Update QCVEngine dependencies

#29 marnovandermaas closed 6 months ago
6
Change makefile license to BSD-2-clause

#28 PeterRugg closed 7 months ago
0
Various usability refreshes

#27 gameboo closed 7 months ago
0
Create LICENSE

#26 marnovandermaas closed 7 months ago
2
Revert QCVEngine build recipe and fix clean-QCVEngine

#25 elliotb-lowrisc closed 7 months ago
0
Run script cleanups

#24 arichardson closed 1 year ago
0
How are non-deterministic inputs handled

#23 Timmmm opened 1 year ago
2
Document RVFI-DII V2 protocol

#22 Timmmm opened 1 year ago
7
Allow running QCVEngine via docker

#21 arichardson closed 3 years ago
0
Add diagram (based on @gameboo's)

#20 mn416 closed 3 years ago
0
Additional coverage required for AMO operations

#19 rmn30 opened 3 years ago
0
Additional coverage required for stores of capabilities

#18 rmn30 opened 3 years ago
0
Reporting xTVAL for Trap=true?

#17 arichardson opened 3 years ago
1
Also build QEMU

#16 arichardson opened 4 years ago
0
Run tests against QEMU

#15 arichardson opened 4 years ago
0
Fix run script for qemu.

#14 pmundkur closed 4 years ago
1
Add a regressiontest.py script

#13 arichardson closed 3 years ago
1
Refactor archstring parsing code

#12 arichardson closed 4 years ago
0
sail-rv32 not building

#11 marnovandermaas closed 4 years ago
5
QuickCheck not building

#10 marnovandermaas closed 4 years ago
2
Scratch aj443 template refresh

#9 gameboo closed 4 years ago
0
Sail RISC-V not following RVFI-DII spec

#8 marnovandermaas closed 5 years ago
1
Add debugging log for connection attempts in QCEngine.

#7 pmundkur closed 5 years ago
0
External instruction generation

#6 bacam closed 5 years ago
0
Add the Sail model as another implementation

#5 bacam closed 5 years ago
5
Add a "manual" target to connect to an external implementation

#4 bacam closed 5 years ago
0
Propagate ISA string to servers

#3 heshamelmatary closed 6 years ago
0
CHERI: Add a placeholder file for future CHERI work

#2 heshamelmatary closed 6 years ago
0
fixes to RVFI-DII spec markdown document

#1 gameboo closed 6 years ago
0