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

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

March 2026

Chris Hawblitzel
Merge branch 'main' into ieee-float
committed
elanortang
Wrapping specs (#2204)
committed

February 2025

Jay Lorch
Integers checked for overflow (#1459)
committed

February 2024

Andrea Lattuada
rename pervasive -> vstd
committed