Merge pull request #87 from freespek/igor/report-link

adding a link to the repo
freespek · Dec 2, 2024 · 0b02897 · 0b02897
2 parents 4d257f0 + 6838b1e
commit 0b02897
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/reports/report.tex b/reports/report.tex
@@ -13,7 +13,10 @@
 \newcommand{\tbh}[1]{\textsc{\textbf{#1}}}
 
 \title{Technical Report:\\
-       Exploring Automatic Model-Checking of the Ethereum specification}
+    Exploring Automatic Model-Checking of the Ethereum specification\footnote{%
+        The specifications, scripts, and experimental results can be accessed at:\\
+        \url{https://github.com/freespek/ssf-mc}
+    }}
 \author{%
     Igor Konnov\thanks{This work was supported by Ethereum Foundation
     under grant FY24--1535.}\\ \small Independent Researcher \\