issues
search
weaversa
/
cryptol-course
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
BSD 3-Clause "New" or "Revised" License
25
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added run-time errors and debugging sections to the Language Basics lab
#193
weaversa
closed
2 years ago
2
Adding some missing features to the Language lab
#192
weaversa
closed
2 years ago
0
Saw python api
#191
weaversa
closed
2 years ago
22
Draft: Salsa20 SAW Markdown
#190
WeeknightMVP
closed
2 years ago
2
Update SAW Demos intro
#189
weaversa
closed
2 years ago
0
Transposition Tweaks
#188
WeeknightMVP
closed
2 years ago
1
Write and use a sorting module
#187
WeeknightMVP
closed
2 years ago
1
xxHash
#186
weaversa
closed
2 years ago
5
CI refresh
#185
weaversa
closed
2 years ago
0
Python saw
#184
weaversa
closed
2 years ago
3
CI Update
#183
michaelabernardo
closed
2 years ago
5
Removed quotes from `CryptoProofsAnswers.md` solutions; reworded a bit
#182
WeeknightMVP
closed
2 years ago
0
`CryptoProofsAnswers.md` quotes solutions; what to do for CI/Pages?
#181
WeeknightMVP
closed
2 years ago
0
Removed spaces from `ci-none` info strings
#180
WeeknightMVP
closed
2 years ago
0
Remaining spaces in Markdown info strings bork GitHub IO renderings
#179
WeeknightMVP
closed
2 years ago
0
Remove entrypoint from Dockerfile
#177
weaversa
closed
2 years ago
0
Relabel space-delimited code fences
#176
WeeknightMVP
closed
2 years ago
2
Info Strings / Code Fences
#175
WeeknightMVP
closed
2 years ago
0
Update to 2.12
#174
weaversa
closed
2 years ago
0
Update to 2.12
#173
michaelabernardo
closed
2 years ago
2
Upgrade CI
#172
michaelabernardo
closed
2 years ago
0
gitpod.io
#171
weaversa
closed
2 years ago
2
Yices is required but not mentioned in installation instructions
#170
rod-chapman
closed
2 years ago
3
Added script to automatically generate solicitation and navlinks
#169
WeeknightMVP
opened
3 years ago
32
Bibliography links
#168
weaversa
closed
2 years ago
3
Html
#167
weaversa
closed
3 years ago
14
Website?
#166
weaversa
closed
3 years ago
2
Relabeled **EXERCISE** labels for consistency
#165
WeeknightMVP
closed
3 years ago
0
Corrected README.md typo
#164
WeeknightMVP
closed
3 years ago
0
Adapted lab/component navigation over recommended and "thorough" paths
#163
WeeknightMVP
closed
3 years ago
14
`SimonSpeck.md`: no such file, `FILENAMES.MD`
#162
dfu-github
closed
3 years ago
0
`SimonSpeck.md` typo/inconsistency: `constraint` vs `constraints`
#161
dfu-github
closed
3 years ago
3
`KeyWrapping.md`: Clarification and typo in hint.
#160
dfu-github
closed
3 years ago
0
`KeyWrapping.md`: extraneous hint(?) and markup clarification.
#159
dfu-github
closed
3 years ago
1
`KeyWrapping.md`: Omission in *Exercise* description.
#158
dfu-github
closed
3 years ago
0
`CryptoProofs.md`: poor and inconsistent instruction in exercise.
#157
dfu-github
closed
3 years ago
0
`Salsa20.md`: editorial clarification
#156
dfu-github
closed
3 years ago
1
Update Salsa20.md
#155
WeeknightMVP
closed
3 years ago
2
`Salsa20.md` incorrect reference to `False` in exercise.
#154
dfu-github
closed
3 years ago
0
`Basics.md`, missing function in section heading.
#153
dfu-github
closed
3 years ago
0
Move `:set base=2` line in `Basics.md`
#152
dfu-github
closed
3 years ago
0
Add signed comparison examples to Basics.md?
#151
dfu-github
closed
3 years ago
0
Add display directives in Basics.md?
#150
dfu-github
closed
3 years ago
0
Captialization typo/omission in Basics.md
#149
dfu-github
closed
3 years ago
0
Overview.md out of sync with Basics.md
#148
dfu-github
closed
3 years ago
1
Just feedback, not a real issue
#147
dfu-github
closed
3 years ago
0
Support 2.10.0
#146
weaversa
closed
3 years ago
2
Default to using the Dockerhub image, rather than the Dockerfile.
#145
jpziegler
closed
4 years ago
1
Removed line about needing to uncomment TKWAETests
#144
manleykm
closed
4 years ago
0
Layer Cake
#143
WeeknightMVP
closed
3 years ago
5
Previous
Next