summaryrefslogtreecommitdiff
path: root/tools/verification
AgeCommit message (Expand)Author
2026-07-31verification/rvgen: Add selftests for rvgen kunitGabriele Monaco
2026-07-31verification/rvgen: Add the rvgen kunit subcommandGabriele Monaco
2026-07-31verification/rvgen: Add selftestsGabriele Monaco
2026-07-31verification/rvgen: Add golden and spec folders for testsGabriele Monaco
2026-07-31tools/rv: Add selftestsGabriele Monaco
2026-07-31verification/rvgen: Improve consistency in template filesGabriele Monaco
2026-07-31verification/rvgen: Use pathlib instead of os.pathGabriele Monaco
2026-07-31verification/rvgen: Improve rv_dir discovery in RVGeneratorGabriele Monaco
2026-07-31tools/rv: Fix exit status when monitor execution failsGabriele Monaco
2026-07-31rv: Use generic rv_this for the rv_monitor variable in LTLGabriele Monaco
2026-07-24rv/rtapp: Add wakeup monitorNam Cao
2026-07-24rv/rtapp/sleep: Stop monitoring kernel threadsNam Cao
2026-07-24rv/rtapp/sleep: Update nanosleep ruleNam Cao
2026-07-24rv/rtapp/sleep: Make the error more informative for userNam Cao
2026-07-23verification/rvgen: Generate cleanup hook for per-obj monitorGabriele Monaco
2026-07-23rv: Update rvgen monitor synthesis documentation pathYu Chuanyu
2026-07-20verification/rvgen: Remove dead codeNam Cao
2026-07-20verification/rvgen: Remove the old state variablesNam Cao
2026-07-20verification/rvgen: Switch __create_matrix() to LarkNam Cao
2026-07-20verification/rvgen: Switch __get_event_variables() to LarkNam Cao
2026-07-20verification/rvgen: Delete __parse_constraint()Nam Cao
2026-07-20verification/rvgen: Simplify the generation for clock variablesNam Cao
2026-07-20verification/rvgen: Convert __fill_verify_guards_func() to LarkNam Cao
2026-07-20verification/rvgen: Convert __fill_setup_invariants_func() to LarkNam Cao
2026-07-20verification/rvgen: Convert __fill_verify_invariants_func() to LarkNam Cao
2026-07-20verification/rvgen: Implement state and transition parser based on LarkNam Cao
2026-07-20verification/rvgen: Introduce a parse tree for automata using LarkNam Cao
2026-07-20verification/rvgen: Switch LTL parser to LarkNam Cao
2026-06-04verification/rvgen: Fix ltl2k writing True as a literalGabriele Monaco
2026-06-04verification/rvgen: Fix options shared among commandsGabriele Monaco
2026-06-04verification/rvgen: Fix suffix strip in dot2kGabriele Monaco
2026-06-04tools/rv: Fix cleanup after failed trace setupGabriele Monaco
2026-06-04tools/rv: Fix substring match when listing container monitorsGabriele Monaco
2026-06-04tools/rv: Fix substring match bug in monitor name searchGabriele Monaco
2026-06-04tools/rv: Ensure monitor name and desc are NUL-terminatedGabriele Monaco
2026-06-03rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco
2026-04-01rv: Allow epoll in rtapp-sleep monitorNam Cao
2026-04-01rv/rvgen: fix _fill_states() return type annotationWander Lairson Costa
2026-04-01rv/rvgen: fix unbound loop variable warningWander Lairson Costa
2026-04-01rv/rvgen: enforce presence of initial stateWander Lairson Costa
2026-04-01rv/rvgen: extract node marker string to class constantWander Lairson Costa
2026-04-01rv/rvgen: fix isinstance check in Variable.expand()Wander Lairson Costa
2026-04-01rv/rvgen: make monitor arguments required in rvgenWander Lairson Costa
2026-04-01rv/rvgen: remove unused __get_main_name methodWander Lairson Costa
2026-04-01rv/rvgen: remove unused sys import from dot2cWander Lairson Costa
2026-04-01rv/rvgen: refactor automata.py to use iterator-based parsingWander Lairson Costa
2026-04-01rv/rvgen: use class constant for init markerWander Lairson Costa
2026-04-01rv/rvgen: fix DOT file validation logic errorWander Lairson Costa
2026-04-01rv/rvgen: fix PEP 8 whitespace violationsWander Lairson Costa
2026-04-01rv/rvgen: fix typos in automata and generator docstring and commentsWander Lairson Costa
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-22 08:25:28 +0000