History log of /seL4-camkes-master/tools/cogent/cogent/examples/flip/entrypoints.cfg
Revision Date Author Comments
# 9a6a1fe7 20-May-2019 Zilin Chen <Zilin.Chen@data61.csiro.au>

flip-example: add flip example

[skip lemma]