summaryrefslogtreecommitdiffstats
path: root/include/rv (follow)
Commit message (Expand)AuthorAgeFilesLines
* Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2022-07-301-0/+3
* rv/include: Add instrumentation helper functionsDaniel Bristot de Oliveira2022-07-301-0/+29
* rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira2022-07-301-0/+541
* rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira2022-07-301-0/+75