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

• For using Gillian as a library to build your analysis tool, please follow these instructions
• For Gillian-JS, please follow these instructions
• For Gillian-C, please follow these instructions
• For developing the Gillian platform or playing with its code, please follow these instructions

License

Gillian is licensed under the BSD-3 License.