summaryrefslogtreecommitdiff
path: root/tools/verification
AgeCommit message (Expand)Author
2026-04-01rv/rvgen: fix typos in automata and generator docstring and commentsWander Lairson Costa
2026-03-31rv/rvgen: use context managers for file operationsWander Lairson Costa
2026-03-31rv/rvgen: remove unnecessary semicolonsWander Lairson Costa
2026-03-31rv/rvgen: replace __len__() calls with len()Wander Lairson Costa
2026-03-31rv/rvgen: replace % string formatting with f-stringsWander Lairson Costa
2026-03-31rv/rvgen: remove bare except clauses in generatorWander Lairson Costa
2026-03-31rv/rvgen: introduce AutomataError exception classWander Lairson Costa
2026-03-31rv: Add nomiss deadline monitorGabriele Monaco
2026-03-31verification/rvgen: Add support for per-obj monitorsGabriele Monaco
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco
2026-03-31rv: Add sample hybrid monitor stallGabriele Monaco
2026-03-31verification/rvgen: Add support for Hybrid AutomataGabriele Monaco
2026-03-31verification/rvgen: Allow spaces in and events stringsGabriele Monaco
2026-01-12verification/rvgen: Remove unused variable declaration from containersGabriele Monaco
2026-01-12verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco
2026-01-12verification/dot2c: Remove __buff_to_string() and cleanupGabriele Monaco
2026-01-12verification/rvgen: Annotate DA functions with typesGabriele Monaco
2026-01-12verification/rvgen: Adapt dot2k and templates after refactoring da_monitor.hGabriele Monaco
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco
2025-07-24rv: Return init error when registering monitorsGabriele Monaco
2025-07-24verification/rvgen: Organise Kconfig entries for nested monitorsGabriele Monaco
2025-07-24tools/dot2c: Fix generated files going over 100 column limitGabriele Monaco
2025-07-24tools/rv: Stop gracefully also on SIGTERMGabriele Monaco
2025-07-24tools/rv: Do not skip idle in traceGabriele Monaco
2025-07-24verification/rvgen: Do not generate unused variablesNam Cao
2025-07-24verification/rvgen: Generate each variable definition only onceNam Cao
2025-07-24verification/rvgen: Support the 'next' operatorNam Cao
2025-07-24verification/rvgen: Add support for linear temporal logicNam Cao
2025-07-24verification/rvgen: Restructure the classes to prepare for LTL inclusionNam Cao
2025-07-24verification/rvgen: Restructure the templates filesNam Cao
2025-07-24verification/dot2k: Prepare the frontend for LTL inclusionNam Cao
2025-07-24verification/dot2k: Replace is_container() hack with subparsersNam Cao
2025-07-24verification/dot2k: Remove __buff_to_string()Nam Cao
2025-07-24verification/dot2k: Make a separate dot2k_templates/Kconfig_containerNam Cao
2025-07-09rv: Add rtapp_sleep monitorNam Cao
2025-07-09rv: Add rtapp_pagefault monitorNam Cao
2025-03-27Merge tag 'trace-tools-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds
2025-03-27Merge tag 'trace-latency-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/...Linus Torvalds
2025-03-24tools/rv: Allow rv list to filter for containerGabriele Monaco
2025-03-24verification/dot2k: Add support for nested monitorsGabriele Monaco
2025-03-24tools/rv: Add support for nested monitorsGabriele Monaco
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco
2025-03-24rv: Add snroc per-task monitorGabriele Monaco
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco
2025-03-24sched: Add sched tracepoints for RV task modelGabriele Monaco
2025-03-04tools/rv: Keep user LDFLAGS in buildTomas Glozar
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco
2025-02-25Merge tag 'perf-tools-fixes-for-v6.14-2-2025-02-25' of git://git.kernel.org/p...Linus Torvalds
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-07 00:26:24 +0000