summaryrefslogtreecommitdiff
path: root/tools/verification
Commit message (Expand)AuthorAgeFilesLines
* rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira2022-10-201-1/+1
* rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng2022-09-263-6/+6
* rv/dot2K: add 'static' qualifier for local variableZeng Heng2022-09-263-6/+6
* rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira2022-07-301-0/+16
* rv/monitor: Add the wip monitorDaniel Bristot de Oliveira2022-07-301-0/+16
* Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2022-07-302-0/+6
* tools/rv: Add dot2kDaniel Bristot de Oliveira2022-07-306-0/+496
* Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira2022-07-303-0/+9
* tools/rv: Add dot2cDaniel Bristot de Oliveira2022-07-304-0/+466