Show patches with: Submitter = Daniel Bristot de Oliveira       |    Archived = No       |   429 patches
« 1 2 3 4 … 4 5 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[V6,12/16] rv/monitor: Add the wip monitor skeleton created by dot2k The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,11/16] Documentation/rv: Add deterministic automata instrumentation documentation The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,09/16] tools/rv: Add dot2k The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,08/16] Documentation/rv: Add deterministic automaton documentation The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,07/16] tools/rv: Add dot2c The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,06/16] Documentation/rv: Add a basic documentation The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,05/16] rv/include: Add instrumentation helper functions The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,04/16] rv/include: Add deterministic automata monitor definition via C macros The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,03/16] rv/include: Add helper functions for deterministic automata The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,02/16] rv: Add runtime reactors interface The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V6,01/16] rv: Add Runtime Verification (RV) interface The Runtime Verification (RV) interface - - - --- 2022-07-19 Daniel Bristot de Oliveira Superseded
[V2] rtla: Fix Makefile when called from -C tools/ [V2] rtla: Fix Makefile when called from -C tools/ - - 2 --- 2022-07-13 Daniel Bristot de Oliveira Accepted
[V5,16/16] rv/reactor: Add the panic reactor The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,15/16] rv/reactor: Add the printk reactor The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,14/16] rv/monitor: Add the wwnr monitor The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,13/16] rv/monitor: Add the wip monitor The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,12/16] rv/monitor: Add the wip monitor skeleton created by dot2k The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,11/16] Documentation/rv: Add deterministic automata instrumentation documentation The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,09/16] tools/rv: Add dot2k The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,08/16] Documentation/rv: Add deterministic automaton documentation The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,07/16] tools/rv: Add dot2c The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,06/16] Documentation/rv: Add a basic documentation The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,05/16] rv/include: Add instrumentation helper functions The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,04/16] rv/include: Add deterministic automata monitor definition via C macros The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,03/16] rv/include: Add helper functions for deterministic automata The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,02/16] rv: Add runtime reactors interface The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
[V5,01/16] rv: Add Runtime Verification (RV) interface The Runtime Verification (RV) interface - - - --- 2022-07-13 Daniel Bristot de Oliveira Superseded
rtla: Fix Makefile when called from -C tools/ rtla: Fix Makefile when called from -C tools/ - - 1 --- 2022-07-08 Daniel Bristot de Oliveira Superseded
[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
[V4] rtla: Remove procps-ng dependency [V4] rtla: Remove procps-ng dependency - 1 - --- 2022-05-13 Daniel Bristot de Oliveira Accepted
[V3] rtla: Remove procps-ng dependency [V3] rtla: Remove procps-ng dependency - 1 - --- 2022-05-10 Daniel Bristot de Oliveira Superseded
[3/3] tracing/timerlat: Do not wakeup the thread if the trace stops at the IRQ [1/3] tracing/timerlat: Notify IRQ new max latency only if stop tracing is set - - - --- 2022-05-10 Daniel Bristot de Oliveira Accepted
[2/3] tracing/timerlat: Print stacktrace in the IRQ handler if needed [1/3] tracing/timerlat: Notify IRQ new max latency only if stop tracing is set - - - --- 2022-05-10 Daniel Bristot de Oliveira Accepted
[1/3] tracing/timerlat: Notify IRQ new max latency only if stop tracing is set [1/3] tracing/timerlat: Notify IRQ new max latency only if stop tracing is set - - - --- 2022-05-10 Daniel Bristot de Oliveira Accepted
[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
[4/4] rtla: Fix __set_sched_attr error message rtla: v5.18-rc4 fixes - - - --- 2022-04-29 Daniel Bristot de Oliveira Accepted
[3/4] rtla: Minor grammar fix for rtla README rtla: v5.18-rc4 fixes 1 - - --- 2022-04-29 Daniel Bristot de Oliveira Accepted
[2/4] rtla: Don't overwrite existing directory mode rtla: v5.18-rc4 fixes 1 - - --- 2022-04-29 Daniel Bristot de Oliveira Accepted
[1/4] rtla: Avoid record NULL pointer dereference rtla: v5.18-rc4 fixes 1 - - --- 2022-04-29 Daniel Bristot de Oliveira Accepted
[V2] rtla/Makefile: Properly handle dependencies [V2] rtla/Makefile: Properly handle dependencies - - - --- 2022-04-29 Daniel Bristot de Oliveira Accepted
[v2] rtla: Remove procps-ng dependency [v2] rtla: Remove procps-ng dependency - - - --- 2022-04-29 Daniel Bristot de Oliveira Superseded
[2/2] rtla: Fix __set_sched_attr error message [1/2] rtla: Remove procps-ng dependency - - - --- 2022-04-22 Daniel Bristot de Oliveira Accepted
[1/2] rtla: Remove procps-ng dependency [1/2] rtla: Remove procps-ng dependency - - - --- 2022-04-22 Daniel Bristot de Oliveira Accepted
rtla/Makefile: Properly handle dependencies rtla/Makefile: Properly handle dependencies - - - --- 2022-03-24 Daniel Bristot de Oliveira Superseded
tracing/osnoise: Do not unregister events twice tracing/osnoise: Do not unregister events twice - - - --- 2022-03-09 Daniel Bristot de Oliveira Accepted
[V3,15/15] rtla: Tools main loop cleanup rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,14/15] rtla/timerlat: Add --dma-latency option rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,13/15] rtla/osnoise: Fix osnoise hist stop tracing message rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,12/15] rtla: Check for trace off also in the trace instance rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,11/15] rtla/trace: Save event histogram output to a file rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,10/15] rtla: Add --filter support rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,09/15] rtla/trace: Add trace event filter helpers rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,08/15] rtla: Add --trigger support rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,07/15] rtla/trace: Add trace event trigger helpers rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,06/15] rtla: Add -e/--event support rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,05/15] rtla/trace: Add trace events helpers rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,04/15] rtla/timerlat: Add the automatic trace option rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,03/15] rtla/osnoise: Add the automatic trace option rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,02/15] rtla/osnoise: Add an option to set the threshold rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
[V3,01/15] rtla/osnoise: Add support to adjust the tracing_thresh rtla: Improved tracing support - - - --- 2022-03-02 Daniel Bristot de Oliveira Accepted
« 1 2 3 4 … 4 5 »