Gillian-C#
Note
Everything this section is true at the time of artifact submission for PLDI 2020 on 2020/02/28.
Gillian-C is the instantiation of Gillian to the C language (CompCert-C, to be precise). It can be found in the Gillian-C
folder of the repository.