| .. |
|
aes
|
Small fixes for "Programming Cryptol" appendices
|
2016-08-04 10:54:11 -07:00 |
|
appendices
|
Update precedence table to match Cryptol prelude
|
2016-08-04 14:33:41 -07:00 |
|
basic
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
bib
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
classic
|
More small fixes in Programming Cryptol
|
2016-08-03 16:04:10 -07:00 |
|
conclusion
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
cover
|
incorporating typos and other improvements to docs
|
2016-04-27 11:52:09 -07:00 |
|
crashCourse
|
Small fixes for crash-course chapter of Programming Cryptol
|
2016-08-03 09:54:52 -07:00 |
|
des
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
enigma
|
More small fixes in Programming Cryptol
|
2016-08-03 16:04:10 -07:00 |
|
highAssurance
|
More small fixes in Programming Cryptol
|
2016-08-03 16:04:10 -07:00 |
|
main
|
incorporating typos and other improvements to docs
|
2016-04-27 11:52:09 -07:00 |
|
misc
|
merging changes to docs
|
2016-04-19 11:41:55 -07:00 |
|
preface
|
Update copyright dates and add missing headers
|
2016-01-19 18:19:35 -08:00 |
|
prims
|
Fix lots of wrong types for primitives in appendix B
|
2016-08-03 16:18:31 -07:00 |
|
sha
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
technicalities
|
Small fixes for "Programming Cryptol" appendices
|
2016-08-04 10:54:11 -07:00 |
|
title
|
final tweaks to the book
|
2014-04-24 10:53:00 -07:00 |
|
tools
|
Update copyright dates and add missing headers
|
2016-01-19 18:19:35 -08:00 |
|
utils
|
remove splitBy and update documentation
|
2016-07-05 09:58:49 -07:00 |
|
.gitignore
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
Makefile
|
merging changes to docs
|
2016-04-19 11:41:55 -07:00 |
