Releases: hazelgrove/hazel
Releases · hazelgrove/hazel
POPL 2019 Final Artifact Snapshot
This snapshot was included in the POPL 2019 paper's archived artifact.
POPL 2019 Artifact Evaluation submission
See README.md for installation instructions. A pre-built copy of Hazel is also included at popl19aec-www/hazel.html
.