{"action":"created","issue":{"url":"https://api.github.com/repos/ethereum/solidity/issues/4341","repository_url":"https://api.github.com/repos/ethereum/solidity","labels_url":"https://api.github.com/repos/ethereum/solidity/issues/4341/labels{/name}","comments_url":"https://api.github.com/repos/ethereum/solidity/issues/4341/comments","events_url":"https://api.github.com/repos/ethereum/solidity/issues/4341/events","html_url":"https://github.com/ethereum/solidity/issues/4341","id":335140803,"node_id":"MDU6SXNzdWUzMzUxNDA4MDM=","number":4341,"title":"Compiling with SMTChecker on 0.4.24 fails","user":{"login":"nuevoalex","id":3839700,"node_id":"MDQ6VXNlcjM4Mzk3MDA=","avatar_url":"https://avatars2.githubusercontent.com/u/3839700?v=4","gravatar_id":"","url":"https://api.github.com/users/nuevoalex","html_url":"https://github.com/nuevoalex","followers_url":"https://api.github.com/users/nuevoalex/followers","following_url":"https://api.github.com/users/nuevoalex/following{/other_user}","gists_url":"https://api.github.com/users/nuevoalex/gists{/gist_id}","starred_url":"https://api.github.com/users/nuevoalex/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nuevoalex/subscriptions","organizations_url":"https://api.github.com/users/nuevoalex/orgs","repos_url":"https://api.github.com/users/nuevoalex/repos","events_url":"https://api.github.com/users/nuevoalex/events{/privacy}","received_events_url":"https://api.github.com/users/nuevoalex/received_events","type":"User","site_admin":false},"labels":[{"id":249074435,"node_id":"MDU6TGFiZWwyNDkwNzQ0MzU=","url":"https://api.github.com/repos/ethereum/solidity/labels/bug%20:bug:","name":"bug :bug:","color":"fc1313","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2018-06-24T00:27:55Z","updated_at":"2018-07-08T06:20:16Z","closed_at":null,"author_association":"NONE","body":"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:\r\n\r\n```\r\n{\r\ncomponent: 'general',\r\nformattedMessage: 'InternalCompilerError: \\n',\r\nmessage: 'Internal compiler error (/solidity/libsolidity/formal/SMTChecker.cpp:816):',\r\nseverity: 'error',\r\ntype: 'InternalCompilerError'\r\n}\r\n```\r\nThis error is reproduce-able by building the Augur project on the branch above and running:\r\n\r\n`npm run docker:run:test:security:smt`"},"comment":{"url":"https://api.github.com/repos/ethereum/solidity/issues/comments/403265536","html_url":"https://github.com/ethereum/solidity/issues/4341#issuecomment-403265536","issue_url":"https://api.github.com/repos/ethereum/solidity/issues/4341","id":403265536,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMzI2NTUzNg==","user":{"login":"gitcoinbot","id":27903976,"node_id":"MDQ6VXNlcjI3OTAzOTc2","avatar_url":"https://avatars2.githubusercontent.com/u/27903976?v=4","gravatar_id":"","url":"https://api.github.com/users/gitcoinbot","html_url":"https://github.com/gitcoinbot","followers_url":"https://api.github.com/users/gitcoinbot/followers","following_url":"https://api.github.com/users/gitcoinbot/following{/other_user}","gists_url":"https://api.github.com/users/gitcoinbot/gists{/gist_id}","starred_url":"https://api.github.com/users/gitcoinbot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gitcoinbot/subscriptions","organizations_url":"https://api.github.com/users/gitcoinbot/orgs","repos_url":"https://api.github.com/users/gitcoinbot/repos","events_url":"https://api.github.com/users/gitcoinbot/events{/privacy}","received_events_url":"https://api.github.com/users/gitcoinbot/received_events","type":"User","site_admin":false},"created_at":"2018-07-08T06:20:16Z","updated_at":"2018-07-08T06:20:16Z","author_association":"NONE","body":"Issue Status: 1. Open 2. Started 3. **Submitted** 4. Done \n\n<hr>\n\n__Work for 50.0 DAI (50.0 USD @ $1.0/DAI) has been submitted by__:\n\n 1. [@cryptomental](https://gitcoin.co/profile/cryptomental)\n\n\n\n@tomkysar please take a look at the submitted work:\n* [PR](https://github.com/AugurProject/augur-core/pull/706/commits) by @cryptomental\n\n<hr>\n\n* Learn more [on the Gitcoin Issue Details page](https://gitcoin.co/issue/ethereum/solidity/4341/698)\n* Questions? Checkout <a href='https://gitcoin.co/help'>Gitcoin Help</a> or the <a href='https://gitcoin.co/slack'>Gitcoin Slack</a>\n$18,964.28 more funded OSS Work available on the [Gitcoin Issue Explorer](https://gitcoin.co/explorer)\n"}}
{"actor":{"display_login":"gitcoinbot"}}