Skip to content

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

Open
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_955537654
Open

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

Introduce timestamp/duration as first class types in verifier. Add ar…

feac1da
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar