Skip to content

feat(gust): Kani-proven wrap-safe time-seam math (VER-OS-TIME-MATH-001, v0.5.1) - #222

Merged
avrabe merged 1 commit into
mainfrom
feat/gust-os-time-math-kani
Jul 23, 2026
Merged

feat(gust): Kani-proven wrap-safe time-seam math (VER-OS-TIME-MATH-001, v0.5.1)#222
avrabe merged 1 commit into
mainfrom
feat/gust-os-time-math-kani

feat(gust): Kani-proven wrap-safe time-seam math + rivet VER-OS-TIME-…

66cea65
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 23, 2026 in 0s

Coverage not affected when comparing 7a35afb...66cea65

View this Pull Request on Codecov

Coverage not affected when comparing 7a35afb...66cea65

View more details on Codecov