kernel/git/next/linux-next.git - The linux-next integration testing tree

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