GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-26 22:29:08 +03:00
Code Issues Projects Releases Wiki Activity

Correct definition of rotate in Section 3.3

Browse Source 
Closes #758
This commit is contained in:
Brett Boston 2020-06-18 17:44:38 -07:00
parent 8b6581f263
commit b136902476
3 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
docs/Cryptol.pdf
View File

Binary file not shown.

BIN
docs/ProgrammingCryptol.pdf
View File

Binary file not shown.

2
docs/ProgrammingCryptol/enigma/Enigma.tex
View File

@ -187,7 +187,7 @@ rotate. We will model this action using the Cryptol function {\tt
\end{code} \end{code}
The function {\tt scramble} takes a triple \texttt{(rotate, c, rotor)}: The function {\tt scramble} takes a triple \texttt{(rotate, c, rotor)}:
\begin{itemize} \begin{itemize}
\item {\tt rotate}: if {\tt True}, this rotor will rotate before \item {\tt rotate}: if {\tt True}, this rotor will rotate after
encryption. Indicates that the notch between this rotor and the encryption. Indicates that the notch between this rotor and the
previous one was engaged, previous one was engaged,
\item {\tt c}: the character to encrypt, and \item {\tt c}: the character to encrypt, and