Robert Dockins a68b835d51 Add operations for signed arithmetic, and carry condition testing.		2017-08-02 16:39:07 -07:00
..
Cryptol	Add the short-cutting boolean operators (/\), (\/), and (==>)	2016-08-12 17:12:34 -07:00
Cryptol.cry	Add operations for signed arithmetic, and carry condition testing.	2017-08-02 16:39:07 -07:00
CryptolTC.z3	Add some axioms about width.	2017-07-10 16:59:03 -07:00