feat: remove duplicate LaTeX macro (#136)

Author: OlivierBBB

pkg/storage.sty

@@ -3,45 +3,7 @@
 \newcommand{\ula}[1]{\ulaPrimitive{\,\,#1}}
 \newcommand{\ura}[1]{\uraPrimitive{#1\,\,}}
 \newcommand{\COUNTER}{\col{COUNTER}}
-\newcommand{\STOSTP}{\col{STORAGE\_STAMP}}
-\newcommand{\iSTOSTP}{\imported{\STOSTP}}
-\newcommand{\stoStp}{\col{STO}\square}
-\newcommand{\iStoStp}{\imported{\stoStp}}
-%\newcommand{\REVSTOSTP}{\ula{\col{STORAGE\_STAMP}}}
-%\newcommand{\revStoStp}{\ula{\col{STO}\square}}
-\newcommand{\ORIGVALHI}{\col{ORIGINAL\_VALUE}\high}
-\newcommand{\ORIGVALLO}{\col{ORIGINAL\_VALUE}\low}
-\newcommand{\origValHi}{\col{ORIG}\high}
-\newcommand{\origValLo}{\col{ORIG}\low}
-\newcommand{\STOGAS}{\col{STORAGE\_GAS}}
-\newcommand{\stoGas}{\col{STOGAS}}
 \newcommand{\REFUND}{\col{REFUND\_GAS}}
 \newcommand{\refund}{\col{REFGAS}}
-\newcommand{\iSTOGAS}{\imported{\STOGAS}}
-\newcommand{\iStoGas}{\imported{\stoGas}}
-\newcommand{\iREFUND}{\imported{\REFUND}}
-\newcommand{\iRefund}{\imported{\refund}}
-\newcommand{\revStamp}{\stoStp\col{REV}}
-%\newcommand{\revStamp}{\stoStp\col{REV}}
-\newcommand{\iRevStamp}{\imported{\revStamp}}
-%\newcommand{\iRevStamp}{\imported{\revStamp}}
-\newcommand{\STOADDR}{\col{STORAGE\_ADDRESS}}
-\newcommand{\stoAddress}{\col{SADDR}}
 \newcommand{\STOKEY}{\col{STORAGE\_KEY}}
 \newcommand{\stoKey}{\col{KEY}}
-\newcommand{\iSTOKEY}{\imported{\STOKEY}}
-\newcommand{\iStoKey}{\imported{\stoKey}}
-\newcommand{\iSTOADDR}{\imported{\STOADDR}}
-\newcommand{\iStoAddr}{\imported{\stoAddress}}
-\newcommand{\FIRSTOCCFLAG}{\col{FIRST\_ACCESS\_FLAG}}
-\newcommand{\firstOccFlag}{\col{FACCF}}
-\newcommand{\LASTOCCFLAG}{\col{LAST\_ACCESS\_FLAG}}
-\newcommand{\lastOccFlag}{\col{LACCF}}
-% \newcommand{\TXFPEF}{\col{TX\_FIRST\_PROPER\_ENCOUNTER\_FLAG}}
-% \newcommand{\txfpef}{\col{TXFPEF}}
-\newcommand{\preWarm}{\col{PREWARM}}
-
-\newcommand{\DIRTYCLEAR}{\col{REFUND\_DIRTY\_CLEAR}}
-\newcommand{\dirtyClear}{\col{REFDC}}
-\newcommand{\DIRTYRESET}{\col{REFUND\_DIRTY\_RESET}}
-\newcommand{\dirtyReset}{\col{REFDR}}

pkg/trm.sty

@@ -3,7 +3,6 @@
 \newcommand{\rawAddrLo}            {\col{RAW\_ADDR\_LO}}
 \newcommand{\isPrecompile}         {\col{IS\_PRECOMPILE}}
 \newcommand{\trmLeadHi}            {\col{leading\_bytes}}
-\newcommand{\first}                {\col{FIRST}}
 
 \newcommand{\maxPrecompileAddressName} {\red{\texttt{MAX\_PRC\_ADDRESS}}}
 \newcommand{\maxPrecompileAddress}     {\red{9}}

trm/_all_trm.tex

@@ -14,6 +14,7 @@
 \usepackage{../pkg/expansion}
 \usepackage{../pkg/exponent}
 \usepackage{../pkg/thm_env}
+\usepackage{../pkg/env}
 \usepackage{../pkg/offset_processor}
 \usepackage{../pkg/wc3}
 \usepackage{../pkg/xkeyval_macros/wcp_calls}