Skip to content

Commit af9dd9e

Browse files
OlivierBBBOlivierBBB
authored
Cancun and Prague release clean up (#280)
* feat: mark deprecated modules as such in full spec * feat: removed obsolete MXP module * feat: removed obsolete RLP_TXN and now use the _v2 * feat: removed obsolete TXN_DATA and now use the _v2 * feat: removed obsolete ROM and now use the _v3 * feat: removed RLP_PATTERNS * feat: make it compile again
1 parent 5eab8a9 commit af9dd9e

File tree

395 files changed

+980
-5350
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

395 files changed

+980
-5350
lines changed

‎Makefile‎

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -29,18 +29,14 @@ mmio: view-mmio
2929
modexp: view-modexp_data
3030
mmu: view-mmu
3131
mxp: view-mxp
32-
mxp_v3: view-mxp_v3
3332
oob: view-oob
3433
prc: view-prc
3534
rlp_addr: view-rlp_addr
3635
rlp_patterns: view-rlp_patterns
37-
rlp_patterns_v2: view-rlp_patterns_v2
3836
rlp_txn: view-rlp_txn
39-
rlp_txn_v2: view-rlp_txn_v2
4037
rlp_txnrcpt: view-rlp_txnrcpt
4138
rlp_utils: view-rlp_utils
4239
rom: view-rom
43-
rom_v3: view-rom_v3
4440
rom_lex: view-rom_lex
4541
shf: view-shf
4642
spec: view-spec
@@ -71,18 +67,14 @@ rmmio: recompile-mmio
7167
rmodexp: recompile-modexp_data
7268
rmmu: recompile-mmu
7369
rmxp: recompile-mxp
74-
rmxp_v3: recompile-mxp_v3
7570
roob: recompile-oob
7671
rprc: recompile-prc
7772
rrlp_addr: recompile-rlp_addr
7873
rrlp_patterns: recompile-rlp_patterns
79-
rrlp_patterns_v2: recompile-rlp_patterns_v2
8074
rrlp_txn: recompile-rlp_txn
81-
rrlp_txn_v2: recompile-rlp_txn_v2
8275
rrlp_txnrcpt: recompile-rlp_txnrcpt
8376
rrlp_utils: recompile-rlp_utils
8477
rrom: recompile-rom
85-
rrom_v3: recompile-rom_v3
8678
rrom_lex: recompile-rom_lex
8779
rshf: recompile-shf
8880
rspec: recompile-spec

‎alu/_inputs.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
\chapter{Primitives for arithmetic modules} \label{alu: primitives} \minitoc \input{primitives/_inputs}
2-
\chapter{The \addMod{} module} \label{alu: add} \minitoc \input{add/_inputs}
2+
\chapter{The \addMod{} module \specDeprecated{}} \label{alu: add} \minitoc \input{add/_inputs}
33
\chapter{The \mulMod{} module} \label{alu: mul} \minitoc \input{mul/_inputs}
44
\chapter{The \modMod{} module} \label{alu: mod} \minitoc \input{mod/_inputs}
55
\chapter{The \extMod{} module} \label{alu: ext} \minitoc \input{ext/_inputs}

‎hub/_inputs.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
\input{_local}
2+
\input{_local_other}
23
\input{../exp/_local}
34
\input{../oob/_local}
45
\input{instruction_handling/call/precompiles/_local}
56
\input{scenario/tables/_local}
67
\input{system/_local}
7-
\input{../txn_data_system/_local}
88

99
\section{Introduction} \label{hub: intro} \input{intro}
1010

‎hub/_local.tex‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,4 @@
11
\def\locCallX {\loc{call\_exception}}
2-
\def\gZero {\graym{0}}
3-
\def\rZero {\redm{0}}
4-
\def\one {\redm{1}}
52

63
\def\locCallAborts {\loc{call\_aborts}}
74
\def\locCalleeIsPrecompile {\loc{callee\_is\_precompile}}

‎txn_data_system/_local.tex‎ renamed to ‎hub/_local_other.tex‎

File renamed without changes.

‎hub/lookups/into_rlp_txn.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
\input{../rlp_txn_v2/_local}
1+
\input{../rlp_txn/_local}
22
The present section describes the lookup between the \hubMod{} and the \rlpTxnMod{} module.
33
This lookup allows the \hubMod{} to learn about which (account) addresses and storage keys to pre-warm during the \txWarm-phase.
44
\begin{description}

‎mmio/lookups/mmio_into_txcd.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
\input{../rlp_txn_v2/_local}
1+
\input{../rlp_txn/_local}
22
The lookup to the $\rlpTxnMod$ module is constructed as follows:
33
\begin{description}
44
\item[\underline{Selector:}] $\isExoFlagRlpTxn$

‎mxp/_all_mxp.tex‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,27 @@
1-
\documentclass{article}
1+
\documentclass[fleqn]{article}
22
\usepackage[dvipsnames]{xcolor}
33
\usepackage{xkeyval}
44
\usepackage{../pkg/common}
5-
%\usepackage{../pkg/dark_theme}
65
\usepackage{../pkg/std}
76
\usepackage{../pkg/IEEEtrantools}
87
\usepackage{../pkg/rom}
98
\usepackage{../pkg/env}
9+
\usepackage{../pkg/euc}
1010
\usepackage{../pkg/ram}
11+
\usepackage{../pkg/wc3}
1112
\usepackage{../pkg/stack}
1213
\usepackage{../pkg/call_stack}
1314
\usepackage{../pkg/access}
15+
\usepackage{../pkg/instruction_decoder}
1416
\usepackage{../pkg/expansion}
1517
\usepackage{../pkg/thm_env}
1618
\usepackage{../pkg/offset_processor}
1719
\usepackage{../pkg/flags_stamps_selectors}
1820
\usepackage{../pkg/instruction_flags}
1921
\usepackage{../pkg/exceptions}
2022
\usepackage{../pkg/draculatheme}
23+
\usepackage{../pkg/xkeyval_macros/wcp_calls}
24+
\usepackage{../pkg/xkeyval_macros/euc_calls}
2125

2226
\usepackage{../pkg/draculatheme}
2327

‎mxp/_inputs.tex‎

Lines changed: 9 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -1,32 +1,10 @@
1-
\section{Memory expansion module}
1+
\input{_local}
22

3-
% \newpage
4-
% \subsection{Raw columns} \input{columns_raw}
5-
\subsection{Introduction} \input{intro}
6-
\subsection{Instructions} \input{instructions}
7-
\subsection{Columns} \input{columns}
8-
\subsection{Offset bounds} \input{details} \label{mxp: offset bounds}
9-
10-
\section{General constraints}
11-
\subsection{Binary constraints} \input{binary} \label{mxp: binary}
12-
\subsection{Constancy constraints} \input{constancies} \label{mxp: counter-constancies}
13-
\subsection{The \roob{} flag} \input{roob} \label{mxp: roob}
14-
\subsection{The \noop{} flag} \input{noop} \label{mxp: noop}
15-
\subsection{The \mayTriggerNonTrivialOperation{} flag} \input{mtntop} \label{mxp: may trigger non trivial operation}
16-
\subsection{The \sizeOneNonzeroNoMxpx{} and \sizeTwoNonzeroNoMxpx{} flags} \input{sizenonzeronomxpx} \label{mxp: size nonzero no mxpx}
17-
\subsection{Heartbeat} \input{heartbeat} \label{mxp: heartbeat}
18-
\subsection{Byte decompositions} \input{bytedec} \label{mxp: byte decompositions}
19-
20-
\section{Specialized constraints} \label{mxp: specialized constraints}
21-
\subsection{Standing hypothesis} \input{standing_hyp}
22-
\subsection{Max offsets} \input{max_offsets}
23-
\subsection{Offsets are out of bounds} \input{out_of_bounds/intro}
24-
\subsection{Offsets are in bounds}
25-
\subsubsection{Preliminary computations} \input{in_bounds/comp}
26-
\subsubsection{Update --- no expansion event} \input{in_bounds/no_update}
27-
\subsubsection{Update --- expansion event} \input{in_bounds/update}
28-
\subsubsection{Memory expansion gas} \input{in_bounds/gas_cost} \label{mxp: mxp gas cost}
29-
30-
\section{Consistency constraints} \input{consistency} \label{mxp: consistency}
31-
32-
\section{Lookup into the \idMod{} module} \input{lookup} \label{mxp: instruction decoding lookup}
3+
\section{Introduction \lispNone{}} \label{mxp: intro} \input{intro}
4+
\section{Instruction decoder \lispNone{}} \label{mxp: instruction decoder} \input{instruction_decoder_representation}
5+
\section{\hubMod{} / \mxpMod{} interface \lispNone{}} \label{mxp: hub mxp interface} \input{hub_mxp_interface}
6+
\section{Columns \lispDone{}} \label{mxp: columns} \input{columns/_inputs}
7+
\section{Generalities \lispDone{}} \label{mxp: generalities} \input{generalities/_inputs}
8+
\section{Computations \lispDone{}} \label{mxp: computations} \input{computations/_inputs}
9+
\section{Consistency \lispDone{}} \label{mxp: consistency} \input{consistency/_inputs}
10+
\section{Lookups \lispDone{}} \label{mxp: lookups} \input{lookups/_inputs}

‎mxp_v3/_local.tex‎ renamed to ‎mxp/_local.tex‎

File renamed without changes.

0 commit comments

Comments
 (0)