Commits

History for

ontopic/sof-dev

Commits on Mar 31, 2026

Commits on Feb 20, 2026

rv: Fix multiple definition of __pcpu_unique_da_mon_this

NTMan
authored and
glemco
committed

Commits on Jan 12, 2026

Commits on Dec 2, 2025

rv: Fix compilation if !CONFIG_RV_REACTORS

glemco
authored and
rostedt
committed

Commits on Nov 11, 2025

rv: Pass va_list to reactors

t-8ch
authored and
glemco
committed

Commits on Sep 29, 2025

Merge tag 'kernel-6.18-rc1.clone3' of git://git.kernel.org/pub/scm/linux/kernel/git/vfs/vfs
torvalds
committed

Commits on Jul 28, 2025

rv: Retry when da monitor detects race conditions

glemco
authored and
rostedt
committed
rv: Add da_handle_start_run_event_ to per-task monitors

glemco
authored and
rostedt
committed

Commits on Jul 23, 2025

rv/ltl: Do not execute the Buchi automaton twice on start condition

covanam
authored and
rostedt
committed

Commits on Jul 9, 2025

rv: Add support for LTL monitors

covanam
authored and
rostedt
committed
rv: Let the reactors take care of buffers

covanam
authored and
rostedt
committed

Commits on Jan 23, 2025

rv: Reset per-task monitors also for idle tasks

glemco
authored and
rostedt
committed

Commits on Sep 2, 2023

rv: Set variable 'da_mon_##name' to static

yuliao0214
authored and
rostedt
committed

Commits on Jul 30, 2022

Documentation/rv: Add deterministic automata monitor synthesis documentation

Daniel Bristot de Oliveira
authored and
rostedt
committed
rv/include: Add instrumentation helper functions

Daniel Bristot de Oliveira
authored and
rostedt
committed
rv/include: Add deterministic automata monitor definition via C macros

Daniel Bristot de Oliveira
authored and
rostedt
committed
rv/include: Add helper functions for deterministic automata

Daniel Bristot de Oliveira
authored and
rostedt
committed

Loading