Setup Javadcos and Add Package Level Documentation (#27) · Issues · Jon Shahen / Solidity-Safety to Model Checking