summaryrefslogtreecommitdiff
path: root/include/linux/rv.h
AgeCommit message (Expand)Author
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira