messages from 2026-05-27 20:20:33 to 2026-05-28 08:28:17 UTC [more...]
[PATCH v2 00/13] rv: Convert rvgen to Lark
2026-05-28 8:28 UTC (14+ messages)
` [PATCH v2 01/13] verification/rvgen: Switch LTL parser "
` [PATCH v2 02/13] verification/rvgen: Introduce a parse tree for automata using Lark
` [PATCH v2 03/13] verification/rvgen: Implement state and transition parser based on Lark
` [PATCH v2 04/13] verification/rvgen: Convert __fill_verify_invariants_func() to Lark
` [PATCH v2 05/13] verification/rvgen: Convert __fill_setup_invariants_func() "
` [PATCH v2 06/13] verification/rvgen: Convert __fill_verify_guards_func() "
` [PATCH v2 07/13] rv: Simply hybrid automata monitors's clock variables
` [PATCH v2 08/13] verification/rvgen: Simplify the generation for "
` [PATCH v2 09/13] verification/rvgen: Delete __parse_constraint()
` [PATCH v2 10/13] verification/rvgen: Switch __get_event_variables() to Lark
` [PATCH v2 11/13] verification/rvgen: Switch __create_matrix() "
` [PATCH v2 12/13] verification/rvgen: Remove the old state variables
` [PATCH v2 13/13] verification/rvgen: Remove dead code
[PATCH v2 00/14] rv: Add selftests to tools and KUnit tests
2026-05-28 8:24 UTC (2+ messages)
[PATCH 0/8] riscv: Add reliable stack unwinding for livepatch
2026-05-28 8:23 UTC (12+ messages)
` [PATCH 1/8] scripts/sorttable: Handle RISC-V patchable ftrace entries
` [PATCH v2 0/8] riscv: Add reliable stack unwinding for livepatch
` [PATCH v2 1/8] scripts/sorttable: Handle RISC-V patchable ftrace entries
` [PATCH v2 2/8] riscv: stacktrace: Add frame record metadata
` [PATCH v2 4/8] riscv: ftrace: always preserve s0 in dynamic ftrace register frame
` [PATCH v2 5/8] riscv: stacktrace: introduce stack-bound tracking helpers
` [PATCH v2 6/8] riscv: stacktrace: switch to frame-pointer based unwinder
` [PATCH v2 7/8] riscv: Kconfig: enable HAVE_RELIABLE_STACKTRACE and HAVE_LIVEPATCH
` [PATCH v2 8/8] selftests/livepatch: Add RISC-V syscall wrapper prefix
[PATCH] selftests/ftrace: Fix trace_marker_raw test on 64K page kernels
2026-05-28 2:24 UTC (2+ messages)
` [PATCH v2] "
[PATCH bpf-next] x86/ftrace: relocate %rip-relative percpu refs in dynamic trampolines
2026-05-27 21:11 UTC (2+ messages)
[PATCH v16 00/20] unwind_deferred: Implement sframe handling
2026-05-27 20:20 UTC (3+ messages)
` [PATCH v16 03/20] unwind_user/sframe: Store .sframe section data in per-mm maple tree
page: | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox