summaryrefslogtreecommitdiff
path: root/include/linux/rv.h
AgeCommit message (Expand)AuthorFilesLines
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+10
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira1-0/+17
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira1-0/+43