The Goal of this repository is the provide the clients, working on X86-64 instructions, with various meta information about individual instructions.
The meta information includes
- A concrete assembly instance of an instruction`
- Instruction's semantic encoding by tools like BAP, VEX, Radare2
- SMT formulas for each instruction