aboutsummaryrefslogtreecommitdiffstats
path: root/tools/verification/dot2/dot2k.py (follow)
AgeCommit message (Expand)AuthorFilesLines
2025-07-24verification/dot2k: Prepare the frontend for LTL inclusionNam Cao1-381/+0
2025-07-24verification/dot2k: Replace is_container() hack with subparsersNam Cao1-1/+1
2025-07-24verification/dot2k: Remove __buff_to_string()Nam Cao1-15/+6
2025-07-24verification/dot2k: Make a separate dot2k_templates/Kconfig_containerNam Cao1-1/+2
2025-03-24verification/dot2k: Add support for nested monitorsGabriele Monaco1-16/+63
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco1-0/+1
2024-12-27verification/dot2k: Implement event type detectionGabriele Monaco1-2/+9
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco1-14/+78
2024-12-27verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco1-0/+86
2024-12-27verification/dot2k: Add support for name and description optionsGabriele Monaco1-3/+5
2024-12-27verification/dot2k: More robust template variablesGabriele Monaco1-7/+7
2024-12-27verification/dot2k: Unify main.c templatesGabriele Monaco1-1/+6
2024-12-27verification/dot2k: Fix template directory detectionGabriele Monaco1-8/+8
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira1-0/+3
2022-07-30tools/rv: Add dot2kDaniel Bristot de Oliveira1-0/+174
generated by cgit v1.2.3 (git 2.39.1) at 2026-01-07 07:34:31 +0000