History log of /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/prog/x64_progLib.sig
Revision Date Author Comments
# d90a46f3 18-Mar-2014 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Simplify tracing for the x64 spec function.
# 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.