Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
I get the following error when attempting to compile the [Augur contracts](https://github.com/AugurProject/augur-core/tree/upgrade_solidity) using 0.4.24 with SMTChecker enabled:
formattedMessage: 'InternalCompilerError: \n',
message: 'Internal compiler error (/solidity/libsolidity/formal/SMTChecker.cpp:816):',
This error is reproduce-able by building the Augur project on the branch above and running:
`npm run docker:run:test:security:smt`