Skip to content

replaced integer overflow rule with strong typing rule#234

Merged
PLeVasseur merged 6 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:feat/strong-types
Dec 10, 2025
Merged

replaced integer overflow rule with strong typing rule#234
PLeVasseur merged 6 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:feat/strong-types

Commits

Commits on Dec 8, 2025

Commits on Dec 10, 2025