ci: add translation from Python

formal-land · May 21, 2024 · bd3ebf1 · bd3ebf1
1 parent 4dcabf9
commit bd3ebf1
Show file tree

Hide file tree

Showing 148 changed files with 12,851 additions and 10,497 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -27,6 +27,14 @@ jobs:
             startGroup "Set the rights"
               sudo chown -R $(whoami) .
             endGroup
+            startGroup "Translate the Python code to Coq"
+              cd ethereum-execution-specs/src
+              find ethereum -name "*.py" -exec echo {} \; -exec python ../../main.py {} \; -quit
+              cd ../..
+            endGroup
+            startGroup "Make sure there no differences"
+              git diff --exit-code
+            endGroup
             startGroup "Compile Coq translations"
               cd CoqOfPython
               make

diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "ethereum-execution-specs"]
+	path = ethereum-execution-specs
+	url = https://github.com/ethereum/execution-specs.git