5 Commits

Author	SHA1	Message	Date
Joe Hendrix	dd7c817702	Modify BVTestBit to require arguments have same width.	2017-10-06 11:22:55 -07:00
Joe Hendrix	1ebc6f247b	Make X86Stmt more generic to reuse code in reopt.	2017-10-02 17:02:00 -07:00
Joe Hendrix	c77d1ac421	Remove generic quot/rem ops, and BoolMux; Refactor macaw-symbolic.	2017-10-02 14:40:14 -07:00
Joe Hendrix	7c33bf82e4	Update license information.	2017-09-27 15:59:06 -07:00
Joe Hendrix	4dcb26ebee	Add x86 specific code.	2017-09-27 15:54:43 -07:00