summaryrefslogtreecommitdiff
path: root/tools/verification/dot2
AgeCommit message (Expand)AuthorFilesLines
2025-07-24verification/dot2k: Prepare the frontend for LTL inclusionNam Cao12-1108/+0
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-03-25verification/dot2k: Add support for nested monitorsGabriele Monaco6-27/+125
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco2-0/+3
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
2023-10-30verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)1-2/+0
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati1-1/+1
2022-10-20rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira1-1/+1
2022-09-27rv/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-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