Rob Dockins 5d96829dcd Increase the strictness in the SuiteB SHA padding function. ... With the lazier join operator, this squashes a space leak in examples that do a lot of hashing.		2021-04-13 10:27:17 -07:00
..
Cryptol	Move the Cryptol implementations of pmod, pdiv and pmult into	2020-10-27 10:51:10 -07:00
Array.cry	Fix Array.cry comment. (#748)	2020-06-02 20:26:49 -07:00
Cryptol.cry	Make take and drop primitive instead of splitAt.	2021-04-13 10:27:17 -07:00
CryptolTC.z3	Teach the typechecker a bit more about exponents.	2021-04-06 09:28:31 -07:00
Float.cry	Convert to using the SFloat module from What4.	2021-02-08 17:47:49 -08:00
PrimeEC.cry	Add some special case handling for ec_twin_mult.	2020-11-16 09:15:32 -08:00
SuiteB.cry	Increase the strictness in the SuiteB SHA padding function.	2021-04-13 10:27:17 -07:00