Solidity Debugging Symbols Proof of Concepts This repository contains proof of concepts for our work on defining and interpreting debugging symbols for Solidity. Take a look at the different branches to learn more about them.