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