cryptol/docs/ProgrammingCryptol
2015-01-18 17:03:43 -08:00
..
aes issue 108 from Sean, and a minor tweak to the AES chapter's formatting. 2014-09-17 12:28:30 -07:00
appendices Add the mono-binds flag 2014-12-15 17:48:25 -08: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 Initial import from internal repo 2014-04-17 15:34:25 -07:00
conclusion Initial import from internal repo 2014-04-17 15:34:25 -07:00
cover tweaks to documentation and Salsa20 fix from Sean 2014-09-10 14:27:08 -07:00
crashCourse Changing some split examples in crash course to use splitBy instead. 2014-09-18 02:59:11 -05:00
des Initial import from internal repo 2014-04-17 15:34:25 -07:00
enigma Initial import from internal repo 2014-04-17 15:34:25 -07:00
highAssurance update book with allSat 2015-01-18 17:03:43 -08:00
installation fixing lone bad reference in doc, added syntax chapter, replaced Salsa spec 2014-04-30 11:37:15 -07:00
main tweaks to documentation and Salsa20 fix from Sean 2014-09-10 14:27:08 -07:00
misc Initial import from internal repo 2014-04-17 15:34:25 -07:00
preface fixes for tickets 22, 20, 107, 102, in preparation for merging 26 2014-09-23 13:32:09 -07:00
prims Initial import from internal repo 2014-04-17 15:34:25 -07:00
sha Initial import from internal repo 2014-04-17 15:34:25 -07:00
title final tweaks to the book 2014-04-24 10:53:00 -07:00
tools Initial import from internal repo 2014-04-17 15:34:25 -07:00
utils Initial import from internal repo 2014-04-17 15:34:25 -07:00
.gitignore Initial import from internal repo 2014-04-17 15:34:25 -07:00
Makefile Initial import from internal repo 2014-04-17 15:34:25 -07:00