summaryrefslogtreecommitdiff
path: root/tools/verification/dot2/dot2c.py
AgeCommit message (Expand)AuthorFilesLines
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati1-1/+1
2022-10-20rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira1-1/+1
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira1-0/+3
2022-07-30tools/rv: Add dot2cDaniel Bristot de Oliveira1-0/+251