Robert Dockins cefc67a149 Implement signed division and remainder as methods of the Arith class. ... Clarify the documentation that division is "round toward 0" division.		2017-08-16 17:34:22 -07:00
..
Cryptol	Add the short-cutting boolean operators (/\), (\/), and (==>)	2016-08-12 17:12:34 -07:00
Cryptol.cry	Implement signed division and remainder as methods of the Arith class.	2017-08-16 17:34:22 -07:00
CryptolTC.z3	Add some axioms about width.	2017-07-10 16:59:03 -07:00