summaryrefslogtreecommitdiffstats
path: root/tools/verification
Commit message (Expand)AuthorAgeFilesLines
* Merge tag 'trace-tools-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds7 days1-1/+1
|\
| * tools/rv: Keep user LDFLAGS in buildTomas Glozar2025-03-041-1/+1
* | Merge tag 'trace-latency-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/...Linus Torvalds7 days16-96/+466
|\ \
| * | tools/rv: Allow rv list to filter for containerGabriele Monaco10 days3-23/+53
| * | verification/dot2k: Add support for nested monitorsGabriele Monaco10 days6-27/+125
| * | tools/rv: Add support for nested monitorsGabriele Monaco10 days2-48/+179
| * | rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco10 days3-0/+54
| * | rv: Add snroc per-task monitorGabriele Monaco10 days1-0/+18
| * | rv: Add sco and tss per-cpu monitorsGabriele Monaco10 days2-0/+36
| * | sched: Add sched tracepoints for RV task modelGabriele Monaco10 days1-1/+1
| * | rv: Add license identifiers to monitor filesGabriele Monaco2025-03-042-0/+3
| |/
* | Merge tag 'perf-tools-fixes-for-v6.14-2-2025-02-25' of git://git.kernel.org/p...Linus Torvalds2025-02-251-6/+0
|\ \ | |/ |/|
| * tools: Remove redundant quiet setupCharlie Jenkins2025-02-181-6/+0
* | verification/dot2k: Implement event type detectionGabriele Monaco2024-12-272-2/+41
* | verification/dot2k: Auto patch current kernel sourceGabriele Monaco2024-12-272-15/+82
* | verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco2024-12-275-5/+110
* | verification/dot2k: Add support for name and description optionsGabriele Monaco2024-12-275-14/+12
* | verification/dot2k: More robust template variablesGabriele Monaco2024-12-272-32/+32
* | verification/dot2k: Unify main.c templatesGabriele Monaco2024-12-274-184/+7
* | verification/dot2k: Fix template directory detectionGabriele Monaco2024-12-271-8/+8
|/
* verification/dot2: Improve dot parser robustnessGabriele Monaco2024-11-191-9/+9
* tools/rv: Correct the grammatical errors in the commentsBa Jing2024-10-041-1/+1
* tools/rv: Correct the grammatical errors in the commentsBa Jing2024-10-041-2/+2
* tools/verification: Use pkg-config in lib_setup of Makefile.configGuilherme Amadio2024-07-171-1/+2
* tools/verification: Use tools/build makefiles on rvDaniel Bristot de Oliveira2024-03-206-133/+183
* tools/rv: Fix curr_reactor uninitialized variableDaniel Bristot de Oliveira2024-02-121-1/+1
* tools/rv: Fix Makefile compiler options for clangDaniel Bristot de Oliveira2024-02-121-1/+6
* verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)2023-10-301-2/+0
* 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
* Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...Linus Torvalds2022-12-211-1/+1
|\
| * rv/monitors: Move monitor structure in rodataAlessandro Carminati2022-12-201-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
|/
* rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira2022-10-201-1/+1
* rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng2022-09-263-6/+6
* rv/dot2K: add 'static' qualifier for local variableZeng Heng2022-09-263-6/+6
* rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira2022-07-301-0/+16
* rv/monitor: Add the wip monitorDaniel Bristot de Oliveira2022-07-301-0/+16
* Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2022-07-302-0/+6
* tools/rv: Add dot2kDaniel Bristot de Oliveira2022-07-306-0/+496
* Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira2022-07-303-0/+9
* tools/rv: Add dot2cDaniel Bristot de Oliveira2022-07-304-0/+466
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 19:45:53 +0000