Robert Dockins e66db956a8 Add a primitive for arrayEq ... Currently, this primitive (like the other Array primitives) has no computational interpretation, and is only used for stating specifications that are used in SAW. As such, there are no changes to the interpreter.		2022-07-20 09:43:41 -07: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	Tweak the type signature for scanl and scanr.	2021-12-07 11:56:46 -08:00
CryptolTC.z3	Update solver definitions related to /^ and %^.	2021-06-30 13:18:12 -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