summaryrefslogtreecommitdiff
path: root/tools/verification
AgeCommit message (Expand)Author
2025-03-27Merge tag 'trace-tools-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds
2025-03-27Merge tag 'trace-latency-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/...Linus Torvalds
2025-03-24tools/rv: Allow rv list to filter for containerGabriele Monaco
2025-03-24verification/dot2k: Add support for nested monitorsGabriele Monaco
2025-03-24tools/rv: Add support for nested monitorsGabriele Monaco
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco
2025-03-24rv: Add snroc per-task monitorGabriele Monaco
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco
2025-03-24sched: Add sched tracepoints for RV task modelGabriele Monaco
2025-03-04tools/rv: Keep user LDFLAGS in buildTomas Glozar
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco
2025-02-25Merge tag 'perf-tools-fixes-for-v6.14-2-2025-02-25' of git://git.kernel.org/p...Linus Torvalds
2025-02-18tools: Remove redundant quiet setupCharlie Jenkins
2024-12-27verification/dot2k: Implement event type detectionGabriele Monaco
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco
2024-12-27verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco
2024-12-27verification/dot2k: Add support for name and description optionsGabriele Monaco
2024-12-27verification/dot2k: More robust template variablesGabriele Monaco
2024-12-27verification/dot2k: Unify main.c templatesGabriele Monaco
2024-12-27verification/dot2k: Fix template directory detectionGabriele Monaco
2024-11-19verification/dot2: Improve dot parser robustnessGabriele Monaco
2024-10-04tools/rv: Correct the grammatical errors in the commentsBa Jing
2024-10-04tools/rv: Correct the grammatical errors in the commentsBa Jing
2024-07-17tools/verification: Use pkg-config in lib_setup of Makefile.configGuilherme Amadio
2024-03-20tools/verification: Use tools/build makefiles on rvDaniel Bristot de Oliveira
2024-02-12tools/rv: Fix curr_reactor uninitialized variableDaniel Bristot de Oliveira
2024-02-12tools/rv: Fix Makefile compiler options for clangDaniel Bristot de Oliveira
2023-10-30verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)
2023-04-25rv: Fix addition on an uninitialized variable 'run'Colin Ian King
2023-01-31tools/rv: Remove unneeded semicolonzhang songyi
2022-12-21Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...Linus Torvalds
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati
2022-12-09Documentation/rv: Add verification/rv man pagesDaniel Bristot de Oliveira
2022-12-09tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira
2022-12-09rv: Add rv toolDaniel Bristot de Oliveira
2022-10-20rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng
2022-09-26rv/dot2K: add 'static' qualifier for local variableZeng Heng
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira
2022-07-30tools/rv: Add dot2kDaniel Bristot de Oliveira
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira
2022-07-30tools/rv: Add dot2cDaniel Bristot de Oliveira
generated by cgit (git 2.34.1) at 2025-05-09 20:51:44 +0000