linux.git - Clone of https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git

Age	Commit message (Expand)	Author	Files	Lines
2025-12-02	rv: Fix compilation if !CONFIG_RV_REACTORS	Gabriele Monaco	1	-5/+0
2025-11-11	rv: Pass va_list to reactors	Thomas Weißschuh	2	-38/+15
2025-09-29	Merge tag 'kernel-6.18-rc1.clone3' of git://git.kernel.org/pub/scm/linux/kern...	Linus Torvalds	1	-1/+1
2025-07-28	rv: Retry when da monitor detects race conditions	Gabriele Monaco	1	-53/+54
2025-07-28	rv: Add da_handle_start_run_event_ to per-task monitors	Gabriele Monaco	1	-0/+24
2025-07-22	rv/ltl: Do not execute the Buchi automaton twice on start condition	Nam Cao	1	-1/+3
2025-07-09	rv: Add support for LTL monitors	Nam Cao	1	-0/+184
2025-07-09	rv: Let the reactors take care of buffers	Nam Cao	1	-35/+10
2025-01-23	rv: Reset per-task monitors also for idle tasks	Gabriele Monaco	1	-0/+4
2023-09-01	rv: Set variable 'da_mon_##name' to static	Yu Liao	1	-1/+1
2022-07-30	Documentation/rv: Add deterministic automata monitor synthesis documentation	Daniel Bristot de Oliveira	1	-0/+3
2022-07-30	rv/include: Add instrumentation helper functions	Daniel Bristot de Oliveira	1	-0/+29
2022-07-30	rv/include: Add deterministic automata monitor definition via C macros	Daniel Bristot de Oliveira	1	-0/+541
2022-07-30	rv/include: Add helper functions for deterministic automata	Daniel Bristot de Oliveira	1	-0/+75