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.You can view the latest documentation here.
Gillian is licensed under the BSD-3 License.