summaryrefslogtreecommitdiff
path: root/tools/verification/rv
Commit message (Expand)AuthorAgeFilesLines
* rv: Fix addition on an uninitialized variable 'run'Colin Ian King2023-04-251-1/+1
* tools/rv: Remove unneeded semicolonzhang songyi2023-01-311-1/+1
* Documentation/rv: Add verification/rv man pagesDaniel Bristot de Oliveira2022-12-091-2/+24
* tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira2022-12-093-0/+704
* rv: Add rv toolDaniel Bristot de Oliveira2022-12-098-0/+558