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

Date	List	Subject
2022-07-25 21:03:13	linux-kernel	[PATCH V7 06/16] Documentation/rv: Add a basic documentation
2022-07-25 20:36:05	linux-kernel	[PATCH V7 11/16] Documentation/rv: Add deterministic automata instrumentation documentation
2022-07-25 20:35:42	linux-kernel	[PATCH V7 09/16] tools/rv: Add dot2k
2022-07-25 20:34:40	linux-kernel	[PATCH V7 00/16] The Runtime Verification (RV) interface
2022-07-25 20:34:26	linux-kernel	[PATCH V7 10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation
2022-07-25 20:33:20	linux-kernel	[PATCH V7 02/16] rv: Add runtime reactors interface
2022-07-25 20:33:14	linux-kernel	[PATCH V7 15/16] rv/reactor: Add the printk reactor
2022-07-25 20:32:56	linux-kernel	[PATCH V7 07/16] tools/rv: Add dot2c
2022-07-25 20:26:05	linux-kernel	[PATCH V7 16/16] rv/reactor: Add the panic reactor
2022-07-25 20:25:49	linux-kernel	[PATCH V7 01/16] rv: Add Runtime Verification (RV) interface
2022-07-25 20:13:56	linux-kernel	[PATCH V7 05/16] rv/include: Add instrumentation helper functions
2022-07-25 20:13:51	linux-kernel	[PATCH V7 04/16] rv/include: Add deterministic automata monitor definition via C macros
2022-07-25 16:31:28	linux-kernel	Re: [PATCH] rtla: Define syscall numbers for riscv
2022-07-25 15:29:50	linux-kernel	Re: [PATCH v2] rtla: Fix double free
2022-07-25 15:26:29	linux-kernel	Re: [PATCH] rtla: fix double free
2022-07-25 13:45:21	linux-kernel	Re: [PATCH] rtla: fix double free
2022-07-21 17:13:06	linux-kernel	Re: [PATCH V6 04/16] rv/include: Add deterministic automata monitor definition via C macros
2022-07-21 16:59:18	linux-kernel	Re: [PATCH V6 16/16] rv/reactor: Add the panic reactor
2022-07-21 12:13:28	linux-kernel	Re: [PATCH V6 04/16] rv/include: Add deterministic automata monitor definition via C macros
2022-07-20 18:36:50	linux-kernel	Re: [PATCH V6 02/16] rv: Add runtime reactors interface
2022-07-20 17:29:33	linux-kernel	Re: [PATCH V6 02/16] rv: Add runtime reactors interface
2022-07-20 15:41:46	linux-kernel	Re: [PATCH V6 01/16] rv: Add Runtime Verification (RV) interface
2022-07-20 15:28:50	linux-kernel	Re: [PATCH V6 01/16] rv: Add Runtime Verification (RV) interface
2022-07-19 18:39:49	linux-kernel	[PATCH V6 07/16] tools/rv: Add dot2c
2022-07-19 18:38:36	linux-kernel	[PATCH V6 01/16] rv: Add Runtime Verification (RV) interface
2022-07-19 18:36:23	linux-kernel	[PATCH V6 13/16] rv/monitor: Add the wip monitor
2022-07-19 18:36:20	linux-kernel	[PATCH V6 04/16] rv/include: Add deterministic automata monitor definition via C macros
2022-07-19 18:32:56	linux-kernel	[PATCH V6 11/16] Documentation/rv: Add deterministic automata instrumentation documentation
2022-07-19 18:29:32	linux-kernel	[PATCH V6 00/16] The Runtime Verification (RV) interface
2022-07-19 18:27:38	linux-kernel	[PATCH V6 06/16] Documentation/rv: Add a basic documentation
2022-07-19 18:24:59	linux-kernel	[PATCH V6 03/16] rv/include: Add helper functions for deterministic automata
2022-07-19 18:23:28	linux-kernel	[PATCH V6 02/16] rv: Add runtime reactors interface
2022-07-19 18:23:21	linux-kernel	[PATCH V6 09/16] tools/rv: Add dot2k
2022-07-19 17:55:00	linux-kernel	[PATCH V6 16/16] rv/reactor: Add the panic reactor
2022-07-19 17:52:41	linux-kernel	[PATCH V6 14/16] rv/monitor: Add the wwnr monitor
2022-07-19 17:52:38	linux-kernel	[PATCH V6 10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation
2022-07-19 17:49:38	linux-kernel	[PATCH V6 05/16] rv/include: Add instrumentation helper functions
2022-07-19 17:44:50	linux-kernel	[PATCH V6 12/16] rv/monitor: Add the wip monitor skeleton created by dot2k
2022-07-19 17:44:50	linux-kernel	[PATCH V6 15/16] rv/reactor: Add the printk reactor
2022-07-19 17:30:56	linux-kernel	[PATCH V6 08/16] Documentation/rv: Add deterministic automaton documentation
2022-07-18 08:15:03	linux-kernel	Re: [PATCH V5 04/16] rv/include: Add deterministic automata monitor definition via C macros
2022-07-15 12:03:30	linux-kernel	Re: [PATCH V5 01/16] rv: Add Runtime Verification (RV) interface
2022-07-14 11:03:30	linux-kernel	Re: [PATCH V2] rtla: Fix Makefile when called from -C tools/
2022-07-13 22:23:57	linux-kernel	Re: [PATCH] rtla: Fix Makefile when called from -C tools/
2022-07-13 22:19:55	linux-kernel	[PATCH V2] rtla: Fix Makefile when called from -C tools/
2022-07-13 22:07:50	linux-kernel	[PATCH V5 10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation
2022-07-13 22:07:19	linux-kernel	[PATCH V5 15/16] rv/reactor: Add the printk reactor
2022-07-13 22:06:49	linux-kernel	[PATCH V5 04/16] rv/include: Add deterministic automata monitor definition via C macros
2022-07-13 22:02:47	linux-kernel	[PATCH V5 07/16] tools/rv: Add dot2c
2022-07-13 21:49:15	linux-kernel	[PATCH V5 11/16] Documentation/rv: Add deterministic automata instrumentation documentation
2022-07-13 21:48:32	linux-kernel	[PATCH V5 08/16] Documentation/rv: Add deterministic automaton documentation