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
[V7,16/16] rv/reactor: Add the panic reactor The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,15/16] rv/reactor: Add the printk reactor The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,14/16] rv/monitor: Add the wwnr monitor The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,13/16] rv/monitor: Add the wip monitor The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,12/16] rv/monitor: Add the wip monitor skeleton created by dot2k The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,11/16] Documentation/rv: Add deterministic automata instrumentation documentation The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,09/16] tools/rv: Add dot2k The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,08/16] Documentation/rv: Add deterministic automaton documentation The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,07/16] tools/rv: Add dot2c The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,06/16] Documentation/rv: Add a basic documentation The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,05/16] rv/include: Add instrumentation helper functions The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,04/16] rv/include: Add deterministic automata monitor definition via C macros The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,03/16] rv/include: Add helper functions for deterministic automata The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,02/16] rv: Add runtime reactors interface The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded
[V7,01/16] rv: Add Runtime Verification (RV) interface The Runtime Verification (RV) interface - - - --- 2022-07-25 Daniel Bristot de Oliveira Superseded