History log of /seL4-l4v-10.1.1/l4v/proof/bisim/README.md
Revision Date Author Comments
# 0f2d5576 23-Nov-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

terminology in comments: async ep -> notifications
# f1d808c9 13-Aug-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

integrate separation kernel config proofs

Hooked up into build system and regression test; added READMEs