mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
22 lines
579 B
TeX
22 lines
579 B
TeX
\chapter{Enigma simulator}\label{app:enigma}
|
|
In this appendix we present the Cryptol code for the enigma\indEnigma
|
|
machine in its entirety for reference purposes.
|
|
\hyperref[chapter:enigma]{Chapter~\ref*{chapter:enigma}} has a
|
|
detailed discussion on how the enigma machine worked, and the
|
|
construction of the Cryptol model below.
|
|
|
|
\fvset{fontsize=\footnotesize}
|
|
\VerbatimInput[numbers=left]{enigma/Enigma.cry}
|
|
\commentout{
|
|
\begin{code}
|
|
EnigmaEncapsulated = {
|
|
include "Enigma.cry";
|
|
};
|
|
\end{code}
|
|
}
|
|
|
|
%%% Local Variables:
|
|
%%% mode: latex
|
|
%%% TeX-master: "../main/Cryptol"
|
|
%%% End:
|