linux-toradex.git - Linux kernel for Apalis and Colibri modules

Age	Commit message (Expand)	Author
2026-08-25	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	tools/rv: Add selftests	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	tools/rv: Fix exit status when monitor execution fails	Gabriele Monaco
2026-07-31	rv: Use generic rv_this for the rv_monitor variable in LTL	Gabriele Monaco
2026-07-24	rv/rtapp: Add wakeup monitor	Nam Cao
2026-07-24	rv/rtapp/sleep: Stop monitoring kernel threads	Nam Cao
2026-07-24	rv/rtapp/sleep: Update nanosleep rule	Nam Cao
2026-07-24	rv/rtapp/sleep: Make the error more informative for user	Nam Cao
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-04	tools/rv: Fix cleanup after failed trace setup	Gabriele Monaco
2026-06-04	tools/rv: Fix substring match when listing container monitors	Gabriele Monaco
2026-06-04	tools/rv: Fix substring match bug in monitor name search	Gabriele Monaco
2026-06-04	tools/rv: Ensure monitor name and desc are NUL-terminated	Gabriele Monaco
2026-06-03	rv: Add automatic cleanup handlers for per-task HA monitors	Gabriele Monaco
2026-04-01	rv: Allow epoll in rtapp-sleep monitor	Nam Cao
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