Skip to content

Introduce timestamp/duration as first class types in verifier. Add arithmetic axioms for the two types along with type conversions - #1153

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_955537654
Aug 1, 2026
Merged

Introduce timestamp/duration as first class types in verifier. Add arithmetic axioms for the two types along with type conversions#1153
copybara-service[bot] merged 1 commit into
mainfrom
test_955537654

Commits

Commits on Aug 1, 2026