History log of /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/prog/arm8_progScript.sml
Revision Date Author Comments
# aa23933d 29-Jan-2016 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Opening lcsymtacs is no longer necessary.
# 0559f3bd 14-Jul-2015 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Make use of alignmentTheory in the l3-machine-code examples.
# d2da74b7 12-Aug-2014 Anthony Fox <anthony.fox@cl.cam.ac.uk>

ARMv8 model and tools.

This model supports AArch64 mode only, i.e. there's no support for the AArch32 mode.