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.

• Folder Structure
• Symbolic Testing