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-07-13 21:47:44 linux-kernel [PATCH V5 03/16] rv/include: Add helper functions for deterministic automata
2022-07-13 21:46:37 linux-kernel [PATCH V5 14/16] rv/monitor: Add the wwnr monitor
2022-07-13 21:45:30 linux-kernel [PATCH V5 16/16] rv/reactor: Add the panic reactor
2022-07-13 21:43:52 linux-kernel [PATCH V5 02/16] rv: Add runtime reactors interface
2022-07-13 21:42:08 linux-kernel [PATCH V5 06/16] Documentation/rv: Add a basic documentation
2022-07-13 21:41:57 linux-kernel [PATCH V5 13/16] rv/monitor: Add the wip monitor
2022-07-13 21:40:10 linux-kernel [PATCH V5 00/16] The Runtime Verification (RV) interface
2022-07-13 21:38:18 linux-kernel [PATCH V5 01/16] rv: Add Runtime Verification (RV) interface
2022-07-13 21:36:55 linux-kernel [PATCH V5 09/16] tools/rv: Add dot2k
2022-07-13 21:36:40 linux-kernel [PATCH V5 12/16] rv/monitor: Add the wip monitor skeleton created by dot2k
2022-07-13 21:36:01 linux-kernel [PATCH V5 05/16] rv/include: Add instrumentation helper functions
2022-07-13 19:48:45 linux-kernel Re: [PATCH V4 14/20] Documentation/rv: Add a basic documentation
2022-07-13 19:28:00 linux-kernel Re: [PATCH V4 18/20] rv/monitor: Add safe watchdog monitor
2022-07-13 19:09:38 linux-kernel Re: [PATCH V4 13/20] rv/reactor: Add the panic reactor
2022-07-13 19:09:02 linux-kernel Re: [PATCH V4 03/20] rv/include: Add helper functions for deterministic automata
2022-07-13 18:59:20 linux-kernel Re: [PATCH V4 20/20] Documentation/rv: Add watchdog-monitor documentation
2022-07-13 18:57:12 linux-kernel Re: [PATCH V4 17/20] watchdog/dev: Add tracepoints
2022-07-13 18:56:09 linux-kernel Re: [PATCH V4 04/20] rv/include: Add deterministic automata monitor definition via C macros
2022-07-13 18:47:11 linux-kernel Re: [PATCH V4 06/20] tools/rv: Add dot2c
2022-07-08 14:43:35 linux-kernel Re: [PATCH V4 01/20] rv: Add Runtime Verification (RV) interface
2022-07-08 12:45:27 linux-kernel Re: [PATCH v2] rtla/utils: Use calloc and check the potential memory allocation failure
2022-07-08 12:25:58 linux-kernel [PATCH] rtla: Fix Makefile when called from -C tools/
2022-07-04 20:11:06 linux-kernel Re: [PATCH V4 01/20] rv: Add Runtime Verification (RV) interface
2022-07-04 13:44:08 linux-kernel Re: [PATCH V4 18/20] rv/monitor: Add safe watchdog monitor
2022-07-01 14:17:11 linux-kernel Re: [PATCH V4 01/20] rv: Add Runtime Verification (RV) interface
2022-06-23 20:42:53 linux-kernel Re: [PATCH V4 00/20] The Runtime Verification (RV) interface
2022-06-23 16:48:27 linux-kernel Re: [PATCH V4 00/20] The Runtime Verification (RV) interface
2022-06-17 17:13:36 linux-kernel Re: [PATCH V4 18/20] rv/monitor: Add safe watchdog monitor
2022-06-17 17:09:42 linux-kernel Re: [PATCH V4 18/20] rv/monitor: Add safe watchdog monitor
2022-06-17 16:35:03 linux-kernel Re: [PATCH V4 09/20] rv/monitor: wip instrumentation and Makefile/Kconfig entries
2022-06-17 16:27:01 linux-kernel Re: [PATCH V4 17/20] watchdog/dev: Add tracepoints
2022-06-17 16:22:10 linux-kernel Re: [PATCH V4 13/20] rv/reactor: Add the panic reactor
2022-06-16 16:19:08 linux-kernel Re: [PATCH V4 17/20] watchdog/dev: Add tracepoints
2022-06-16 16:00:20 linux-kernel Re: [PATCH V4 18/20] rv/monitor: Add safe watchdog monitor
2022-06-16 09:36:58 linux-kernel [PATCH V4 03/20] rv/include: Add helper functions for deterministic automata
2022-06-16 09:34:25 linux-kernel [PATCH V4 02/20] rv: Add runtime reactors interface
2022-06-16 09:31:47 linux-kernel [PATCH V4 16/20] Documentation/rv: Add deterministic automata instrumentation documentation
2022-06-16 09:31:33 linux-kernel [PATCH V4 09/20] rv/monitor: wip instrumentation and Makefile/Kconfig entries
2022-06-16 09:30:05 linux-kernel [PATCH V4 20/20] Documentation/rv: Add watchdog-monitor documentation
2022-06-16 09:24:48 linux-kernel [PATCH V4 13/20] rv/reactor: Add the panic reactor
2022-06-16 09:13:31 linux-kernel [PATCH V4 19/20] rv/safety_app: Add a safety_app sample
2022-06-16 09:12:48 linux-kernel [PATCH V4 15/20] Documentation/rv: Add deterministic automata monitor synthesis documentation
2022-06-16 09:12:17 linux-kernel [PATCH V4 11/20] rv/monitor: wwnr instrumentation and Makefile/Kconfig entries
2022-06-16 09:10:49 linux-kernel [PATCH V4 12/20] rv/reactor: Add the printk reactor
2022-06-16 09:05:49 linux-kernel [PATCH V4 08/20] rv/monitor: Add the wip monitor skeleton created by dot2k
2022-06-16 09:03:58 linux-kernel [PATCH V4 17/20] watchdog/dev: Add tracepoints
2022-06-16 09:03:16 linux-kernel [PATCH V4 06/20] tools/rv: Add dot2c
2022-06-16 09:02:56 linux-kernel [PATCH V4 00/20] The Runtime Verification (RV) interface
2022-06-16 08:50:06 linux-kernel [PATCH V4 18/20] rv/monitor: Add safe watchdog monitor
2022-06-16 08:49:24 linux-kernel [PATCH V4 14/20] Documentation/rv: Add a basic documentation
2022-06-16 08:49:19 linux-kernel [PATCH V4 10/20] rv/monitor: Add the wwnr monitor skeleton created by dot2k