Skip to content

Commit f17004f

Browse files
committed
ras: re-insert transient stuff into _inputs
1 parent a6f0b7b commit f17004f

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

hub/_inputs.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ \section{Introduction} \label{hub: intro} \input{intro}
1212
\input{stack/_inputs} % Done
1313
\input{context/_inputs} % Done
1414
\input{account/_inputs} % Done
15+
\input{transient/_inputs} % Done
1516
\input{storage/_inputs} % Done
1617
\input{misc/_inputs} % Todo
1718
\input{scenario/_inputs} % Wip

hub/instruction_handling/_inputs.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ \subsection{Instructions raising the $\stackDecTxnFlag$ \lispDone{}}
2020
\subsection{Instructions raising the $\stackDecBtcFlag$ \lispDone{}} \label{hub: instruction handling: btc} \input{instruction_handling/btc}
2121
\subsection{Instructions raising the $\stackDecStackRamFlag$ \lispDone{}} \label{hub: instruction handling: stackRam} \input{instruction_handling/stack_ram/_inputs}
2222
\subsection{Instructions raising the $\stackDecStoFlag$ \lispDone{}} \label{hub: instruction handling: sto} \input{instruction_handling/storage/_inputs}
23+
\subsection{Instructions raising the $\stackDecTransFlag$ \lispDone{}} \label{hub: instruction handling: transient} \input{instruction_handling/transient/_inputs}
2324
\subsection{Instructions raising the $\stackDecJumpFlag$ \lispDone{}} \label{hub: instruction handling: jump} \input{instruction_handling/jump}
2425
\subsection{Instructions raising the $\stackDecMachineStateFlag$ \lispDone{}} \label{hub: instruction handling: machineState} \input{instruction_handling/machine_state/_inputs}
2526
\subsection{Instructions raising the $\stackDecPushPopFlag$ \lispDone{}} \label{hub: instruction handling: pushPop} \input{instruction_handling/push_pop/_inputs}

0 commit comments

Comments
 (0)