History log of /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/arm8AssemblerLib.sig
Revision Date Author Comments
# 86b39f92 13-Jan-2015 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Update ARMv8 model.

The encoder now explicitly defines an encoding function for bit-mask values. This avoids the use of a reverse look up function (implemented with sptress). Thanks to Shaked Flur for implementing the encoding algorithm.


# 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.