v2.10

• [closed] Support 2.10.0 #146
• [closed] Default to using the Dockerhub image, rather than the Dockerfile. #145
• [closed] Removed line about needing to uncomment TKWAETests #144
• [closed] Update Transposition Lab #142
• [closed] Corrects broken links from Langauge to Language #141

v1.2

• [closed] Markdown Snippet Extraction #111
• [closed] Transposition Cipher Lab(s) #99
• [closed] Removed post-build apt update, since sudo was removed anyway #138
• [closed] Updated to Cryptol 2.9.1 and SAW 0.6. #137
• [closed] Basic--clear up type/value language, mark quote. #133
• [closed] Add comments and clarifications to Install #128
• [closed] Grammar, directory explanation, delete "also" #130
• [closed] Basics-pattern-matching-suggested-clarification #132
• [closed] Basics--note to recover overwritten code snippets #134
• [closed] Clarify-Basics #131
• [closed] Basics--Simplify foldl, scanl explanations #135
• [closed] Small adjustments to Overview-esp formatting #129
• [closed] Reintroduce Yices build to fix issue running container on Windows host #124
• [closed] Amended labs for consistency against CI test #122
• [closed] Change to Cryptol 2.9 #109
• [closed] Updated demos for 2.9; relabeled shell; checked w/ test scripts #119
• [closed] Type breakdown #118
• [closed] Added English breakdowns for sequence comps and self-ref sequence comps #117
• [closed] Corrected snippets in labs/Demos/Cryptol #113
• [closed] Added breakdown of a type into English #116
• [closed] Complied to VS Code tasks.json schema #114
• [closed] Removed extraneous inline backticks from SimonSpeck.md #110
• [closed] 5 -> 2 in myType #107
• [closed] Fixed sums code #106
• [closed] Fixed loading twice #105
• [closed] Made note about installing on Windows #103
• [closed] Lang basics tweaks #102
• [closed] Addressing install issues from latest class startup #100

cryptol-course

• [closed] Lab simon speck #87
• [closed] Added section on import lists to Basics.md #98
• [closed] Language #86
• [closed] Improvements to Cryptoproofs lab #96
• [closed] Update INSTALL.md #95
• [closed] More fixes to remote containers. #93
• [closed] pmul -> pmult #92
• [closed] Vs code remote container #91
• [closed] Adding requirements to labs #82
• [closed] Wibbles #81
• [closed] Added VS Code instructions to INSTALL.md #79
• [closed] Add a style file for Cryptol #11
• [closed] Add VS Code task configuraton to launch Cryptol Docker #78
• [closed] Update CryptoProofs.md #76
• [closed] Textual Wibbles #74
• [closed] Fixed a typo #75
• [closed] Added Windows 10 quasi-restriction. #73
• [closed] Changing "modulus" to "remainder" in defining "post" #72

v1.0

• [closed] Last minute #71
• [closed] textual-wibble #67
• [closed] Simplified contains' and valid' #68
• [closed] Language Basics lab #58
• [closed] Used HTML markdown to make it look more mathy #64
• [closed] Added --rm option (remove container on exit) to Docker instructions #60
• [closed] Added course material acquisition instructions, and fixed some typos;… #57
• [closed] Language Basics Lab #33
• [closed] Prologue tweaks #54
• [closed] NIST Key Wrap Lab #39
• [closed] Jpziegler patch 1 #52
• [closed] Flow tweaks #47
• [closed] Arithmetic verifications #22
• [closed] Capstone #40
• [closed] Tweaked language around a claim about quadratic equations. #53
• [closed] Removed solution accidentally left in #50
• [closed] New "CryptoProofs" lab that shows common types of proofs. #32
• [closed] Projecteuler Lab #37
• [closed] Added install/use boilerplate to Demos modules #44
• [closed] Fixed capitalization to track a change in filename. #45
• [closed] A short lab on CRCs #29
• [closed] Overview lab #27
• [closed] Added Demos directory with Sudoku Markdown to labs #26
• [closed] Lab cryptol overview tweaks #41
• [closed] NIST SP 800-38F (key wrap) lab #30
• [closed] Revert "NIST SP 800-38F (key wrap) lab" #38
• [closed] Updating install.md #35
• [closed] Added Brew install test to .travis.yml #36
• [closed] Bittwiddling exercises #20
• [closed] Salsa20 Props - to learn about proving some security properties #28
• [closed] Salsa20 lab #18
• [closed] Added details about Docker installation #13
• [closed] Arithmetic verifications #24
• [closed] minor typo fixes #25
• [closed] Arithmetic verifications. Addition (fast), multiplicaiton (slow). #21
• [closed] Interpreter lab #4
• [closed] Travis-CI support #12
• [closed] Added some instructions for installing Cryptol and SAW #2
• [closed] Added Sudoku spec based on Galois, Inc. blog #9
• [closed] Added Caesar spec #6
• [closed] Update README #5