summaryrefslogtreecommitdiff
path: root/include/rv
AgeCommit message (Expand)Author
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira
2022-07-30rv/include: Add instrumentation helper functionsDaniel Bristot de Oliveira
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira
2022-07-30rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira