History log of /seL4-camkes-master/tools/cogent/cogent/examples/sumofn/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
# 490fb942 24-Mar-2019 Partha Susarla <mail@spartha.org>

examples: sumofn - A program to illustrate loops in Cogent.

[skip lemma]