Hazel 3 (V1) - July 6, 2025

Hazel 3 release for July 6, 2025.

(For UM record-keeping purposes, no particular reason for anyone to download this.)

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.