History log of /seL4-l4v-10.1.1/l4v/camkes/adl-spec/Library_CAMKES.thy
Revision Date Author Comments
# 95cae475 02-Sep-2018 Japheth Lim <Japheth.Lim@data61.csiro.au>

camkes: initial updates for new CDL refinement framework

Summary of changes:
- change ADL spec to support connectors with many endpoints [VER-992]
- more connector synonyms
- refactor integrity policy spec
# 814275e1 15-Oct-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

camkes: Merge some updates to the arch model.
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.