History log of /seL4-camkes-master/tools/cogent/cogent/examples/square/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
# 23cbd809 11-Jan-2020 Zilin Chen <Zilin.Chen@data61.csiro.au>

docs: Added square example and wrote up example