cryptol/examples
2017-08-01 15:08:04 -07:00
..
contrib Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
funstuff Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
maliciousSHA More precise definition of chunks 2017-03-27 16:37:55 -07:00
MiniLock Simplify some type signatures in examples 2017-06-22 10:09:13 -07:00
AES.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
ChaChaPolyCryptolIETF.md Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
Cipher.cry Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
DES.cry Remove trailing whitespace 2016-02-19 10:08:20 -08:00
DEStest.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
FNV-a1.cry Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
Salsa20.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
SHA1.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
SIV-rfc5297.md Back out workaround for issue #375. 2017-08-01 15:08:04 -07:00
Test.cry Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
TripleDES.cry remove splitBy and update documentation 2016-07-05 09:58:49 -07:00
ZUC.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00