History log of /seL4-l4v-master/HOL4/examples/machine-code/graph/file_readerLib.sig
Revision Date Author Comments
# 79b55cd7 27-Feb-2019 Magnus Myreen <myreen@chalmers.se>

Tweaks to RISC-V decompilation
# 4c53a161 07-Feb-2019 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

Progress on 64-bit support
# b353398b 28-Jan-2019 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

Update to allow reading of elf.txt for RISC-V
# b28664c3 13-Jun-2018 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Add a selftest for the graph decompiler.