aboutsummaryrefslogtreecommitdiffstats
path: root/tools/verification
AgeCommit message (Expand)AuthorFilesLines
2026-04-01rv: Allow epoll in rtapp-sleep monitorNam Cao1-0/+1
2026-04-01rv/rvgen: fix _fill_states() return type annotationWander Lairson Costa1-1/+1
2026-04-01rv/rvgen: fix unbound loop variable warningWander Lairson Costa1-5/+9
2026-04-01rv/rvgen: enforce presence of initial stateWander Lairson Costa1-0/+4
2026-04-01rv/rvgen: extract node marker string to class constantWander Lairson Costa1-4/+5
2026-04-01rv/rvgen: fix isinstance check in Variable.expand()Wander Lairson Costa1-1/+1
2026-04-01rv/rvgen: make monitor arguments required in rvgenWander Lairson Costa1-3/+4
2026-04-01rv/rvgen: remove unused __get_main_name methodWander Lairson Costa1-6/+0
2026-04-01rv/rvgen: remove unused sys import from dot2cWander Lairson Costa1-1/+0
2026-04-01rv/rvgen: refactor automata.py to use iterator-based parsingWander Lairson Costa1-45/+71
2026-04-01rv/rvgen: use class constant for init markerWander Lairson Costa1-2/+3
2026-04-01rv/rvgen: fix DOT file validation logic errorWander Lairson Costa1-1/+1
2026-04-01rv/rvgen: fix PEP 8 whitespace violationsWander Lairson Costa4-8/+8
2026-04-01rv/rvgen: fix typos in automata and generator docstring and commentsWander Lairson Costa4-8/+8
2026-03-31rv/rvgen: use context managers for file operationsWander Lairson Costa2-12/+6
2026-03-31rv/rvgen: remove unnecessary semicolonsWander Lairson Costa1-3/+3
2026-03-31rv/rvgen: replace __len__() calls with len()Wander Lairson Costa2-9/+9
2026-03-31rv/rvgen: replace % string formatting with f-stringsWander Lairson Costa6-85/+83
2026-03-31rv/rvgen: remove bare except clauses in generatorWander Lairson Costa1-8/+1
2026-03-31rv/rvgen: introduce AutomataError exception classWander Lairson Costa7-34/+43
2026-03-31rv: Add nomiss deadline monitorGabriele Monaco1-0/+41
2026-03-31verification/rvgen: Add support for per-obj monitorsGabriele Monaco2-5/+14
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco1-29/+7
2026-03-31rv: Add sample hybrid monitor stallGabriele Monaco1-0/+22
2026-03-31verification/rvgen: Add support for Hybrid AutomataGabriele Monaco7-15/+678
2026-03-31verification/rvgen: Allow spaces in and events stringsGabriele Monaco1-5/+4
2026-01-12verification/rvgen: Remove unused variable declaration from containersGabriele Monaco1-2/+0
2026-01-12verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco1-24/+12
2026-01-12verification/dot2c: Remove __buff_to_string() and cleanupGabriele Monaco1-29/+6
2026-01-12verification/rvgen: Annotate DA functions with typesGabriele Monaco3-41/+41
2026-01-12verification/rvgen: Adapt dot2k and templates after refactoring da_monitor.hGabriele Monaco2-18/+13
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco1-0/+35
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco2-0/+59
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco3-36/+38
2025-07-24rv: Return init error when registering monitorsGabriele Monaco2-4/+2
2025-07-24verification/rvgen: Organise Kconfig entries for nested monitorsGabriele Monaco2-5/+21
2025-07-24tools/dot2c: Fix generated files going over 100 column limitGabriele Monaco1-9/+11
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-07-24verification/rvgen: Do not generate unused variablesNam Cao1-4/+21
2025-07-24verification/rvgen: Generate each variable definition only onceNam Cao1-3/+5
2025-07-24verification/rvgen: Support the 'next' operatorNam Cao1-0/+26
2025-07-24verification/rvgen: Add support for linear temporal logicNam Cao7-1/+915
2025-07-24verification/rvgen: Restructure the classes to prepare for LTL inclusionNam Cao5-261/+308
2025-07-24verification/rvgen: Restructure the templates filesNam Cao8-32/+20
2025-07-24verification/dot2k: Prepare the frontend for LTL inclusionNam Cao12-17/+25
2025-07-24verification/dot2k: Replace is_container() hack with subparsersNam Cao2-18/+21
2025-07-24verification/dot2k: Remove __buff_to_string()Nam Cao1-15/+6
2025-07-24verification/dot2k: Make a separate dot2k_templates/Kconfig_containerNam Cao2-1/+7
2025-07-09rv: Add rtapp_sleep monitorNam Cao1-0/+22
2025-07-09rv: Add rtapp_pagefault monitorNam Cao1-0/+1
2025-03-27Merge tag 'trace-tools-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds1-1/+1
2025-03-27Merge tag 'trace-latency-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/...Linus Torvalds16-93/+463
2025-03-24tools/rv: Allow rv list to filter for containerGabriele Monaco3-22/+52
2025-03-24verification/dot2k: Add support for nested monitorsGabriele Monaco6-25/+123
2025-03-24tools/rv: Add support for nested monitorsGabriele Monaco2-48/+179
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco3-0/+54
2025-03-24rv: Add snroc per-task monitorGabriele Monaco1-0/+18
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco2-0/+36
2025-03-24sched: Add sched tracepoints for RV task modelGabriele Monaco1-1/+1
2025-03-04tools/rv: Keep user LDFLAGS in buildTomas Glozar1-1/+1
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco2-0/+3
2025-02-25Merge tag 'perf-tools-fixes-for-v6.14-2-2025-02-25' of git://git.kernel.org/p...Linus Torvalds1-6/+0
2025-02-18tools: Remove redundant quiet setupCharlie Jenkins1-6/+0
2024-12-27verification/dot2k: Implement event type detectionGabriele Monaco2-2/+41
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco2-15/+82
2024-12-27verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco5-5/+110
2024-12-27verification/dot2k: Add support for name and description optionsGabriele Monaco5-14/+12
2024-12-27verification/dot2k: More robust template variablesGabriele Monaco2-32/+32
2024-12-27verification/dot2k: Unify main.c templatesGabriele Monaco4-184/+7
2024-12-27verification/dot2k: Fix template directory detectionGabriele Monaco1-8/+8
2024-11-19verification/dot2: Improve dot parser robustnessGabriele Monaco1-9/+9
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-121/+171
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-10-30verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)1-2/+0
2023-04-25rv: Fix addition on an uninitialized variable 'run'Colin Ian King1-1/+1
2023-01-31tools/rv: Remove unneeded semicolonzhang songyi1-1/+1
2022-12-21Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...Linus Torvalds1-1/+1
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati1-1/+1
2022-12-09Documentation/rv: Add verification/rv man pagesDaniel Bristot de Oliveira1-2/+24
2022-12-09tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira3-0/+704
2022-12-09rv: Add rv toolDaniel Bristot de Oliveira8-0/+558
2022-10-20rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira1-1/+1
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng3-6/+6
2022-09-26rv/dot2K: add 'static' qualifier for local variableZeng Heng3-6/+6
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira1-0/+16
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira1-0/+16
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2-0/+6
2022-07-30tools/rv: Add dot2kDaniel Bristot de Oliveira6-0/+496
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira3-0/+9
2022-07-30tools/rv: Add dot2cDaniel Bristot de Oliveira4-0/+466
generated by cgit 1.3-korg (git 2.53.0) at 2026-06-01 03:57:47 +0000