Rob Dockins 8009e8a9c0 Implement syntax for enumerations with exclusive upper bounds. ... `[ x .. < y ]` --> ``fromToLessThan`{first=x, bound=y}`` `[ x:t .. < y ]` --> ``fromToLessThan`{first=x, bound=y, a=t}``		2021-03-02 17:18:36 -08: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	Implement syntax for enumerations with exclusive upper bounds.	2021-03-02 17:18:36 -08:00
CryptolTC.z3	Remove unused primitive type operator lengthFromThen.	2019-02-27 17:11:18 -08: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	More precicely express the constraints on AES key expansion.	2020-09-21 14:54:28 -07:00