wireguard-linux - WireGuard for the Linux kernel

Age	Commit message (Expand)	Author	Files	Lines
2025-09-29	Merge tag 'kernel-6.18-rc1.clone3' of git://git.kernel.org/pub/scm/linux/kernel/git/vfs/vfs	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