SOLC Overhaul
Updated Dec 10, 2021
No description
The main project containing all issues.
No description
No description
Manages tickets related to the effort of compiling Solidity code to Yul code
No description
Issues that came up during the audit by Zeppelin.
This project is unrelated to release projects and aims to develop the SMT checker towards a minimum viable product.
No description