# Artifact for POPL 2017 AE

## Fencing off Go: Liveness and Safety for Channel-based Programming

This directory contains 2 binary executables compiled for Linux-x64 by go1.7.1
and GHC version 7.10.3.

 - dingo-hunter is the inference tool (known as GoInfer in the paper)
 - Gong is the behavioural type checker

dingo-hunter --help
