Skip to content

new arithmetic overflow rule#220

Merged
PLeVasseur merged 19 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:feature/arithmetic-overflow
Dec 4, 2025
Merged

new arithmetic overflow rule#220
PLeVasseur merged 19 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:feature/arithmetic-overflow

Commits

Commits on Dec 4, 2025