Merge pull request #324 from o1-labs/feature/missing-preconditions

Finish unimplemented preconditions
o1-labs · Aug 8, 2022 · bb75c9d · bb75c9d
2 parents fb264ee + 38d254b
commit bb75c9d
Show file tree

Hide file tree

Showing 26 changed files with 4,746 additions and 4,426 deletions.
diff --git a/MINA_COMMIT b/MINA_COMMIT
@@ -1,2 +1,2 @@
 The mina commit used to generate the backends for node and chrome is
-ed1244c761f957ebf99652f28b29411e434048f7
+eb994161a5c1c796221b778eb155567361d11b74