summaryrefslogtreecommitdiffstats
path: root/include/rv/da_monitor.h
Commit message (Expand)AuthorAgeFilesLines
* rv: Set variable 'da_mon_##name' to staticYu Liao2023-09-011-1/+1
* Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2022-07-301-0/+3
* rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira2022-07-301-0/+541