Repository has moved: https://git.syndicate-lang.org/syndicate-lang/minimart-benchmark-2017 - View it on GitHub