Gillian-C

Gillian-C is an instantiation of Gillian to C (more precisely, CompCert-C).

It can be found in the Gillian-C folder of the Gillian repository.

• Symbolic Testing
• PLDI'20 Artifact Documentation