summaryrefslogtreecommitdiff
path: root/tools/verification/dot2/dot2k_templates
AgeCommit message (Expand)AuthorFilesLines
2025-03-25verification/dot2k: Add support for nested monitorsGabriele Monaco4-2/+44
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco1-0/+2
2024-12-27verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco3-1/+20
2024-12-27verification/dot2k: Add support for name and description optionsGabriele Monaco1-2/+2
2024-12-27verification/dot2k: More robust template variablesGabriele Monaco1-25/+25
2024-12-27verification/dot2k: Unify main.c templatesGabriele Monaco3-183/+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-30tools/rv: Add dot2kDaniel Bristot de Oliveira3-0/+273