Gillian project website
=======================

Gillian is a multi-language analysis platform supporting, e.g., verification and symbolic testing. Gillian has currently been instantiated to C, JavaScript, and Rust.

.. toctree::
   :titlesonly:

   install
   develop
   debugger
   API reference </odoc#http://>

.. toctree::
   :titlesonly:
   :caption: Instantiations

   c/index
   kanillian/index
   js/index
   rust/index

.. toctree::
   :titlesonly:
   :caption: About Gillian

   publications/index
   other-publications/index
   license