History log of /seL4-l4v-10.1.1/l4v/spec/design/skel/Syscall_H.thy
Revision Date Author Comments
# a2d707d1 14-Aug-2016 Miki Tanaka <miki.tanaka@nicta.com.au>

SELFOUR-553: update rpidrurw in TCBConfigure for simpler Infoflow proofs.
# f8f88c69 03-Aug-2016 Miki Tanaka <miki.tanaka@nicta.com.au>

SELFOUR-553: Change Spec according to C code and fix ASpec and AInvs
# 12fa8686 16-May-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

fewer warnings
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.