summaryrefslogtreecommitdiff
path: root/tools/verification/dot2/dot2k_templates/Kconfig
AgeCommit message (Expand)Author
11 daysverification/dot2k: Prepare the frontend for LTL inclusionNam 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: Simplify manual steps in monitor creationGabriele Monaco