Daniel Bristot de Oliveira ([email protected])

Number of posts: 888 (0.83 per day)
First post: 2021-07-05 12:21:59
Last post: 2024-06-04 06:44:23

Previous Page / Next Page
Date List Subject
2022-06-16 08:48:57 linux-kernel [PATCH V4 04/20] rv/include: Add deterministic automata monitor definition via C macros
2022-06-16 08:48:48 linux-kernel [PATCH V4 07/20] tools/rv: Add dot2k
2022-06-16 08:48:27 linux-kernel [PATCH V4 01/20] rv: Add Runtime Verification (RV) interface
2022-06-16 08:47:49 linux-kernel [PATCH V4 05/20] rv/include: Add instrumentation helper functions
2022-05-18 14:18:32 linux-kernel [ANNOUNCE] CFP: Real-time and Scheduling Microconference - Linux Plumbers Conference 2022
2022-05-14 03:00:57 linux-kernel [PATCH V4] rtla: Remove procps-ng dependency
2022-05-10 21:02:25 linux-kernel Re: [PATCH V3] rtla: Remove procps-ng dependency
2022-05-10 16:53:28 linux-kernel [PATCH V3] rtla: Remove procps-ng dependency
2022-05-10 15:23:54 linux-kernel [PATCH 3/3] tracing/timerlat: Do not wakeup the thread if the trace stops at the IRQ
2022-05-10 13:35:56 linux-kernel [PATCH 1/3] tracing/timerlat: Notify IRQ new max latency only if stop tracing is set
2022-05-10 12:18:38 linux-kernel [PATCH 2/3] tracing/timerlat: Print stacktrace in the IRQ handler if needed
2022-05-09 09:02:23 linux-kernel [RFC V3 14/20] Documentation/rv: Add a basic documentation
2022-05-09 08:49:26 linux-kernel Re: [PATCH v2] rtla: Remove procps-ng dependency
2022-05-09 06:32:42 linux-kernel [RFC V3 18/20] rv/monitor: Add safe watchdog monitor
2022-05-09 05:59:05 linux-kernel [RFC V3 09/20] rv/monitor: wip instrumentation and Makefile/Kconfig entries
2022-05-09 05:02:00 linux-kernel [RFC V3 06/20] tools/rv: Add dot2c
2022-05-09 04:35:02 linux-kernel [RFC V3 05/20] rv/include: Add instrumentation helper functions
2022-05-09 04:10:36 linux-kernel [RFC V3 02/20] rv: Add runtime reactors interface
2022-05-09 03:48:09 linux-kernel Re: [PATCH v2] rtla: Remove procps-ng dependency
2022-05-09 02:38:01 linux-kernel [RFC V3 11/20] rv/monitor: wwnr instrumentation and Makefile/Kconfig entries
2022-05-09 02:11:51 linux-kernel [RFC V3 08/20] rv/monitor: Add the wip monitor skeleton created by dot2k
2022-05-08 19:05:31 linux-kernel [RFC V3 15/20] Documentation/rv: Add deterministic automata monitor synthesis documentation
2022-05-08 19:02:54 linux-kernel [RFC V3 19/20] rv/safety_app: Add an safety_app sample
2022-05-08 17:58:21 linux-kernel [RFC V3 17/20] watchdog/dev: Add tracepoints
2022-05-07 19:51:19 linux-kernel [RFC V3 04/20] rv/include: Add deterministic automata monitor definition via C macros
2022-05-07 18:01:51 linux-kernel [RFC V3 13/20] rv/reactor: Add the panic reactor
2022-05-07 06:47:33 linux-kernel [RFC V3 20/20] Documentation/rv: Add watchdog-monitor documentation
2022-05-06 20:25:49 linux-kernel [RFC V3 12/20] rv/reactor: Add the printk reactor
2022-05-06 16:01:04 linux-kernel [RFC V3 07/20] tools/rv: Add dot2k
2022-05-06 14:35:28 linux-kernel [RFC V3 10/20] rv/monitor: Add the wwnr monitor skeleton created by dot2k
2022-05-06 07:29:33 linux-kernel [RFC V3 16/20] Documentation/rv: Add deterministic automata instrumentation documentation
2022-05-06 06:08:48 linux-kernel [RFC V3 01/20] rv: Add Runtime Verification (RV) interface
2022-05-05 23:05:22 linux-kernel [RFC V3 03/20] rv/include: Add helper functions for deterministic automata
2022-05-05 17:00:49 linux-kernel [RFC V3 00/20] The Runtime Verification (RV) interface
2022-05-03 01:03:38 linux-kernel [PATCH 3/4] rtla: Minor grammar fix for rtla README
2022-05-03 00:33:25 linux-kernel [PATCH V2] rtla/Makefile: Properly handle dependencies
2022-05-02 23:17:08 linux-kernel [PATCH 0/4] rtla: v5.18-rc4 fixes
2022-05-02 04:13:42 linux-kernel [PATCH 1/4] rtla: Avoid record NULL pointer dereference
2022-05-02 03:51:26 linux-kernel [PATCH 2/4] rtla: Don't overwrite existing directory mode
2022-04-30 14:06:34 linux-kernel [PATCH 4/4] rtla: Fix __set_sched_attr error message
2022-04-29 15:18:07 linux-kernel [PATCH v2] rtla: Remove procps-ng dependency
2022-04-26 16:51:58 linux-kernel Re: [PATCH 1/2] rtla: Remove procps-ng dependency
2022-04-22 20:36:23 linux-kernel [PATCH 1/2] rtla: Remove procps-ng dependency
2022-04-22 18:28:11 linux-kernel [PATCH 2/2] rtla: Fix __set_sched_attr error message
2022-04-22 14:55:29 linux-kernel Re: [PATCH] rtla: Documentation: fix email addresses
2022-04-12 07:20:21 linux-kernel Re: [PATCH v2] rtla: Minor grammar fix for rtla README
2022-04-10 02:37:17 linux-kernel Re: [PATCH v2] rtla: add a tag to avoid dereferring a NULL pointer
2022-04-01 14:52:39 linux-kernel Re: [PATCH] rtla/osnoise_hist: avoid NULL pointer dereference on out
2022-03-31 15:13:49 linux-kernel Re: [PATCH] rtla/osnoise: avoid NULL pointer dereference on out
2022-03-31 14:01:12 linux-kernel Re: [PATCH] rtla/osnoise: fix NULL but dereferenced coccicheck errors
2022-03-25 15:47:10 linux-kernel Re: [GIT PULL] tracing/rtla: Updates to the RTLA tool