summaryrefslogtreecommitdiff
path: root/tools/verification/dot2/dot2k_templates/main.c
AgeCommit message (Expand)AuthorFilesLines
2025-03-25verification/dot2k: Add support for nested monitorsGabriele Monaco1-2/+2
2024-12-27verification/dot2k: Simplify manual steps in monitor creationGabriele Monaco1-1/+1
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 Monaco1-0/+91