History log of /seL4-l4v-master/HOL4/examples/machine-code/just-in-time/export_codeLib.sml
Revision Date Author Comments
# e8c60dd8 10-Feb-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix just-in-time/export_codeLib.sml for remove-term-eqtype
# 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/