summaryrefslogtreecommitdiff
path: root/tools/verification/rv
AgeCommit message (Expand)AuthorFilesLines
2025-07-24tools/rv: Stop gracefully also on SIGTERMGabriele Monaco1-0/+1
2025-07-24tools/rv: Do not skip idle in traceGabriele Monaco1-2/+2
2025-03-28Merge tag 'trace-tools-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds1-1/+1
2025-03-28Merge tag 'trace-latency-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/...Linus Torvalds4-69/+230
2025-03-25tools/rv: Allow rv list to filter for containerGabriele Monaco3-23/+53
2025-03-25tools/rv: Add support for nested monitorsGabriele Monaco2-48/+179
2025-03-25sched: Add sched tracepoints for RV task modelGabriele Monaco1-1/+1
2025-03-04tools/rv: Keep user LDFLAGS in buildTomas Glozar1-1/+1
2025-02-18tools: Remove redundant quiet setupCharlie Jenkins1-6/+0
2024-10-04tools/rv: Correct the grammatical errors in the commentsBa Jing1-1/+1
2024-10-04tools/rv: Correct the grammatical errors in the commentsBa Jing1-2/+2
2024-07-17tools/verification: Use pkg-config in lib_setup of Makefile.configGuilherme Amadio1-1/+2
2024-03-20tools/verification: Use tools/build makefiles on rvDaniel Bristot de Oliveira6-133/+183
2024-02-12tools/rv: Fix curr_reactor uninitialized variableDaniel Bristot de Oliveira1-1/+1
2024-02-12tools/rv: Fix Makefile compiler options for clangDaniel Bristot de Oliveira1-1/+6
2023-04-26rv: Fix addition on an uninitialized variable 'run'Colin Ian King1-1/+1
2023-02-01tools/rv: Remove unneeded semicolonzhang songyi1-1/+1
2022-12-10Documentation/rv: Add verification/rv man pagesDaniel Bristot de Oliveira1-2/+24
2022-12-10tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira3-0/+704
2022-12-10rv: Add rv toolDaniel Bristot de Oliveira8-0/+558