verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/vstd/arithmetic/overflow.rs

May 2025

nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed

February 2025

Jay Lorch
Integers checked for overflow (#1459)
committed