summaryrefslogtreecommitdiffstats
path: root/tools/verification
AgeCommit message (Expand)AuthorLines
2026-04-01rv: Allow epoll in rtapp-sleep monitorNam Cao-0/+1
2026-04-01rv/rvgen: fix _fill_states() return type annotationWander Lairson Costa-1/+1
2026-04-01rv/rvgen: fix unbound loop variable warningWander Lairson Costa-5/+9
2026-04-01rv/rvgen: enforce presence of initial stateWander Lairson Costa-0/+4
2026-04-01rv/rvgen: extract node marker string to class constantWander Lairson Costa-4/+5
2026-04-01rv/rvgen: fix isinstance check in Variable.expand()Wander Lairson Costa-1/+1
2026-04-01rv/rvgen: make monitor arguments required in rvgenWander Lairson Costa-3/+4
2026-04-01rv/rvgen: remove unused __get_main_name methodWander Lairson Costa-6/+0
2026-04-01rv/rvgen: remove unused sys import from dot2cWander Lairson Costa-1/+0
2026-04-01rv/rvgen: refactor automata.py to use iterator-based parsingWander Lairson Costa-45/+71
2026-04-01rv/rvgen: use class constant for init markerWander Lairson Costa-2/+3
2026-04-01rv/rvgen: fix DOT file validation logic errorWander Lairson Costa-1/+1
2026-04-01rv/rvgen: fix PEP 8 whitespace violationsWander Lairson Costa-8/+8
2026-04-01rv/rvgen: fix typos in automata and generator docstring and commentsWander Lairson Costa-8/+8
2026-03-31rv/rvgen: use context managers for file operationsWander Lairson Costa-12/+6
2026-03-31rv/rvgen: remove unnecessary semicolonsWander Lairson Costa-3/+3
2026-03-31rv/rvgen: replace __len__() calls with len()Wander Lairson Costa-9/+9
2026-03-31rv/rvgen: replace % string formatting with f-stringsWander Lairson Costa-85/+83
2026-03-31rv/rvgen: remove bare except clauses in generatorWander Lairson Costa-8/+1
2026-03-31rv/rvgen: introduce AutomataError exception classWander Lairson Costa-34/+43
2026-03-31rv: Add nomiss deadline monitorGabriele Monaco-0/+41
2026-03-31verification/rvgen: Add support for per-obj monitorsGabriele Monaco-5/+14
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco-29/+7
2026-03-31rv: Add sample hybrid monitor stallGabriele Monaco-0/+22
2026-03-31verification/rvgen: Add support for Hybrid AutomataGabriele Monaco-16/+679
2026-03-31verification/rvgen: Allow spaces in and events stringsGabriele Monaco-5/+4
2026-01-12verification/rvgen: Remove unused variable declaration from containersGabriele Monaco-2/+0
2026-01-12verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco-24/+12
2026-01-12verification/dot2c: Remove __buff_to_string() and cleanupGabriele Monaco-29/+6
2026-01-12verification/rvgen: Annotate DA functions with typesGabriele Monaco-41/+41
2026-01-12verification/rvgen: Adapt dot2k and templates after refactoring da_monitor.hGabriele Monaco-18/+13
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco-0/+35
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco-0/+59
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco-36/+38
2025-07-24rv: Return init error when registering monitorsGabriele Monaco-4/+2
2025-07-24verification/rvgen: Organise Kconfig entries for nested monitorsGabriele Monaco-5/+21
2025-07-24tools/dot2c: Fix generated files going over 100 column limitGabriele Monaco-9/+11
2025-07-24tools/rv: Stop gracefully also on SIGTERMGabriele Monaco-0/+1
2025-07-24tools/rv: Do not skip idle in traceGabriele Monaco-2/+2
2025-07-24verification/rvgen: Do not generate unused variablesNam Cao-4/+21
2025-07-24verification/rvgen: Generate each variable definition only onceNam Cao-3/+5
2025-07-24verification/rvgen: Support the 'next' operatorNam Cao-0/+26
2025-07-24verification/rvgen: Add support for linear temporal logicNam Cao-1/+915
2025-07-24verification/rvgen: Restructure the classes to prepare for LTL inclusionNam Cao-261/+308
2025-07-24verification/rvgen: Restructure the templates filesNam Cao-32/+20
2025-07-24verification/dot2k: Prepare the frontend for LTL inclusionNam Cao-17/+25
2025-07-24verification/dot2k: Replace is_container() hack with subparsersNam Cao-18/+21
2025-07-24verification/dot2k: Remove __buff_to_string()Nam Cao-15/+6
2025-07-24verification/dot2k: Make a separate dot2k_templates/Kconfig_containerNam Cao-1/+7
2025-07-09rv: Add rtapp_sleep monitorNam Cao-0/+22
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-04 22:59:17 +0000