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