OpenZeppelin · pepebndc · Jul 17, 2025 · May 27, 2025 · May 27, 2025 · May 28, 2025
diff --git a/documentation/PreemptiveProvableAssertions.md b/documentation/PreemptiveProvableAssertions.md
diff --git a/documentation/compile_provable_assertion_images.sh b/documentation/compile_provable_assertion_images.sh
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+
+name="provable_assertion_images";
+
+for i in {0..19}
+do
+    pdflatex "\def\sourceNo{$i}\input{$name.tex}";
+    convert -density 600x600 $name.pdf -quality 90 $name.$i.png;
+done
+
+rm $name.aux $name.log $name.pdf
diff --git a/documentation/provable_assertion_images.0.png b/documentation/provable_assertion_images.0.png
diff --git a/documentation/provable_assertion_images.1.png b/documentation/provable_assertion_images.1.png
diff --git a/documentation/provable_assertion_images.10.png b/documentation/provable_assertion_images.10.png
diff --git a/documentation/provable_assertion_images.11.png b/documentation/provable_assertion_images.11.png
diff --git a/documentation/provable_assertion_images.12.png b/documentation/provable_assertion_images.12.png
diff --git a/documentation/provable_assertion_images.13.png b/documentation/provable_assertion_images.13.png
diff --git a/documentation/provable_assertion_images.14.png b/documentation/provable_assertion_images.14.png
diff --git a/documentation/provable_assertion_images.15.png b/documentation/provable_assertion_images.15.png
diff --git a/documentation/provable_assertion_images.16.png b/documentation/provable_assertion_images.16.png
diff --git a/documentation/provable_assertion_images.17.png b/documentation/provable_assertion_images.17.png
diff --git a/documentation/provable_assertion_images.18.png b/documentation/provable_assertion_images.18.png
diff --git a/documentation/provable_assertion_images.19.png b/documentation/provable_assertion_images.19.png
diff --git a/documentation/provable_assertion_images.2.png b/documentation/provable_assertion_images.2.png
diff --git a/documentation/provable_assertion_images.3.png b/documentation/provable_assertion_images.3.png
diff --git a/documentation/provable_assertion_images.4.png b/documentation/provable_assertion_images.4.png
diff --git a/documentation/provable_assertion_images.5.png b/documentation/provable_assertion_images.5.png
diff --git a/documentation/provable_assertion_images.6.png b/documentation/provable_assertion_images.6.png
diff --git a/documentation/provable_assertion_images.7.png b/documentation/provable_assertion_images.7.png
diff --git a/documentation/provable_assertion_images.8.png b/documentation/provable_assertion_images.8.png
diff --git a/documentation/provable_assertion_images.9.png b/documentation/provable_assertion_images.9.png