This repository contains the artifact of our GPCE 2017 paper. If you are interested in this tool, see https://github.com/tomokinakamaru/silverchain for more details/updates.
This repository has been archived by the owner on Jun 5, 2020. It is now read-only.