summaryrefslogtreecommitdiff
path: root/tools/verification
AgeCommit message (Expand)AuthorFilesLines
9 daysverification/rvgen: Use .old instead of .bak for kunit backup filesGabriele Monaco2-1/+1
2026-07-31verification/rvgen: Add selftests for rvgen kunitGabriele Monaco26-0/+1278
2026-07-31verification/rvgen: Add the rvgen kunit subcommandGabriele Monaco5-3/+244
2026-07-31verification/rvgen: Add selftestsGabriele Monaco4-0/+145
2026-07-31verification/rvgen: Add golden and spec folders for testsGabriele Monaco42-0/+2001
2026-07-31tools/rv: Add selftestsGabriele Monaco4-1/+288
2026-07-31verification/rvgen: Improve consistency in template filesGabriele Monaco4-4/+4
2026-07-31verification/rvgen: Use pathlib instead of os.pathGabriele Monaco1-13/+9
2026-07-31verification/rvgen: Improve rv_dir discovery in RVGeneratorGabriele Monaco1-13/+16
2026-07-31tools/rv: Fix exit status when monitor execution failsGabriele Monaco1-12/+12
2026-07-31rv: Use generic rv_this for the rv_monitor variable in LTLGabriele Monaco1-3/+3
2026-07-24rv/rtapp: Add wakeup monitorNam Cao1-0/+5
2026-07-24rv/rtapp/sleep: Stop monitoring kernel threadsNam Cao1-5/+2
2026-07-24rv/rtapp/sleep: Update nanosleep ruleNam Cao1-1/+1
2026-07-24rv/rtapp/sleep: Make the error more informative for userNam Cao1-1/+1
2026-07-23verification/rvgen: Generate cleanup hook for per-obj monitorGabriele Monaco1-0/+15
2026-07-23rv: Update rvgen monitor synthesis documentation pathYu Chuanyu2-2/+2
2026-07-20verification/rvgen: Remove dead codeNam Cao2-185/+1
2026-07-20verification/rvgen: Remove the old state variablesNam Cao3-14/+13
2026-07-20verification/rvgen: Switch __create_matrix() to LarkNam Cao2-36/+13
2026-07-20verification/rvgen: Switch __get_event_variables() to LarkNam Cao1-59/+19
2026-07-20verification/rvgen: Delete __parse_constraint()Nam Cao1-63/+4
2026-07-20verification/rvgen: Simplify the generation for clock variablesNam Cao1-93/+3
2026-07-20verification/rvgen: Convert __fill_verify_guards_func() to LarkNam Cao1-8/+30
2026-07-20verification/rvgen: Convert __fill_setup_invariants_func() to LarkNam Cao1-9/+39
2026-07-20verification/rvgen: Convert __fill_verify_invariants_func() to LarkNam Cao1-11/+21
2026-07-20verification/rvgen: Implement state and transition parser based on LarkNam Cao1-0/+216
2026-07-20verification/rvgen: Introduce a parse tree for automata using LarkNam Cao1-0/+186
2026-07-20verification/rvgen: Switch LTL parser to LarkNam Cao2-125/+82
2026-06-04verification/rvgen: Fix ltl2k writing True as a literalGabriele Monaco1-4/+5
2026-06-04verification/rvgen: Fix options shared among commandsGabriele Monaco1-4/+6
2026-06-04verification/rvgen: Fix suffix strip in dot2kGabriele Monaco1-2/+2
2026-06-04tools/rv: Fix cleanup after failed trace setupGabriele Monaco1-1/+1
2026-06-04tools/rv: Fix substring match when listing container monitorsGabriele Monaco1-2/+6
2026-06-04tools/rv: Fix substring match bug in monitor name searchGabriele Monaco1-23/+25
2026-06-04tools/rv: Ensure monitor name and desc are NUL-terminatedGabriele Monaco1-3/+4
2026-06-03rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco1-2/+2
2026-04-01rv: Allow epoll in rtapp-sleep monitorNam Cao1-0/+1
2026-04-01rv/rvgen: fix _fill_states() return type annotationWander Lairson Costa1-1/+1
2026-04-01rv/rvgen: fix unbound loop variable warningWander Lairson Costa1-5/+9
2026-04-01rv/rvgen: enforce presence of initial stateWander Lairson Costa1-0/+4
2026-04-01rv/rvgen: extract node marker string to class constantWander Lairson Costa1-4/+5
2026-04-01rv/rvgen: fix isinstance check in Variable.expand()Wander Lairson Costa1-1/+1
2026-04-01rv/rvgen: make monitor arguments required in rvgenWander Lairson Costa1-3/+4
2026-04-01rv/rvgen: remove unused __get_main_name methodWander Lairson Costa1-6/+0
2026-04-01rv/rvgen: remove unused sys import from dot2cWander Lairson Costa1-1/+0
2026-04-01rv/rvgen: refactor automata.py to use iterator-based parsingWander Lairson Costa1-45/+71
2026-04-01rv/rvgen: use class constant for init markerWander Lairson Costa1-2/+3
2026-04-01rv/rvgen: fix DOT file validation logic errorWander Lairson Costa1-1/+1
2026-04-01rv/rvgen: fix PEP 8 whitespace violationsWander Lairson Costa4-8/+8
generated by cgit v1.2.3 (git 2.39.0) at 2026-09-03 20:57:18 +0300