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