16 Commits

Author	SHA1	Message	Date
Brett Boston	8b6581f263	Fix typo in definition of distributed property of gf28DotProduct ... Closes #762	2020-06-18 17:37:17 -07:00
Aaron Tomb	b111e78a30	Minor fixes to Programming in Cryptol	2018-07-27 16:09:50 -07:00
Brian Huffman	4d84989b60	Edits to AES chapter of the book.	2018-07-25 15:12:13 -07:00
Brian Huffman	1eaabf87aa	Miscellaneous edits to the book.	2018-07-20 15:48:46 -07:00
Brian Huffman	dd2c4b6507	Introduce command for more uniform exercise references in the book.	2018-07-19 18:25:55 -07:00
Brian Huffman	af6b830162	Use autoref command and lowercase section refs consistently in the book.	2018-07-19 18:00:17 -07:00
Robert Dockins	cd9ffed00b	Update examples to use (/\) instead of (&&) where appropriate, ... and to squash other warnings related to the upcomming precedence change.	2016-08-22 18:14:44 -07:00
Brian Huffman	c537b5a1cd	Small fixes for "Programming Cryptol" appendices	2016-08-04 10:54:11 -07:00
Brian Huffman	ed1dd212ab	More small fixes in Programming Cryptol	2016-08-03 16:04:10 -07:00
Brian Huffman	c2e0cc5839	Remove unused AES functions. Fixes #352.	2016-07-07 14:40:08 -07:00
Dylan McNamee	623b847094	merging changes to docs	2016-04-19 11:41:55 -07:00
Joseph Kiniry	849fecead8	Merge branch 'master' of github.com:GaloisInc/cryptol	2016-04-18 15:15:58 -07:00
Joseph Kiniry	d43fcc9ebe	Whitespace tweak.	2016-04-18 15:15:56 -07:00
Brian Huffman	1322156d28	Remove trailing whitespace	2016-02-19 10:08:20 -08:00
Dylan McNamee	0e29d1d369	issue 108 from Sean, and a minor tweak to the AES chapter's formatting.	2014-09-17 12:28:30 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00