aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/include/rv
AgeCommit message (Expand)AuthorFilesLines
12 daysMerge tag 'mm-stable-2026-08-26-15-22' of git://git.kernel.org/pub/scm/linux/kernel/git/akpm/mmLinus Torvalds1-1/+1
2026-08-24percpu: drop CONFIG_DEBUG_FORCE_WEAK_PER_CPUTejun Heo1-1/+1
2026-07-31rv: Add KUnit tests for some LTL monitorsGabriele Monaco1-0/+8
2026-07-31rv: Add KUnit mock for currentGabriele Monaco3-1/+15
2026-07-31rv: Add KUnit tests for some DA/HA monitorsGabriele Monaco3-0/+104
2026-07-31rv: Use generic rv_this for the rv_monitor variable in LTLGabriele Monaco1-3/+2
2026-07-23rv: Fix read_lock scope in per-task DA cleanupGabriele Monaco1-4/+4
2026-07-20rv: Simplify hybrid automata monitors's clock variablesNam Cao1-48/+16
2026-06-03rv: Prevent task migration while handling per-CPU eventsGabriele Monaco1-0/+11
2026-06-03rv: Ensure synchronous cleanup for HA monitorsGabriele Monaco2-5/+41
2026-06-03rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco1-0/+60
2026-06-03rv: Do not rely on clean monitor when initialising HAGabriele Monaco2-17/+76
2026-06-03rv: Fix monitor start ordering and memory ordering for monitoring flagWen Yang1-3/+5
2026-06-03rv: Ensure all pending probes terminate on per-obj monitor destroyGabriele Monaco1-2/+3
2026-06-03rv: Prevent in-flight per-task handlers from using invalid slotsGabriele Monaco2-0/+5
2026-06-03rv: Reset per-task DA monitors before releasing the slotGabriele Monaco1-2/+3
2026-03-31rv: Add support for per-object monitors in DA/HAGabriele Monaco2-6/+299
2026-03-31rv: Add Hybrid Automata monitor typeGabriele Monaco2-4/+544
2026-03-31rv: Unify DA event handling functions across monitor typesGabriele Monaco1-171/+132
2026-02-20rv: Fix multiple definition of __pcpu_unique_da_mon_thisMikhail Gavrilov1-5/+11
2026-01-12rv: Fix documentation reference in da_monitor.hShubham Sharma1-1/+1
2026-01-12rv: Cleanup da_monitor after refactorGabriele Monaco2-81/+50
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco2-514/+516
2025-12-02rv: Fix compilation if !CONFIG_RV_REACTORSGabriele Monaco1-5/+0
2025-11-11rv: Pass va_list to reactorsThomas Weißschuh2-38/+15
2025-09-29Merge tag 'kernel-6.18-rc1.clone3' of git://git.kernel.org/pub/scm/linux/kernel/git/vfs/vfsLinus Torvalds1-1/+1
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco1-51/+52
2025-07-28rv: Add da_handle_start_run_event_ to per-task monitorsGabriele Monaco1-0/+24
2025-07-22rv/ltl: Do not execute the Buchi automaton twice on start conditionNam Cao1-1/+3
2025-07-09rv: Add support for LTL monitorsNam Cao1-0/+184
2025-07-09rv: Let the reactors take care of buffersNam Cao1-35/+10
2025-01-23rv: Reset per-task monitors also for idle tasksGabriele Monaco1-0/+4
2023-09-01rv: Set variable 'da_mon_##name' to staticYu Liao1-1/+1
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira1-0/+3
2022-07-30rv/include: Add instrumentation helper functionsDaniel Bristot de Oliveira1-0/+29
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+541
2022-07-30rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira1-0/+75
Copyright © 1996 – 2026 Jason A. Donenfeld. All Rights Reverse Engineered.