Make the spec compile and amend authors list (#41)

Consensys · Dec 20, 2024 · 2e20cd3 · 2e20cd3
1 parent e4b5c18
commit 2e20cd3
Show file tree

Hide file tree

Showing 14 changed files with 4 additions and 346 deletions.
diff --git a/block_data/binarities.tex b/block_data/binarities.tex
@@ -1,7 +1,9 @@
 We impose \textbf{binary} constraints on the following columns:
-\begin{multicols}{3}
+\begin{multicols}{4}
 	\begin{enumerate}
 		\item $\iomf$
+		\item $\wcpFlag$
+		\item $\eucFlag$
 		\item $\isCoinbase$
 		\item $\isTimestamp$
 		\item $\isNumber$

diff --git a/spec/_all_spec.tex b/spec/_all_spec.tex
@@ -13,6 +13,7 @@
 \usepackage{../pkg/xkeyval_macros/stp_instructions}
 \usepackage{../pkg/xkeyval_macros/wcp_calls}
 \usepackage{../pkg/xkeyval_macros/ext_calls}
+\usepackage{../pkg/xkeyval_macros/euc_calls}
 \usepackage{../pkg/flags_stamps_selectors}
 \usepackage{../pkg/instruction_flags}
 \usepackage{../pkg/IEEEtrantools}
@@ -91,9 +92,7 @@
 Olivier Bégassat,
 Alexandre Belling,
 François Bojarski - Nasretdinov,
-Franklin Delehelle,
 Lorenzo Gentile,
-Emile Hautefeuille,
 Nicolas Liochon
 }
 \date{March 2024}

diff --git a/zzz_block_data/_all_block_data.tex b/zzz_block_data/_all_block_data.tex
diff --git a/zzz_block_data/_inputs.tex b/zzz_block_data/_inputs.tex
diff --git a/zzz_block_data/byteDec.tex b/zzz_block_data/byteDec.tex
diff --git a/zzz_block_data/columns.tex b/zzz_block_data/columns.tex
diff --git a/zzz_block_data/constancies.tex b/zzz_block_data/constancies.tex
diff --git a/zzz_block_data/heartbeat.tex b/zzz_block_data/heartbeat.tex
diff --git a/zzz_block_data/intro.tex b/zzz_block_data/intro.tex
diff --git a/zzz_block_data/lookups/_inputs.tex b/zzz_block_data/lookups/_inputs.tex
diff --git a/zzz_block_data/lookups/btcdata_into_txndata.tex b/zzz_block_data/lookups/btcdata_into_txndata.tex
diff --git a/zzz_block_data/lookups/btcdata_into_wcp.tex b/zzz_block_data/lookups/btcdata_into_wcp.tex
diff --git a/zzz_block_data/lua/layout.lua.tex b/zzz_block_data/lua/layout.lua.tex
diff --git a/zzz_block_data/value_constraint.tex b/zzz_block_data/value_constraint.tex