Tristan Ravitch b160e480a7 x86: Add semantics for the endbr instructions (#147) ... This change treats them as no-ops (which is what they do on all released hardware). We could represent them with arch extensions. This has a supporting change in flexdis86 (included as a submodule).		2020-06-25 13:43:15 -07:00
..
src/Data/Macaw	x86: Add semantics for the endbr instructions (#147)	2020-06-25 13:43:15 -07: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