3 Commits

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