summaryrefslogtreecommitdiffstats
path: root/tools/verification/rvgen
AgeCommit message (Expand)AuthorLines
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-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-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-0/+1116
generated by cgit v1.2.3 (git 2.46.0) at 2026-03-19 16:41:55 +0000