index
:
linux-toradex.git
colibri
colibri_vf
master
tegra
tegra-next
toradex_4.1-2.0.x-imx
toradex_4.1-2.0.x-imx-next
toradex_4.14-2.0.x-imx
toradex_4.14-2.0.x-imx-next
toradex_4.14-2.0.x-imx-rebased
toradex_4.14-2.3.x-imx
toradex_4.19.y
toradex_4.19.y-rt
toradex_4.20.y
toradex_4.9-1.0.x-imx
toradex_4.9-1.0.x-imx-next
toradex_4.9-1.0.x-imx-rebased
toradex_4.9-2.3.x-imx
toradex_4.9-2.3.x-imx-next
toradex_4.9-2.3.x-imx-rebased
toradex_5.0.y
toradex_5.15-2.0.x-imx
toradex_5.15-2.1.x-imx
toradex_5.15-2.2.x-imx
toradex_5.2.y
toradex_5.3.y
toradex_5.4-2.1.x-imx
toradex_5.4-2.3.x-imx
toradex_5.4.y
toradex_6.12-2.0.x-imx
toradex_6.6-2.0.x-imx
toradex_6.6-2.1.x-imx
toradex_6.6-2.2.x-imx
toradex_imx6
toradex_imx_3.10.17_1.0.0_ga
toradex_imx_3.10.17_1.0.0_ga-next
toradex_imx_3.14.28_1.0.0_ga
toradex_imx_3.14.52_1.1.0_ga
toradex_imx_3.14.52_1.1.0_ga-next
toradex_imx_4.1.15_1.0.0_ga
toradex_imx_4.1.15_1.0.0_ga-next
toradex_imx_4.14.78_1.0.0_ga-bring_up
toradex_imx_4.9.123_imx8mm_ga-bring_up
toradex_imx_4.9.51_imx8_beta1-bring_up
toradex_imx_4.9.51_imx8_beta1-bring_up_ov5640
toradex_imx_4.9.51_imx8_beta2-bring_up
toradex_ti-linux-5.10.y_bringup
toradex_ti-linux-6.1.y
toradex_ti-linux-6.18.y
toradex_ti-linux-6.6.y
toradex_tk1_l4t_r21.5
toradex_tk1_l4t_r21.6
toradex_tk1_l4t_r21.7
toradex_tk1_l4t_r21.7-next
toradex_vf_3.18
toradex_vf_3.18-next
toradex_vf_4.0
toradex_vf_4.0-next
toradex_vf_4.1
toradex_vf_4.1-next
toradex_vf_4.4
toradex_vf_4.4-next
Linux kernel for Apalis and Colibri modules
Toradex
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
verification
Age
Commit message (
Expand
)
Author
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
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
rv: Add nomiss deadline monitor
Gabriele Monaco
2026-03-31
verification/rvgen: Add support for per-obj monitors
Gabriele Monaco
2026-03-31
rv: Convert the opid monitor to a hybrid automaton
Gabriele Monaco
2026-03-31
rv: Add sample hybrid monitor stall
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
2026-01-12
verification/dot2c: Remove superfluous enum assignment and add last comma
Gabriele Monaco
2026-01-12
verification/dot2c: Remove __buff_to_string() and cleanup
Gabriele Monaco
2026-01-12
verification/rvgen: Annotate DA functions with types
Gabriele Monaco
2026-01-12
verification/rvgen: Adapt dot2k and templates after refactoring da_monitor.h
Gabriele Monaco
2025-07-28
rv: Add opid per-cpu monitor
Gabriele Monaco
2025-07-28
rv: Add nrp and sssw per-task monitors
Gabriele Monaco
2025-07-28
rv: Replace tss and sncid monitors with more complete sts
Gabriele Monaco
2025-07-24
rv: Return init error when registering monitors
Gabriele Monaco
2025-07-24
verification/rvgen: Organise Kconfig entries for nested monitors
Gabriele Monaco
2025-07-24
tools/dot2c: Fix generated files going over 100 column limit
Gabriele Monaco
2025-07-24
tools/rv: Stop gracefully also on SIGTERM
Gabriele Monaco
2025-07-24
tools/rv: Do not skip idle in trace
Gabriele Monaco
2025-07-24
verification/rvgen: Do not generate unused variables
Nam Cao
2025-07-24
verification/rvgen: Generate each variable definition only once
Nam Cao
2025-07-24
verification/rvgen: Support the 'next' operator
Nam Cao
2025-07-24
verification/rvgen: Add support for linear temporal logic
Nam Cao
2025-07-24
verification/rvgen: Restructure the classes to prepare for LTL inclusion
Nam Cao
2025-07-24
verification/rvgen: Restructure the templates files
Nam Cao
2025-07-24
verification/dot2k: Prepare the frontend for LTL inclusion
Nam Cao
2025-07-24
verification/dot2k: Replace is_container() hack with subparsers
Nam Cao
2025-07-24
verification/dot2k: Remove __buff_to_string()
Nam Cao
2025-07-24
verification/dot2k: Make a separate dot2k_templates/Kconfig_container
Nam Cao
2025-07-09
rv: Add rtapp_sleep monitor
Nam Cao
[next]
