summaryrefslogtreecommitdiffstats
path: root/tools/verification
AgeCommit message (Expand)AuthorFilesLines
2022-10-20rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira1-1/+1
2022-09-26rv/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-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira1-0/+16
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira1-0/+16
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2-0/+6
2022-07-30tools/rv: Add dot2kDaniel Bristot de Oliveira6-0/+496
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira3-0/+9
2022-07-30tools/rv: Add dot2cDaniel Bristot de Oliveira4-0/+466