WISL
====

WISL is an instantiation of Gillian to a simple while language with a C-style block-offset memory model. It can be found in the ``wisl`` folder of the Gillian repository.

.. toctree::
   :titlesonly:

   verification-tutorial