Rob Dockins 41613ade02 Tweak the type signature for scanl and scanr. ... It is convenient for Coq extraction for the constant 1 factor to be on the left of the addition symbol.		2021-12-07 11:56:46 -08:00
..
Cryptol	Add reference implementations for foldl and scanl and iterate	2021-12-07 11:56:34 -08:00
Array.cry	Add arrayCopy, arraySet, arrayRangeEqual array primitives. (#1268)	2021-08-25 12:02:55 -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