Skip to content

Releases: GillianPlatform/Gillian

2022 Student Lab

27 Nov 17:24
@NatKarmios NatKarmios
LAB-2022
1ae960b
This commit was signed with the committer’s verified signature.
NatKarmios Nat Karmios
GPG key ID: 4B44F36C93801FF7
Learn about vigilant mode.
Compare
Choose a tag to compare
2022 Student Lab Latest
Latest

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

Assets 4
Loading

CAV 2021 Artifact

29 Sep 22:13
@giltho giltho
CAV21
cccf6c3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
CAV 2021 Artifact

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

Assets 2
Loading

PLDI 2020 Artifact

02 Mar 12:36
@giltho giltho
PLDI20
0006d14
Compare
Choose a tag to compare
PLDI 2020 Artifact

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

Assets 2
Loading