Bretton 8406878f02 Cryptol Projects (#1526) ... * Add support for incrementally loading projects via cryptol's `--project` flag as documented in the reference manual. ([#1641](https://github.com/GaloisInc/cryptol/issues/1641)) --------- Co-authored-by: Iavor Diatchki <iavor.diatchki@gmail.com> Co-authored-by: Eric Mertens <emertens@galois.com>		2024-12-20 11:32:35 -08:00
..
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	update AES examples with import instantiation syntax	2022-07-14 12:56:27 -07:00
SuiteB_FFI	SuiteB_FFI: Document make clean in readme	2022-08-30 16:04:54 -07:00
AE.cry	Cryptol Projects (#1526)	2024-12-20 11:32:35 -08: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