summaryrefslogtreecommitdiffstats
path: root/tools/verification/dot2
AgeCommit message (Expand)AuthorLines
2025-03-24verification/dot2k: Add support for nested monitorsGabriele Monaco-27/+125
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco-0/+3
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
2023-10-30verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)-2/+0
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati-1/+1
2022-10-20rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira-1/+1
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng-6/+6
2022-09-26rv/dot2K: add 'static' qualifier for local variableZeng Heng-6/+6
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira-0/+6
2022-07-30tools/rv: Add dot2kDaniel Bristot de Oliveira-0/+496
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira-0/+9
2022-07-30tools/rv: Add dot2cDaniel Bristot de Oliveira-0/+466
generated by cgit v1.2.3 (git 2.46.0) at 2026-03-12 22:29:22 +0000