Ryan Scott f8dffb935d CryptolTC.z3: Don't bother defining a prime table ... `prime` is usually called on large primes, so it's not worth the effort of defining a lookup table for small prime numbers. Either way, this is unlikely to have a noticeable effect on performance.		2024-11-27 14:26:57 -05:00
..
Cryptol	Add reference implementations for foldl and scanl and iterate	2021-12-07 11:56:34 -08:00
Array.cry	Add a primitive for arrayEq	2022-07-20 09:43:41 -07:00
Cryptol.cry	Use Integer in head and last.	2024-06-02 00:04:53 -07:00
CryptolTC.z3	CryptolTC.z3: Don't bother defining a prime table	2024-11-27 14:26:57 -05: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