| .. |
|
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
|
Fix type signatures in MiniLock SCrypt example
|
2017-08-07 08:37:20 -07:00 |
|
AE.cry
|
Represent type parameters as just type variables.
|
2017-09-25 11:41:00 -07:00 |
|
AES.cry
|
Update examples to use (/\) instead of (&&) where appropriate,
|
2016-08-22 18:14:44 -07:00 |
|
append.cry
|
lots of running examples
|
2017-07-06 16:51:25 -07:00 |
|
builtin_lifting.cry
|
lots of running examples
|
2017-07-06 16:51:25 -07:00 |
|
builtins.cry
|
adding some examples
|
2017-06-26 15:27:36 -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 |
|
comp.cry
|
more example
|
2017-07-13 10:55:44 -07:00 |
|
demote.cry
|
lots of running examples
|
2017-07-06 16:51:25 -07: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 |
|
HMAC.cry
|
adding some examples
|
2017-06-26 15:27:36 -07:00 |
|
inflist.cry
|
more example
|
2017-07-13 10:55:44 -07:00 |
|
mini.cry
|
adding some examples
|
2017-06-26 15:27:36 -07:00 |
|
props.cry
|
lots of running examples
|
2017-07-06 16:51:25 -07: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 |
|
SHA256.cry
|
HMAC example now loads into cryptol
|
2017-06-27 14:00:45 -07:00 |
|
SIV-rfc5297.md
|
Back out workaround for issue #375.
|
2017-08-01 15:08:04 -07:00 |
|
split.cry
|
lots of running examples
|
2017-07-06 16:51:25 -07:00 |
|
splitAt.cry
|
lots of running examples
|
2017-07-06 16:51:25 -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 |
|
width.cry
|
more example
|
2017-07-13 10:55:44 -07:00 |
|
xor_cipher.cry
|
more example
|
2017-07-13 10:55:44 -07:00 |
|
zero_weird.cry
|
lots of running examples
|
2017-07-06 16:51:25 -07:00 |
|
ZUC.cry
|
Update examples to use (/\) instead of (&&) where appropriate,
|
2016-08-22 18:14:44 -07:00 |
