History log of /seL4-camkes-master/tools/cogent/cogent/examples/flip/Makefile
Revision Date Author Comments
# 2684d923 03-Jul-2020 Zilin Chen <Zilin.Chen@data61.csiro.au>

compiler: bulk rename stdgum to libgum in all places
# 90590edc 05-Jun-2019 Zilin Chen <Zilin.Chen@data61.csiro.au>

cogent: fix a lot of examples

[skip lemma]
# 9a6a1fe7 20-May-2019 Zilin Chen <Zilin.Chen@data61.csiro.au>

flip-example: add flip example

[skip lemma]