chore(dafny): add timing support

ajewellamz · ajewellamz · commit 13bb0c8081b7 · 2025-02-13T10:39:31.000-05:00
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 70e580991678387ce897a286c4f7f449aa616785
+Subproject commit c503da8285a510b25ace619b2cc27ffa247840ee
