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