Skip to content

refactor!: remove strict_states, add validate_trap_states and validate_final_reachability#568

Merged
fgmacedo merged 1 commit intodevelopfrom
refactor/remove-strict-states
Feb 17, 2026
Merged

refactor!: remove strict_states, add validate_trap_states and validate_final_reachability#568
fgmacedo merged 1 commit intodevelopfrom
refactor/remove-strict-states

Commits

Commits on Feb 17, 2026

Comments