History log of /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/cheri/step/cheri_stepLib.sml
Revision Date Author Comments
# ba4e20e3 12-Oct-2017 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Update for latest version of CHERI.
# 3d3e969f 14-Jul-2016 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Avoid pre-condition `s.currentInst = NONE`.
# d1d4f13e 14-Jul-2016 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Add some basic step-tool support for CHERI.

The CHERI model is updated to the latest version.