summaryrefslogtreecommitdiff
path: root/tools/verification/dot2/dot2k.py
AgeCommit message (Expand)Author
10 daysverification/dot2k: Prepare the frontend for LTL inclusionNam Cao
10 daysverification/dot2k: Replace is_container() hack with subparsersNam Cao
10 daysverification/dot2k: Remove __buff_to_string()Nam Cao
10 daysverification/dot2k: Make a separate dot2k_templates/Kconfig_containerNam Cao
2025-03-24verification/dot2k: Add support for nested monitorsGabriele Monaco
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco
2024-12-27verification/dot2k: Implement event type detectionGabriele Monaco
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco
2024-12-27verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco
2024-12-27verification/dot2k: Add support for name and description optionsGabriele Monaco
2024-12-27verification/dot2k: More robust template variablesGabriele Monaco
2024-12-27verification/dot2k: Unify main.c templatesGabriele Monaco
2024-12-27verification/dot2k: Fix template directory detectionGabriele Monaco
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira
2022-07-30tools/rv: Add dot2kDaniel Bristot de Oliveira
generated by cgit (git 2.34.1) at 2025-08-03 23:04:21 +0000