The Gillian Platform

Structure

The project contains:

.
├── Gillian-C   # Instantiation of Gillian for CompCert-C.
├── Gillian-JS  # Instantiation of Gillian for ES5 JavaScript.
├── GillianCore # The Gillian library.
└── wisl        # Instantiation of Gillian for a small While language
                # for research and teaching.

Documentation

You can view the latest documentation here.

License

Gillian is licensed under the BSD-3 License.