#
c231f2c9 |
|
04-Dec-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Expose conversion in x64_stepLib.
|
#
4f16bf90 |
|
27-Aug-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for x86-64 model and tools. - x64Theory now includes an instruction encoder. - The functions in x64_stepLib have been renamed, e.g. x64_step is now x64_step_hex.
|
#
4d8ca04e |
|
17-Mar-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add support for x86-64 assembly code. Based on NASM syntax, as opposed to AT&T (which is the default for gas).
|
#
08244dc4 |
|
08-Jul-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Missing files from last commit.
|