This release contains:
- A Docker image with WISL, GIllian-C, Gillian-JS and Kanillian installed
- VSCode extensions for Gillian debugging
For trying out the debugger, we recommend using VSCode dev containers; see the examples repository.
This was created for an artifact for submission to TACAS '25; see the official artifact release on Zenodo here.