bug fix
rearranging files in examples/machine-code to separate decompiler from ISA models
Remove trailing whitespace in source files.
Verification proof of a just-in-time compiler that runs on x86. For details and paper see: http://www.cl.cam.ac.uk/~mom22/jit/