Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

Paper title: Gigahorse: Thorough, Declarative Decompilation of Smart Contracts This research artifact contains the Gigahorse toolchain described in our paper, and a sample dataset. It includes instructions to run Gigahorse and reproduce the results presented in our paper. Technology skills/systems required: We assume basic knowledge of Unix tools and shells. Our instructions assume that the reviewer is using a Unix-like system with Docker, curl, and bunzip2 installed.Research artifact corresponding to ICSE'19 technical paper "Gigahorse: Thorough, Declarative Decompilation of Smart Contracts