summaryrefslogtreecommitdiffstats
path: root/tools/verification
AgeCommit message (Expand)AuthorLines
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco-0/+35
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco-0/+59
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco-36/+38
2025-07-24rv: Return init error when registering monitorsGabriele Monaco-4/+2
2025-07-24verification/rvgen: Organise Kconfig entries for nested monitorsGabriele Monaco-5/+21
2025-07-24tools/dot2c: Fix generated files going over 100 column limitGabriele Monaco-9/+11
2025-07-24tools/rv: Stop gracefully also on SIGTERMGabriele Monaco-0/+1
2025-07-24tools/rv: Do not skip idle in traceGabriele Monaco-2/+2
2025-07-24verification/rvgen: Do not generate unused variablesNam Cao-4/+21
2025-07-24verification/rvgen: Generate each variable definition only onceNam Cao-3/+5
2025-07-24verification/rvgen: Support the 'next' operatorNam Cao-0/+26
2025-07-24verification/rvgen: Add support for linear temporal logicNam Cao-1/+915
2025-07-24verification/rvgen: Restructure the classes to prepare for LTL inclusionNam Cao-261/+308
2025-07-24verification/rvgen: Restructure the templates filesNam Cao-32/+20
2025-07-24verification/dot2k: Prepare the frontend for LTL inclusionNam Cao-17/+25
2025-07-24verification/dot2k: Replace is_container() hack with subparsersNam Cao-18/+21
2025-07-24verification/dot2k: Remove __buff_to_string()Nam Cao-15/+6
2025-07-24verification/dot2k: Make a separate dot2k_templates/Kconfig_containerNam Cao-1/+7
2025-07-09rv: Add rtapp_sleep monitorNam Cao-0/+22
2025-07-09rv: Add rtapp_pagefault monitorNam Cao-0/+1
2025-03-27Merge tag 'trace-tools-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds-1/+1
2025-03-27Merge tag 'trace-latency-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/...Linus Torvalds-96/+466
2025-03-24tools/rv: Allow rv list to filter for containerGabriele Monaco-23/+53
2025-03-24verification/dot2k: Add support for nested monitorsGabriele Monaco-27/+125
2025-03-24tools/rv: Add support for nested monitorsGabriele Monaco-48/+179
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco-0/+54
2025-03-24rv: Add snroc per-task monitorGabriele Monaco-0/+18
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco-0/+36
2025-03-24sched: Add sched tracepoints for RV task modelGabriele Monaco-1/+1
2025-03-04tools/rv: Keep user LDFLAGS in buildTomas Glozar-1/+1
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco-0/+3
2025-02-25Merge tag 'perf-tools-fixes-for-v6.14-2-2025-02-25' of git://git.kernel.org/p...Linus Torvalds-6/+0
2025-02-18tools: Remove redundant quiet setupCharlie Jenkins-6/+0
2024-12-27verification/dot2k: Implement event type detectionGabriele Monaco-2/+41
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco-15/+82
2024-12-27verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco-5/+110
2024-12-27verification/dot2k: Add support for name and description optionsGabriele Monaco-14/+12
2024-12-27verification/dot2k: More robust template variablesGabriele Monaco-32/+32
2024-12-27verification/dot2k: Unify main.c templatesGabriele Monaco-184/+7
2024-12-27verification/dot2k: Fix template directory detectionGabriele Monaco-8/+8
2024-11-19verification/dot2: Improve dot parser robustnessGabriele Monaco-9/+9
2024-10-04tools/rv: Correct the grammatical errors in the commentsBa Jing-1/+1
2024-10-04tools/rv: Correct the grammatical errors in the commentsBa Jing-2/+2
2024-07-17tools/verification: Use pkg-config in lib_setup of Makefile.configGuilherme Amadio-1/+2
2024-03-20tools/verification: Use tools/build makefiles on rvDaniel Bristot de Oliveira-133/+183
2024-02-12tools/rv: Fix curr_reactor uninitialized variableDaniel Bristot de Oliveira-1/+1
2024-02-12tools/rv: Fix Makefile compiler options for clangDaniel Bristot de Oliveira-1/+6
2023-10-30verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)-2/+0
2023-04-25rv: Fix addition on an uninitialized variable 'run'Colin Ian King-1/+1
2023-01-31tools/rv: Remove unneeded semicolonzhang songyi-1/+1
generated by cgit v1.2.3 (git 2.46.0) at 2026-03-14 10:09:16 +0000