History log of /seL4-l4v-master/HOL4/examples/machine-code/just-in-time/jit_codegenScript.sml
Revision Date Author Comments
# 3ed13bb5 11-May-2013 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

bug fix
# 4f2e9309 10-May-2013 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

rearranging files in examples/machine-code to separate decompiler from ISA models
# 845531b5 14-Sep-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove trailing whitespace in source files.
# 71b512c8 29-Oct-2009 Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk>

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/