History log of /seL4-camkes-master/tools/cogent/cogent/tests/pass_bench-dargent-cg/wo_dargent/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
# e934deb1 06-Sep-2019 Zilin Chen <Zilin.Chen@data61.csiro.au>

compiler: add a test for comparing w/wo dargent

[skip lemma][skip ci]