aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2025-07-25rv: Remove unused field in struct rv_monitor_defNam Cao1-1/+0
2025-07-24rv: Return init error when registering monitorsGabriele Monaco11-22/+11
2025-07-24verification/rvgen: Organise Kconfig entries for nested monitorsGabriele Monaco3-5/+26
2025-07-24tools/dot2c: Fix generated files going over 100 column limitGabriele Monaco2-11/+23
2025-07-24tools/rv: Stop gracefully also on SIGTERMGabriele Monaco1-0/+1
2025-07-24tools/rv: Do not skip idle in traceGabriele Monaco1-2/+2
2025-07-24verification/rvgen: Do not generate unused variablesNam Cao1-4/+21
2025-07-24verification/rvgen: Generate each variable definition only onceNam Cao1-3/+5
2025-07-24verification/rvgen: Support the 'next' operatorNam Cao2-0/+27
2025-07-24Documentation/rv: Add documentation for linear temporal logic monitorsNam Cao3-16/+274
2025-07-24verification/rvgen: Add support for linear temporal logicNam Cao7-1/+915
2025-07-24verification/rvgen: Restructure the classes to prepare for LTL inclusionNam Cao5-261/+308
2025-07-24verification/rvgen: Restructure the templates filesNam Cao8-32/+20
2025-07-24Documentation/rv: Prepare monitor synthesis document for LTL inclusionNam Cao2-11/+11
2025-07-24verification/dot2k: Prepare the frontend for LTL inclusionNam Cao12-17/+25
2025-07-24verification/dot2k: Replace is_container() hack with subparsersNam Cao2-18/+21
2025-07-24verification/dot2k: Remove __buff_to_string()Nam Cao1-15/+6
2025-07-24verification/dot2k: Make a separate dot2k_templates/Kconfig_containerNam Cao2-1/+7
2025-07-22rv/ltl: Do not execute the Buchi automaton twice on start conditionNam Cao1-1/+3
2025-07-11panic: Fix up description of vpanic()Nam Cao1-1/+1
2025-07-11objtool: Add vpanic() to the noreturn listNam Cao1-0/+1
2025-07-09rv: Allow to configure the number of per-task monitorNam Cao5-17/+18
2025-07-09rv: Add documentation for rtapp monitorNam Cao2-0/+134
2025-07-09rv: Add rtapp_sleep monitorNam Cao8-1/+556
2025-07-09rv: Add rtapp_pagefault monitorNam Cao8-0/+190
2025-07-09riscv: mm: Add page fault trace pointsNam Cao1-0/+8
2025-07-09rv: Add rtapp container monitorNam Cao5-0/+48
2025-07-09rv: Add support for LTL monitorsNam Cao5-8/+298
2025-07-09rv: rename CONFIG_DA_MON_EVENTS to CONFIG_RV_MON_EVENTSNam Cao2-4/+4
2025-07-09rv: Let the reactors take care of buffersNam Cao5-42/+30
2025-07-09panic: Add vpanic()Nam Cao2-4/+15
2025-07-09printk: Make vprintk_deferred() publicNam Cao2-1/+7
2025-07-09rv: Add #undef TRACE_INCLUDE_FILENam Cao1-1/+2
2025-07-06Linux 6.16-rc5v6.16-rc5Linus Torvalds1-1/+1
2025-07-06Merge tag 'pull-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/viro/vfsLinus Torvalds2-8/+12
2025-07-06Merge tag 'sched_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linux/...Linus Torvalds3-16/+21
2025-07-06Merge tag 'objtool_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linu...Linus Torvalds1-0/+1
2025-07-06Merge tag 'perf_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linux/k...Linus Torvalds1-3/+3
2025-07-06Merge tag 'x86_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linux/ke...Linus Torvalds2-4/+35
2025-07-06Merge tag 'locking_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linu...Linus Torvalds2-0/+5
2025-07-06Merge tag 'edac_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linux/k...Linus Torvalds3-1/+5
2025-07-06Merge tag 'ras_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linux/ke...Linus Torvalds3-24/+29
2025-07-06Merge tag 'irq_urgent_for_v6.16_rc5' of git://git.kernel.org/pub/scm/linux/ke...Linus Torvalds1-0/+1
2025-07-06selftests/futex: Add futex_numa to .gitignoreTerry Tritton1-0/+1
2025-07-05Merge tag 'hid-for-linus-2025070502' of git://git.kernel.org/pub/scm/linux/ke...Linus Torvalds5-11/+19
2025-07-05Merge tag 'v6.16-rc4-smb3-client-fixes' of git://git.samba.org/sfrench/cifs-2.6Linus Torvalds8-36/+39
2025-07-05Merge tag 'i2c-for-6.16-rc5' of git://git.kernel.org/pub/scm/linux/kernel/git...Linus Torvalds3-2/+8
2025-07-04Merge tag 'pm-6.16-rc5' of git://git.kernel.org/pub/scm/linux/kernel/git/rafa...Linus Torvalds8-13/+29
2025-07-04Merge tag 'acpi-6.16-rc5' of git://git.kernel.org/pub/scm/linux/kernel/git/ra...Linus Torvalds1-16/+3
2025-07-04Merge branch 'pm-sleep'Rafael J. Wysocki7-12/+12
generated by cgit v1.2.3 (git 2.39.1) at 2026-01-06 09:21:13 +0000