Introduce timestamp/duration as first class types in verifier. Add arithmetic axioms for the two types along with type conversions · cel-expr/cel-java@fdf4d14

4m 9s

4m 47s

6s

9m 2s

Navigation Menu