Sam Breese 48737990f3 x86: Add semantics for some AVX2 instructions (#149) ... * x86: Add semantics for the vpsrld and vpsrlq instructions * x86: Add semantics for vpaddq * Fix Haddock for PointwiseLogicalShiftR * x86: Change vpsubd to PtSub rather than PtAdd		2020-07-14 14:41:16 -04:00
..
src/Data/Macaw	x86: Add semantics for some AVX2 instructions (#149)	2020-07-14 14:41:16 -04:00
support	Add x86-support to travis	2019-03-26 08:21:01 -07:00
tests	Handle bitwise operations on stack offset abstract values (#136)	2020-05-28 14:04:06 -04:00
x86_tests	Segment register updates; stack offset calculation.	2019-09-20 13:58:05 -07:00
.gitignore	Add x86 specific code.	2017-09-27 15:54:43 -07:00
LICENSE	Update license information.	2017-09-27 15:59:06 -07:00
macaw-x86.cabal	Semantics for MULX from BMI2 and all of ADX	2019-12-19 10:43:54 -05:00