.. |
contrib
|
Update test suite
|
2020-05-26 15:33:46 -07:00 |
cryptol-specs@9567313633
|
Add cryptol-specs as git submodule under /examples.
|
2019-03-01 18:05:28 -08:00 |
funstuff
|
Remove all uses of [x..] syntax from examples and tests.
|
2019-02-27 16:25:53 -08:00 |
maliciousSHA
|
Switch to infix syntax for blocks and padding operators.
|
2017-09-28 10:26:31 -07:00 |
MiniLock
|
Rename prelude function width to length , and generalize its type.
|
2018-10-10 16:21:38 -07:00 |
param_modules
|
Remove all uses of [x..] syntax from examples and tests.
|
2019-02-27 16:25:53 -08:00 |
suiteb-ffi
|
Add FFI version of SuiteB AES128 encrypt
|
2022-08-19 21:33:49 -07:00 |
AE.cry
|
Fix error in examples/AE.cry.
|
2018-07-19 09:31:46 -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
|
Rename prelude function width to length , and generalize its type.
|
2018-10-10 16:21:38 -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
|
Rename prelude function width to length , and generalize its type.
|
2018-10-10 16:21:38 -07:00 |
DEStest.cry
|
Update examples to use (/\) instead of (&&) where appropriate,
|
2016-08-22 18:14:44 -07:00 |
inflist.cry
|
more example
|
2017-07-13 10:55:44 -07:00 |
Karatsuba.cry
|
Fix type error in examples/Karatsuba.cry.
|
2018-07-19 09:37:51 -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 |
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 |
width.cry
|
Rename prelude function width to length , and generalize its type.
|
2018-10-10 16:21:38 -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 |