3 Commits

Author	SHA1	Message	Date
Dimo	a324d60ccc	Cleanup, typechecking and documentation nits	2017-07-28 10:47:08 -07:00
Dimo	9767654dd7	Add semantics for several more iadd with carry; Add xform_correct() and doc cleanup	2017-07-28 10:47:08 -07:00
Dimo	c3092d680f	Add smtlib.py	2017-07-28 10:47:08 -07:00