#
2684d923 |
|
03-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: bulk rename stdgum to libgum in all places
|
#
96c19328 |
|
10-May-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
tests: fix CFLAGS in Makefile [skip lemma]
|
#
2b9e8dff |
|
06-Feb-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: remove debug flag from Makefiles [skip ci]
|
#
eadd3952 |
|
12-Jul-2017 |
Partha Susarla <mail@spartha.org> |
[examples] A hello world example in Cogent.
|