Gillian-C
=========

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 Gillian repository.

.. toctree::
   :titlesonly:

   symbolic-testing
   pldi/index