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