History log of /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/prog_ppcLib.sml
Revision Date Author Comments
# 49cc100a 23-Sep-2013 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Update to ARM tools.

Triples are now generated with a "mode" variable. This is required to satisfy the "GoodMode" predicate. Before concrete modes were used, e.g. "16" for user mode.

In addition, various performance related enhancements have been made in helperLib (especially with regard to AC rewriting for the "*" operator).


# 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