TACAS '25 Artifact

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.

2022 Student Lab

Gillian binaries and built VSCode extension used for the 2022 student lab at ICL.

CAV 2021 Artifact

Artifact vm on https://zenodo.org/record/4838116#.YzYYkuzMKDU

PLDI 2020 Artifact

This is the version that matches th artifact submitted for PLDI 2020.