Skip to content

Releases: jtassarotti/polaris

AEC Release

15 Oct 13:37
Compare
Choose a tag to compare
AEC Release Pre-release
Pre-release

This is a release for the POPL 2019 AEC submission. In addition to the sources for this version, it contains a VM with pre-built sources and all dependencies installed.