index
:
kernel/git/stable/linux.git
linux-2.6.11.y
linux-2.6.12.y
linux-2.6.13.y
linux-2.6.14.y
linux-2.6.15.y
linux-2.6.16.y
linux-2.6.17.y
linux-2.6.18.y
linux-2.6.19.y
linux-2.6.20.y
linux-2.6.21.y
linux-2.6.22.y
linux-2.6.23.y
linux-2.6.24.y
linux-2.6.25.y
linux-2.6.26.y
linux-2.6.27.y
linux-2.6.28.y
linux-2.6.29.y
linux-2.6.30.y
linux-2.6.31.y
linux-2.6.32.y
linux-2.6.33.y
linux-2.6.34.y
linux-2.6.35.y
linux-2.6.36.y
linux-2.6.37.y
linux-2.6.38.y
linux-2.6.39.y
linux-3.0.y
linux-3.1.y
linux-3.10.y
linux-3.11.y
linux-3.12.y
linux-3.13.y
linux-3.14.y
linux-3.15.y
linux-3.16.y
linux-3.17.y
linux-3.18.y
linux-3.19.y
linux-3.2.y
linux-3.3.y
linux-3.4.y
linux-3.5.y
linux-3.6.y
linux-3.7.y
linux-3.8.y
linux-3.9.y
linux-4.0.y
linux-4.1.y
linux-4.10.y
linux-4.11.y
linux-4.12.y
linux-4.13.y
linux-4.14.y
linux-4.15.y
linux-4.16.y
linux-4.17.y
linux-4.18.y
linux-4.19.y
linux-4.2.y
linux-4.20.y
linux-4.3.y
linux-4.4.y
linux-4.5.y
linux-4.6.y
linux-4.7.y
linux-4.8.y
linux-4.9.y
linux-5.0.y
linux-5.1.y
linux-5.10.y
linux-5.11.y
linux-5.12.y
linux-5.13.y
linux-5.14.y
linux-5.15.y
linux-5.16.y
linux-5.17.y
linux-5.18.y
linux-5.19.y
linux-5.2.y
linux-5.3.y
linux-5.4.y
linux-5.5.y
linux-5.6.y
linux-5.7.y
linux-5.8.y
linux-5.9.y
linux-6.0.y
linux-6.1.y
linux-6.10.y
linux-6.11.y
linux-6.12.y
linux-6.13.y
linux-6.14.y
linux-6.15.y
linux-6.16.y
linux-6.17.y
linux-6.18.y
linux-6.19.y
linux-6.2.y
linux-6.3.y
linux-6.4.y
linux-6.5.y
linux-6.6.y
linux-6.7.y
linux-6.8.y
linux-6.9.y
linux-7.0.y
linux-7.1.y
linux-7.2.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree
Stable Group
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
verification
/
rvgen
Age
Commit message (
Expand
)
Author
4 days
verification/rvgen: Use .old instead of .bak for kunit backup files
Gabriele Monaco
2026-07-31
verification/rvgen: Add selftests for rvgen kunit
Gabriele Monaco
2026-07-31
verification/rvgen: Add the rvgen kunit subcommand
Gabriele Monaco
2026-07-31
verification/rvgen: Add selftests
Gabriele Monaco
2026-07-31
verification/rvgen: Add golden and spec folders for tests
Gabriele Monaco
2026-07-31
verification/rvgen: Improve consistency in template files
Gabriele Monaco
2026-07-31
verification/rvgen: Use pathlib instead of os.path
Gabriele Monaco
2026-07-31
verification/rvgen: Improve rv_dir discovery in RVGenerator
Gabriele Monaco
2026-07-31
rv: Use generic rv_this for the rv_monitor variable in LTL
Gabriele Monaco
2026-07-23
verification/rvgen: Generate cleanup hook for per-obj monitor
Gabriele Monaco
2026-07-23
rv: Update rvgen monitor synthesis documentation path
Yu Chuanyu
2026-07-20
verification/rvgen: Remove dead code
Nam Cao
2026-07-20
verification/rvgen: Remove the old state variables
Nam Cao
2026-07-20
verification/rvgen: Switch __create_matrix() to Lark
Nam Cao
2026-07-20
verification/rvgen: Switch __get_event_variables() to Lark
Nam Cao
2026-07-20
verification/rvgen: Delete __parse_constraint()
Nam Cao
2026-07-20
verification/rvgen: Simplify the generation for clock variables
Nam Cao
2026-07-20
verification/rvgen: Convert __fill_verify_guards_func() to Lark
Nam Cao
2026-07-20
verification/rvgen: Convert __fill_setup_invariants_func() to Lark
Nam Cao
2026-07-20
verification/rvgen: Convert __fill_verify_invariants_func() to Lark
Nam Cao
2026-07-20
verification/rvgen: Implement state and transition parser based on Lark
Nam Cao
2026-07-20
verification/rvgen: Introduce a parse tree for automata using Lark
Nam Cao
2026-07-20
verification/rvgen: Switch LTL parser to Lark
Nam Cao
2026-06-04
verification/rvgen: Fix ltl2k writing True as a literal
Gabriele Monaco
2026-06-04
verification/rvgen: Fix options shared among commands
Gabriele Monaco
2026-06-04
verification/rvgen: Fix suffix strip in dot2k
Gabriele Monaco
2026-06-03
rv: Add automatic cleanup handlers for per-task HA monitors
Gabriele Monaco
2026-04-01
rv/rvgen: fix _fill_states() return type annotation
Wander Lairson Costa
2026-04-01
rv/rvgen: fix unbound loop variable warning
Wander Lairson Costa
2026-04-01
rv/rvgen: enforce presence of initial state
Wander Lairson Costa
2026-04-01
rv/rvgen: extract node marker string to class constant
Wander Lairson Costa
2026-04-01
rv/rvgen: fix isinstance check in Variable.expand()
Wander Lairson Costa
2026-04-01
rv/rvgen: make monitor arguments required in rvgen
Wander Lairson Costa
2026-04-01
rv/rvgen: remove unused __get_main_name method
Wander Lairson Costa
2026-04-01
rv/rvgen: remove unused sys import from dot2c
Wander Lairson Costa
2026-04-01
rv/rvgen: refactor automata.py to use iterator-based parsing
Wander Lairson Costa
2026-04-01
rv/rvgen: use class constant for init marker
Wander Lairson Costa
2026-04-01
rv/rvgen: fix DOT file validation logic error
Wander Lairson Costa
2026-04-01
rv/rvgen: fix PEP 8 whitespace violations
Wander Lairson Costa
2026-04-01
rv/rvgen: fix typos in automata and generator docstring and comments
Wander Lairson Costa
2026-03-31
rv/rvgen: use context managers for file operations
Wander Lairson Costa
2026-03-31
rv/rvgen: remove unnecessary semicolons
Wander Lairson Costa
2026-03-31
rv/rvgen: replace __len__() calls with len()
Wander Lairson Costa
2026-03-31
rv/rvgen: replace % string formatting with f-strings
Wander Lairson Costa
2026-03-31
rv/rvgen: remove bare except clauses in generator
Wander Lairson Costa
2026-03-31
rv/rvgen: introduce AutomataError exception class
Wander Lairson Costa
2026-03-31
verification/rvgen: Add support for per-obj monitors
Gabriele Monaco
2026-03-31
verification/rvgen: Add support for Hybrid Automata
Gabriele Monaco
2026-03-31
verification/rvgen: Allow spaces in and events strings
Gabriele Monaco
2026-01-12
verification/rvgen: Remove unused variable declaration from containers
Gabriele Monaco
[next]
