aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/tools/verification/rvgen
AgeCommit message (Expand)AuthorFilesLines
7 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 Monaco3-0/+111
2026-07-31verification/rvgen: Add golden and spec folders for testsGabriele Monaco42-0/+2001
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-11/+14
2026-07-31rv: Use generic rv_this for the rv_monitor variable in LTLGabriele Monaco1-3/+3
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-35/+12
2026-07-20verification/rvgen: Switch __get_event_variables() to LarkNam Cao1-58/+18
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-116/+73
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-03rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco1-2/+2
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
2026-04-01rv/rvgen: fix typos in automata and generator docstring and commentsWander Lairson Costa4-8/+8
2026-03-31rv/rvgen: use context managers for file operationsWander Lairson Costa2-12/+6
2026-03-31rv/rvgen: remove unnecessary semicolonsWander Lairson Costa1-3/+3
2026-03-31rv/rvgen: replace __len__() calls with len()Wander Lairson Costa2-9/+9
2026-03-31rv/rvgen: replace % string formatting with f-stringsWander Lairson Costa6-85/+83
2026-03-31rv/rvgen: remove bare except clauses in generatorWander Lairson Costa1-8/+1
2026-03-31rv/rvgen: introduce AutomataError exception classWander Lairson Costa7-34/+43
2026-03-31verification/rvgen: Add support for per-obj monitorsGabriele Monaco2-5/+14
2026-03-31verification/rvgen: Add support for Hybrid AutomataGabriele Monaco7-15/+678
2026-03-31verification/rvgen: Allow spaces in and events stringsGabriele Monaco1-5/+4
2026-01-12verification/rvgen: Remove unused variable declaration from containersGabriele Monaco1-2/+0
Copyright © 1996 – 2026 Jason A. Donenfeld. All Rights Reverse Engineered.