Show patches with: Series = The Runtime Verification (RV) interface       |    Archived = No       |   16 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[V9,16/16] rv/reactor: Add the panic reactor The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,15/16] rv/reactor: Add the printk reactor The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,14/16] rv/monitor: Add the wwnr monitor The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,13/16] rv/monitor: Add the wip monitor The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,12/16] rv/monitor: Add the wip monitor skeleton created by dot2k The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,11/16] Documentation/rv: Add deterministic automata instrumentation documentation The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,09/16] tools/rv: Add dot2k The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,08/16] Documentation/rv: Add deterministic automaton documentation The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,07/16] tools/rv: Add dot2c The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,06/16] Documentation/rv: Add a basic documentation The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,05/16] rv/include: Add instrumentation helper functions The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,04/16] rv/include: Add deterministic automata monitor definition via C macros The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,03/16] rv/include: Add helper functions for deterministic automata The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,02/16] rv: Add runtime reactors interface The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted
[V9,01/16] rv: Add Runtime Verification (RV) interface The Runtime Verification (RV) interface - - - --- 2022-07-29 Daniel Bristot de Oliveira Accepted