History log of /seL4-camkes-master/tools/cogent/cogent/examples/search/plat/verification/abstract.h
Revision Date Author Comments
# ead63ccc 14-Mar-2017 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

Rename `ExState` to `SysState`.

After much discussion, we[myself and Zilin] decided to rename `ExState` to
`SysState`. `ExState` mean external state, encompassing all the things that
change in the system, the `side-effects`. But we thought, that `SysState`, short
for `System State`, is much more approrpiate.


# 0cceef6c 20-Feb-2017 Zilin Chen <Zilin.Chen@data61.csiro.au>

cogent-examples: add search and license headers