aboutsummaryrefslogtreecommitdiff
path: root/include/rv
AgeCommit message (Expand)AuthorFilesLines
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationGravatar Daniel Bristot de Oliveira 1-0/+3
2022-07-30rv/include: Add instrumentation helper functionsGravatar Daniel Bristot de Oliveira 1-0/+29
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosGravatar Daniel Bristot de Oliveira 1-0/+541
2022-07-30rv/include: Add helper functions for deterministic automataGravatar Daniel Bristot de Oliveira 1-0/+75