linux-trace-kernel
Thread
Date
Earlier messages
Later messages
Messages by Date
2026/01/27
[PATCH v13 10/18] unwind_user/sframe: Show file name in debug output
Jens Remus
2026/01/27
[PATCH v13 08/18] unwind_user/sframe: Add support for outermost frame indication
Jens Remus
2026/01/27
[PATCH v13 18/18] unwind_user/sframe: Add prctl() interface for registering .sframe sections
Jens Remus
2026/01/27
[PATCH v13 04/18] unwind_user/sframe: Add support for reading .sframe contents
Jens Remus
2026/01/27
[PATCH v13 01/18] unwind_user/sframe: Add support for reading .sframe headers
Jens Remus
2026/01/27
[PATCH v13 14/18] unwind_user: Flexible CFA recovery rules
Jens Remus
2026/01/27
[PATCH v13 13/18] unwind_user: Flexible FP/RA recovery rules
Jens Remus
2026/01/27
[PATCH v13 12/18] unwind_user: Enable archs that pass RA in a register
Jens Remus
2026/01/27
[PATCH v13 02/18] unwind_user/sframe: Store .sframe section data in per-mm maple tree
Jens Remus
2026/01/27
[PATCH v13 11/18] unwind_user/sframe: Add .sframe validation option
Jens Remus
2026/01/27
[PATCH v13 09/18] unwind_user/sframe: Remove .sframe section on detected corruption
Jens Remus
2026/01/27
Re: [PATCH] tracing: kprobe-event: Return directly when trace kprobes is empty
Steven Rostedt
2026/01/27
Re: [RFC v4 6/7] ext4: fast commit: add lock_updates tracepoint
Li Chen
2026/01/27
Re: [PATCH v5 09/15] sched: Add task enqueue/dequeue trace points
Gabriele Monaco
2026/01/27
[PATCH v2 0/3] powerpc64/ftrace: fixes clang build issues
Hari Bathini
2026/01/27
[PATCH v2 2/3] powerpc64/ftrace: fix OOL stub count with clang
Hari Bathini
2026/01/27
[PATCH v2 1/3] powerpc64: make clang cross-build friendly
Hari Bathini
2026/01/27
[PATCH v2 3/3] powerpc64/ftrace: workaround clang recording GEP in __patchable_function_entries
Hari Bathini
2026/01/27
Re: [PATCH v2] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Alice Ryhl
2026/01/27
Re: [PATCH v2] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Peter Zijlstra
2026/01/27
[PATCH v2] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Alice Ryhl
2026/01/27
Re: [PATCH] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Alice Ryhl
2026/01/27
Re: [PATCH] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Peter Zijlstra
2026/01/26
[PATCH v2] tracing: kprobe-event: Return directly when trace kprobes is empty
sunliming
2026/01/26
Re: [PATCH v6 0/3] tracing: Guard __DECLARE_TRACE() use of __DO_TRACE_CALL() with SRCU-fast
Steven Rostedt
2026/01/26
[PATCH] tracing: kprobe-event: Return directly when trace kprobes is empty
sunliming
2026/01/26
Re: [RESEND][PATCH 3/5] perf: Use current->flags & PF_KTHREAD|PF_USER_WORKER instead of current->mm == NULL
Guenter Roeck
2026/01/26
Re: [PATCH v2 1/3] tracing: Rename `eval_map_wq` and export it for asynchronous use by other modules
Yaxiong Tian
2026/01/26
[PATCH v3 3/3] blktrace: Make init_blk_tracer() asynchronous
Yaxiong Tian
2026/01/26
[PATCH v3 1/3] tracing: Rename `eval_map_wq` and allow other parts of tracing use it
Yaxiong Tian
2026/01/26
[PATCH v3 2/3] tracing/kprobes: Make setup_boot_kprobe_events() asynchronous
Yaxiong Tian
2026/01/26
[PATCH v3 0/3] Tracing: Accelerate Kernel Boot by Asynchronizing
Yaxiong Tian
2026/01/26
[PATCH] tracing: Documentation: Update histogram-design.rst for fn() handling
Steven Rostedt
2026/01/26
[PATCH v6 3/3] tracing: Guard __DECLARE_TRACE() use of __DO_TRACE_CALL() with SRCU-fast
Steven Rostedt
2026/01/26
[PATCH v6 2/3] bpf: Have __bpf_trace_run() use rcu_read_lock_dont_migrate()
Steven Rostedt
2026/01/26
[PATCH v6 1/3] tracing: perf: Have perf tracepoint callbacks always disable preemption
Steven Rostedt
2026/01/26
[PATCH v6 0/3] tracing: Guard __DECLARE_TRACE() use of __DO_TRACE_CALL() with SRCU-fast
Steven Rostedt
2026/01/26
Re: [PATCH] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Alice Ryhl
2026/01/26
Re: [PATCH] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Peter Zijlstra
2026/01/26
Re: [PATCH] tracing: Up the hist stacktrace size from 16 to 31
Tom Zanussi
2026/01/26
Re: [PATCH v10 19/30] KVM: arm64: Add PKVM_DISABLE_STAGE2_ON_PANIC
Kalesh Singh
2026/01/26
[PATCHv2 bpf-next 6/6] selftests/bpf: Allow to benchmark trigger with stacktrace
Jiri Olsa
2026/01/26
[PATCHv2 bpf-next 5/6] selftests/bpf: Add stacktrace ips test for fentry/fexit
Jiri Olsa
2026/01/26
[PATCHv2 bpf-next 4/6] selftests/bpf: Add stacktrace ips test for kprobe/kretprobe
Jiri Olsa
2026/01/26
[PATCHv2 bpf-next 3/6] selftests/bpf: Fix kprobe multi stacktrace_ips test
Jiri Olsa
2026/01/26
[PATCHv2 bpf-next 2/6] x86/fgraph,bpf: Switch kprobe_multi program stack unwind to hw_regs path
Jiri Olsa
2026/01/26
[PATCHv2 bpf-next 1/6] x86/fgraph: Fix return_to_handler regs.rsp value
Jiri Olsa
2026/01/26
[PATCHv2 bpf-next 0/6] x86/fgraph,bpf: Fix ORC stack unwind from kprobe_multi
Jiri Olsa
2026/01/26
[PATCH] tracing: Remove duplicate ENABLE_EVENT_STR and DISABLE_EVENT_STR macros
Steven Rostedt
2026/01/26
Re: [PATCH v16 3/3] mm: Reduce latency of OOM killer task selection with 2-pass algorithm
Michal Hocko
2026/01/26
Re: [RESEND][PATCH 3/5] perf: Use current->flags & PF_KTHREAD|PF_USER_WORKER instead of current->mm == NULL
Guenter Roeck
2026/01/26
Re: [RESEND][PATCH 3/5] perf: Use current->flags & PF_KTHREAD|PF_USER_WORKER instead of current->mm == NULL
Steven Rostedt
2026/01/26
Re: [RESEND][PATCH 3/5] perf: Use current->flags & PF_KTHREAD|PF_USER_WORKER instead of current->mm == NULL
Steven Rostedt
2026/01/26
Re: [RESEND][PATCH 3/5] perf: Use current->flags & PF_KTHREAD|PF_USER_WORKER instead of current->mm == NULL
Steven Rostedt
2026/01/26
Re: [PATCH v16 3/3] mm: Reduce latency of OOM killer task selection with 2-pass algorithm
Mathieu Desnoyers
2026/01/26
Re: [PATCH v16 1/3] lib: Introduce hierarchical per-cpu counters
Mathieu Desnoyers
2026/01/26
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Lorenzo Stoakes
2026/01/26
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Andrew Morton
2026/01/26
Re: [PATCH] tracing: kprobe-event: Return directly when dyn_event_list is empty
Steven Rostedt
2026/01/26
Re: [PATCH v2 1/3] tracing: Rename `eval_map_wq` and export it for asynchronous use by other modules
Steven Rostedt
2026/01/26
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Lorenzo Stoakes
2026/01/26
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Lorenzo Stoakes
2026/01/26
Re: [PATCH] MAINTAINERS: add Rust files to STATIC BRANCH/CALL and TRACING
Alice Ryhl
2026/01/26
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Lorenzo Stoakes
2026/01/26
Re: [PATCH mm-unstable v14 00/16] khugepaged: mTHP support
Lorenzo Stoakes
2026/01/26
Re: [PATCH mm-unstable v14 00/16] khugepaged: mTHP support
Lorenzo Stoakes
2026/01/26
[PATCH v10 30/30] tracing: selftests: Add hypervisor trace remote tests
Vincent Donnefort
2026/01/26
[PATCH v10 28/30] KVM: arm64: Add hyp_enter/hyp_exit events to nVHE/pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 23/30] KVM: arm64: Add tracing capability for the nVHE/pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 29/30] KVM: arm64: Add selftest event support to nVHE/pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 26/30] KVM: arm64: Add trace reset to the nVHE/pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 20/30] KVM: arm64: Add clock support to nVHE/pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 25/30] KVM: arm64: Sync boot clock with the nVHE/pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 17/30] tracing: load/unload page callbacks for simple_ring_buffer
Vincent Donnefort
2026/01/26
[PATCH v10 16/30] Documentation: tracing: Add tracing remotes
Vincent Donnefort
2026/01/26
[PATCH v10 14/30] tracing: Add a trace remote module for testing
Vincent Donnefort
2026/01/26
[PATCH v10 27/30] KVM: arm64: Add event support to the nVHE/pKVM hyp and trace remote
Vincent Donnefort
2026/01/26
[PATCH v10 11/30] tracing: Add helpers to create trace remote events
Vincent Donnefort
2026/01/26
[PATCH v10 24/30] KVM: arm64: Add trace remote for the nVHE/pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 19/30] KVM: arm64: Add PKVM_DISABLE_STAGE2_ON_PANIC
Vincent Donnefort
2026/01/26
[PATCH v10 18/30] tracing: Check for undefined symbols in simple_ring_buffer
Vincent Donnefort
2026/01/26
[PATCH v10 22/30] KVM: arm64: Support unaligned fixmap in the pKVM hyp
Vincent Donnefort
2026/01/26
[PATCH v10 21/30] KVM: arm64: Initialise hyp_nr_cpus for nVHE hyp
Vincent Donnefort
2026/01/26
[PATCH v10 08/30] tracing: Add init callback to trace remotes
Vincent Donnefort
2026/01/26
[PATCH v10 07/30] tracing: Add non-consuming read to trace remotes
Vincent Donnefort
2026/01/26
[PATCH v10 05/30] tracing: Introduce trace remotes
Vincent Donnefort
2026/01/26
[PATCH v10 06/30] tracing: Add reset to trace remotes
Vincent Donnefort
2026/01/26
[PATCH v10 09/30] tracing: Add events to trace remotes
Vincent Donnefort
2026/01/26
[PATCH v10 04/30] ring-buffer: Add non-consuming read for ring-buffer remotes
Vincent Donnefort
2026/01/26
[PATCH v10 15/30] tracing: selftests: Add trace remote tests
Vincent Donnefort
2026/01/26
[PATCH v10 13/30] tracing: Introduce simple_ring_buffer
Vincent Donnefort
2026/01/26
[PATCH v10 12/30] ring-buffer: Export buffer_data_page and macros
Vincent Donnefort
2026/01/26
[PATCH v10 10/30] tracing: Add events/ root files to trace remotes
Vincent Donnefort
2026/01/26
[PATCH v10 03/30] ring-buffer: Introduce ring-buffer remotes
Vincent Donnefort
2026/01/26
[PATCH v10 02/30] ring-buffer: Store bpage pointers into subbuf_ids
Vincent Donnefort
2026/01/26
[PATCH v10 00/30] Tracefs support for pKVM
Vincent Donnefort
2026/01/26
[PATCH v10 01/30] ring-buffer: Add page statistics to the meta-page
Vincent Donnefort
2026/01/26
Re: [PATCHv6 bpf-next 0/9] ftrace,bpf: Use single direct ops for bpf trampolines
Jiri Olsa
2026/01/25
Re: [PATCH] tracing: kprobe-event: Return directly when dyn_event_list is empty
Steven Rostedt
2026/01/25
Re: [PATCH 1/3] tracing: Export eval_map_wq for asynchronous use by other modules
Yaxiong Tian
2026/01/25
[PATCH v2 3/3] blktrace: Make init_blk_tracer() asynchronous
Yaxiong Tian
2026/01/25
[PATCH v2 2/3] tracing/kprobes: Make setup_boot_kprobe_events() asynchronous
Yaxiong Tian
2026/01/25
[PATCH v2 1/3] tracing: Rename `eval_map_wq` and export it for asynchronous use by other modules
Yaxiong Tian
2026/01/25
[PATCH v2 0/3] Tracing: Accelerate Kernel Boot by Asynchronizing
Yaxiong Tian
2026/01/25
Re: [PATCH v5 v5 1/3] docs: tracing/fprobe: Document list filters and :entry/:exit
Seokwoo Chung
2026/01/25
Re: [PATCH] tracing: Remove notrace from trace_event_raw_event_synth()
Tom Zanussi
2026/01/25
Re: [PATCH] tracing: Have hist_debug show what function a field uses
Tom Zanussi
2026/01/25
Re: [PATCH] tracing: Fix crash on synthetic stacktrace field usage
Tom Zanussi
2026/01/24
Re: [RFC PATCH 0/3] rtla: Synchronize sample collection methods
Steven Rostedt
2026/01/24
Re: [PATCH] tracing: kprobe-event: Return directly when dyn_event_list is empty
Steven Rostedt
2026/01/23
Re: [PATCH] rv: Fix dead link to monitor_synthesis.rst
Gabriele Monaco
2026/01/23
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Lance Yang
2026/01/23
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Nico Pache
2026/01/23
Re: [PATCH 1/3] tracing: Export eval_map_wq for asynchronous use by other modules
Steven Rostedt
2026/01/23
Re: [PATCH] rv: Fix dead link to monitor_synthesis.rst
Soham Metha
2026/01/23
Re: [RFC v4 6/7] ext4: fast commit: add lock_updates tracepoint
Steven Rostedt
2026/01/23
Re: [PATCH v4 2/2] mm/vmscan: add tracepoint and reason for kswapd_failures reset
Steven Rostedt
2026/01/23
Re: [PATCH v2] scripts/tracepoint-update: fix memory leak in add_string() on failure
Steven Rostedt
2026/01/23
Re: [PATCH v2] function_graph: Fix args pointer mismatch in print_graph_retval()
Steven Rostedt
2026/01/23
Re: [PATCH] tracing: Up the hist stacktrace size from 16 to 31
Steven Rostedt
2026/01/23
[RFC PATCH 2/3] rtla/timerlat_bpf: Filter samples unseen by tracer
Tomas Glozar
2026/01/23
[PATCH] tracing: Up the hist stacktrace size from 16 to 31
Steven Rostedt
2026/01/23
[RFC PATCH 1/3] tracing/osnoise: Record timerlat instance counts
Tomas Glozar
2026/01/23
[RFC PATCH 3/3] rtla/timerlat: Attach BPF program before tracers
Tomas Glozar
2026/01/23
[RFC PATCH 0/3] rtla: Synchronize sample collection methods
Tomas Glozar
2026/01/23
Re: [PATCH 18/26] rv/rvgen: add fill_tracepoint_args_skel stub to ltl2k
Wander Lairson Costa
2026/01/23
Re: [PATCH v5 15/15] rv: Add dl_server specific monitors
Juri Lelli
2026/01/23
Re: [PATCH v5 14/15] rv: Add deadline monitors
Juri Lelli
2026/01/23
Re: [PATCH v5 13/15] sched/deadline: Move some utility functions to deadline.h
Juri Lelli
2026/01/23
Re: [PATCH v9 29/30] KVM: arm64: Add selftest event support to nVHE/pKVM hyp
Marc Zyngier
2026/01/23
Re: [PATCH v9 29/30] KVM: arm64: Add selftest event support to nVHE/pKVM hyp
Marc Zyngier
2026/01/23
Re: [PATCH 18/26] rv/rvgen: add fill_tracepoint_args_skel stub to ltl2k
Gabriele Monaco
2026/01/23
Re: [PATCH v9 29/30] KVM: arm64: Add selftest event support to nVHE/pKVM hyp
Vincent Donnefort
2026/01/23
Re: [PATCH 18/26] rv/rvgen: add fill_tracepoint_args_skel stub to ltl2k
Wander Lairson Costa
2026/01/23
Re: [PATCH v9 29/30] KVM: arm64: Add selftest event support to nVHE/pKVM hyp
Vincent Donnefort
2026/01/23
Re: [PATCH v9 25/30] KVM: arm64: Sync boot clock with the nVHE/pKVM hyp
Vincent Donnefort
2026/01/23
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Baolin Wang
2026/01/22
Re: [PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Lance Yang
2026/01/22
[PATCH] tracing: Remove notrace from trace_event_raw_event_synth()
Steven Rostedt
2026/01/22
[PATCH] tracing: Have hist_debug show what function a field uses
Steven Rostedt
2026/01/22
[PATCH] tracing: kprobe-event: Return directly when dyn_event_list is empty
sunliming
2026/01/22
[PATCH mm-unstable v14 08/16] khugepaged: generalize collapse_huge_page for mTHP collapse
Nico Pache
2026/01/22
[PATCH mm-unstable v14 06/16] khugepaged: generalize __collapse_huge_page_* for mTHP support
Nico Pache
2026/01/22
[PATCH mm-unstable v14 13/16] khugepaged: Introduce mTHP collapse support
Nico Pache
2026/01/22
[PATCH] tracing: Fix crash on synthetic stacktrace field usage
Steven Rostedt
2026/01/22
[PATCH mm-unstable v14 01/16] mm: introduce is_pmd_order helper
Nico Pache
2026/01/22
[PATCH mm-unstable v14 10/16] khugepaged: add per-order mTHP collapse failure statistics
Nico Pache
2026/01/22
[PATCH v5 1/3] tracing: Add __event_in_*irq() helpers
Thomas Ballasi
2026/01/22
[PATCH mm-unstable v14 02/16] khugepaged: rename hpage_collapse_* to collapse_*
Nico Pache
2026/01/22
Re: [PATCH V5 2/2] mm/khugepaged: retry with sync writeback for MADV_COLLAPSE
David Hildenbrand (Red Hat)
2026/01/22
[syzbot] Monthly trace report (Jan 2026)
syzbot
2026/01/22
[PATCH v5 2/3] mm: vmscan: add cgroup IDs to vmscan tracepoints
Thomas Ballasi
2026/01/22
[PATCH mm-unstable v14 09/16] khugepaged: skip collapsing mTHP to smaller orders
Nico Pache
2026/01/22
[PATCH mm-unstable v14 04/16] khugepaged: generalize hugepage_vma_revalidate for mTHP support
Nico Pache
2026/01/22
[PATCH mm-unstable v14 15/16] khugepaged: run khugepaged for all orders
Nico Pache
2026/01/22
[PATCH mm-unstable v14 11/16] khugepaged: improve tracepoints for mTHP orders
Nico Pache
2026/01/22
[PATCH mm-unstable v14 05/16] khugepaged: generalize alloc_charge_folio()
Nico Pache
2026/01/22
[PATCH mm-unstable v14 03/16] introduce collapse_single_pmd to unify khugepaged and madvise_collapse
Nico Pache
2026/01/22
[PATCH mm-unstable v14 16/16] Documentation: mm: update the admin guide for mTHP collapse
Nico Pache
2026/01/22
[PATCH mm-unstable v14 14/16] khugepaged: avoid unnecessary mTHP collapse attempts
Nico Pache
2026/01/22
[PATCH mm-unstable v14 07/16] khugepaged: introduce collapse_max_ptes_none helper function
Nico Pache
2026/01/22
[PATCH mm-unstable v14 12/16] khugepaged: introduce collapse_allowable_orders helper function
Nico Pache
2026/01/22
[PATCH mm-unstable v14 00/16] khugepaged: mTHP support
Nico Pache
2026/01/22
Re: [PATCH v5 0/3] mm: vmscan: add PID and cgroup ID to vmscan tracepoints
Andrew Morton
2026/01/22
[PATCH v5 3/3] mm: vmscan: add PIDs to vmscan tracepoints
Thomas Ballasi
2026/01/22
[PATCH v5 0/3] mm: vmscan: add PID and cgroup ID to vmscan tracepoints
Thomas Ballasi
2026/01/22
[PATCH v5 15/15] rv: Add dl_server specific monitors
Gabriele Monaco
2026/01/22
Re: [PATCH 20/26] rv/rvgen: refactor automata.py to use iterator-based parsing
Nam Cao
2026/01/22
Re: [PATCH 19/26] rv/rvgen: add abstract method stubs to Container class
Nam Cao
2026/01/22
Re: [PATCH 24/26] rv/rvgen: make monitor arguments required in rvgen
Nam Cao
2026/01/22
Re: [PATCH 23/26] rv/rvgen: add type annotations to fix pyright errors
Nam Cao
2026/01/22
Re: [PATCH v2] tracing: add kernel documentation for trace_array_set_clr_event, trace_set_clr_event and supporting functions
Gabriele Paoloni
2026/01/22
Re: [PATCH 20/26] rv/rvgen: refactor automata.py to use iterator-based parsing
Nam Cao
2026/01/22
[PATCH v5 10/15] rv: Add enqueue/dequeue to snroc monitor
Gabriele Monaco
2026/01/22
[PATCH v5 09/15] sched: Add task enqueue/dequeue trace points
Gabriele Monaco
2026/01/22
Re: [PATCH 03/26] rv/rvgen: replace % string formatting with f-strings
Nam Cao
2026/01/22
[PATCH v5 14/15] rv: Add deadline monitors
Gabriele Monaco
2026/01/22
[PATCH v5 05/15] Documentation/rv: Add documentation about hybrid automata
Gabriele Monaco
2026/01/22
Re: [PATCH 12/26] rv/rvgen: fix PEP 8 whitespace violations
Nam Cao
2026/01/22
[PATCH v5 03/15] verification/rvgen: Allow spaces in and events strings
Gabriele Monaco
2026/01/22
[PATCH v5 13/15] sched/deadline: Move some utility functions to deadline.h
Gabriele Monaco
2026/01/22
[PATCH v5 08/15] sched: Add deadline tracepoints
Gabriele Monaco
2026/01/22
[PATCH v5 02/15] rv: Add Hybrid Automata monitor type
Gabriele Monaco
2026/01/22
[PATCH v5 07/15] rv: Convert the opid monitor to a hybrid automaton
Gabriele Monaco
2026/01/22
[PATCH v5 04/15] verification/rvgen: Add support for Hybrid Automata
Gabriele Monaco
2026/01/22
[PATCH v5 01/15] rv: Unify DA event handling functions across monitor types
Gabriele Monaco
2026/01/22
[PATCH v5 12/15] verification/rvgen: Add support for per-obj monitors
Gabriele Monaco
2026/01/22
[PATCH v5 11/15] rv: Add support for per-object monitors in DA/HA
Gabriele Monaco
2026/01/22
[PATCH v5 06/15] rv: Add sample hybrid monitors stall
Gabriele Monaco
2026/01/22
Re: [PATCH 25/26] rv/rvgen: fix isinstance check in Variable.expand()
Nam Cao
2026/01/22
[PATCH v5 00/15] rv: Add Hybrid Automata monitor type, per-object and deadline monitors
Gabriele Monaco
2026/01/22
Re: [PATCH 20/26] rv/rvgen: refactor automata.py to use iterator-based parsing
Gabriele Monaco
2026/01/22
Re: [PATCH 07/26] rv/rvgen: replace __contains__() with in operator
Nam Cao
2026/01/22
Re: [PATCH 05/26] rv/rvgen: remove unnecessary semicolons
Nam Cao
2026/01/22
Re: [PATCH 08/26] rv/rvgen: simplify boolean comparison
Nam Cao
2026/01/22
Re: [PATCH 09/26] rv/rvgen: replace inline NotImplemented with decorator
Nam Cao
2026/01/22
Re: [PATCH 17/26] rv/rvgen: fix possibly unbound variable in ltl2k
Nam Cao
2026/01/22
Re: [PATCH 02/26] rv/rvgen: remove bare except clauses in generator
Nam Cao
2026/01/22
Re: [PATCH 10/26] rv/rvgen: fix typos in automata docstring and comments
Nam Cao
2026/01/22
Re: [PATCH 01/26] rv/rvgen: introduce AutomataError exception class
Nam Cao
Earlier messages
Later messages