issues
search
CTSRD-CHERI
/
QuickCheckVEngine
A RISC-V TestRIG Verification Engine based on QuickCheck
BSD 2-Clause "Simplified" License
7
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add RVC HINT/RES/NSE encs & rework disassembly
#56
elliotb-lowrisc
opened
1 month ago
2
Rename `c_flq` & `c_fsq` to `c_lq` & `c_sq`
#55
elliotb-lowrisc
closed
1 month ago
0
Add RV_C disassembly
#54
elliotb-lowrisc
closed
1 month ago
2
`c_flq` & `c_fsq` not in spec
#53
elliotb-lowrisc
closed
1 month ago
3
DII_Packet-s are not Num-eric.
#52
nwf-msr
closed
2 months ago
0
Generate cmove in miscellaneous instructions
#51
marnovandermaas
closed
3 months ago
2
Avoid type-unsafe use of 'head'
#50
PeterRugg
closed
3 months ago
0
Add option to save all traces
#49
marnovandermaas
closed
3 months ago
3
Minor alignment fixes
#48
marnovandermaas
closed
3 months ago
0
Added printing for xTIDC registers
#47
francislaus
closed
4 months ago
0
No disassembly for compressed instructions
#46
francislaus
closed
1 month ago
1
Fix verbose print of instrs that omit low imm bits
#45
elliotb-lowrisc
closed
4 months ago
4
Changed pedantic to strict and changed default behaviour
#44
francislaus
closed
4 months ago
0
Add FENCE.TSO RV32I instruction
#43
elliotb-lowrisc
closed
4 months ago
1
Create capcache64 test, change capcache to RV32
#42
elliotb-lowrisc
closed
4 months ago
4
Inconsistient immediate bit-range approaches between extensions
#41
elliotb-lowrisc
opened
4 months ago
6
Increase bits generated for RVC immediates
#40
elliotb-lowrisc
closed
4 months ago
0
Fix RVC instructions with missing zeroes
#39
elliotb-lowrisc
closed
5 months ago
1
Implement cleanups from CI
#38
PeterRugg
closed
5 months ago
0
Update gitignore
#37
PeterRugg
closed
5 months ago
0
Added fixes for MOSC build failures
#36
francislaus
closed
5 months ago
0
Added github action CI build instruction
#35
gameboo
closed
5 months ago
0
Revert "Push mosc generator"
#34
marnovandermaas
closed
5 months ago
2
genMOSC_Torture declaration causes multiple build issues
#33
elliotb-lowrisc
closed
5 months ago
0
Bugs w.r.t. RV32 and RV64 specs
#32
vmurali
closed
5 months ago
10
Create LICENSE
#31
marnovandermaas
closed
5 months ago
0
List of CSRs
#30
francislaus
opened
5 months ago
3
Testing of SCRs for CHERI support
#29
francislaus
opened
5 months ago
1
No support for RV32E
#28
nwf-msr
opened
7 months ago
5
Add option to filter out tested CSRs using a REGEX on CSR name
#27
PeterRugg
closed
1 year ago
5
Add a bounded PCC template
#26
arichardson
closed
1 year ago
0
Need an option to avoid using HPM counter CSRs
#25
arichardson
closed
1 year ago
1
Trace is not saved if one implemention dies
#24
arichardson
closed
1 year ago
6
Respect --continue-on-failure for --trace-directory
#23
arichardson
closed
1 year ago
1
--continue-on-fail does nothing with --trace-directory
#22
arichardson
closed
1 year ago
2
Add support for CGetHigh and CSetHigh
#21
arichardson
closed
1 year ago
0
Add a basic GitHub Actions CI script
#20
arichardson
closed
5 months ago
15
Compare full trace
#19
arichardson
closed
1 year ago
3
Coloured terminal output
#18
arichardson
closed
1 year ago
2
Support asserts on all RVFI fields
#17
PeterRugg
closed
1 year ago
1
Only generate fence.i if the implementation supports it
#16
arichardson
closed
1 year ago
2
Downgrade base requirement to 4.15
#15
arichardson
closed
1 year ago
0
Only run HPM tests when Zihpm is supported
#14
arichardson
closed
2 years ago
2
Stack: Use a newer LTS resolver
#13
arichardson
closed
1 year ago
0
Shrinking should be template-specific
#12
PeterRugg
closed
2 years ago
1
NoShrink should only protect unless parent node is shrunk
#11
PeterRugg
closed
2 years ago
1
Make RVFI packet debug use verbosity level 4
#10
arichardson
opened
2 years ago
3
Arguments of lw in GenMemory.hs are likely to be wrong
#9
francislaus
closed
1 year ago
2
Added SBC Condition 1 Verification
#8
francislaus
closed
3 years ago
0
V2 trace wire format
#7
arichardson
closed
3 years ago
1
Next