This repository has been archived by the owner on Feb 14, 2025. It is now read-only.
v0.2.1
Closed Feb 20, 2019
100% complete
Include updates for solc compatibility and relax the dependence on Manticore.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.