History log of /seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/cheri_stepLib.sml
Revision Date Author Comments
# 9eb50602 23-Nov-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Get cheri_stepLib to load once more


# cefd24aa 21-Nov-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Really remove what I hope is last remnant of big record cruft


# 82b36cd1 24-May-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Put examples/l3-machine-code/cheri into -t3 build sequence

If it's in examples it should get checked or deleted.

The selftest just loads the stepLib and doesn't attempt to exercise
its functionality.


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