On Fri, 2025-04-11 at 09:37 +0200, Nam Cao wrote: > CONFIG_DA_MON_EVENTS is not specific to deterministic automaton. It > could > be used for other monitor types. Therefore rename it to > CONFIG_RV_MON_EVENTS. > > This prepares for the introduction of linear temporal logic monitor. > > Signed-off-by: Nam Cao <[email protected]> > --- Reviewed-by: Gabriele Monaco <[email protected]>
- [PATCH v2 00/22] RV: Linear temporal logic monitors for RT... Nam Cao
- [PATCH v2 02/22] rv: Add #undef TRACE_INCLUDE_FILE Nam Cao
- [PATCH v2 01/22] rv: Fix out-of-bound memory access i... Nam Cao
- [PATCH v2 03/22] rv: Let the reactors take care of bu... Nam Cao
- Re: [PATCH v2 03/22] rv: Let the reactors take ca... Gabriele Monaco
- [PATCH v2 08/22] rv: rename CONFIG_DA_MON_EVENTS to C... Nam Cao
- Re: [PATCH v2 08/22] rv: rename CONFIG_DA_MON_EVE... Gabriele Monaco
- [PATCH v2 04/22] verification/dot2k: Make it possible... Nam Cao
- Re: [PATCH v2 04/22] verification/dot2k: Make it ... Gabriele Monaco
- Re: [PATCH v2 04/22] verification/dot2k: Make... Nam Cao
- Re: [PATCH v2 04/22] verification/dot2k: ... Gabriele Monaco
- [PATCH v2 06/22] verification/dot2k: Remove __buff_to... Nam Cao
- Re: [PATCH v2 06/22] verification/dot2k: Remove _... Gabriele Monaco
- [PATCH v2 12/22] verification/rvgen: Restructure the ... Nam Cao
- [PATCH v2 05/22] verification/dot2k: Make a separate ... Nam Cao
- Re: [PATCH v2 05/22] verification/dot2k: Make a s... Gabriele Monaco
- [PATCH v2 07/22] verification/dot2k: Replace is_conta... Nam Cao
