History log of /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/arm8_stepLib.sig
Revision Date Author Comments
# 07f50b7b 13-Oct-2014 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Update for ARMv8 model and tools.

Contains some fixes for the decoder.

There is now support for assemble code syntax.
# 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.