{"action":"created","issue":{"url":"https://api.github.com/repos/ethereum/solidity/issues/3972","repository_url":"https://api.github.com/repos/ethereum/solidity","labels_url":"https://api.github.com/repos/ethereum/solidity/issues/3972/labels{/name}","comments_url":"https://api.github.com/repos/ethereum/solidity/issues/3972/comments","events_url":"https://api.github.com/repos/ethereum/solidity/issues/3972/events","html_url":"https://github.com/ethereum/solidity/issues/3972","id":316577271,"node_id":"MDU6SXNzdWUzMTY1NzcyNzE=","number":3972,"title":"Set timeout to single SMT query","user":{"login":"leonardoalt","id":504195,"node_id":"MDQ6VXNlcjUwNDE5NQ==","avatar_url":"https://avatars1.githubusercontent.com/u/504195?v=4","gravatar_id":"","url":"https://api.github.com/users/leonardoalt","html_url":"https://github.com/leonardoalt","followers_url":"https://api.github.com/users/leonardoalt/followers","following_url":"https://api.github.com/users/leonardoalt/following{/other_user}","gists_url":"https://api.github.com/users/leonardoalt/gists{/gist_id}","starred_url":"https://api.github.com/users/leonardoalt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leonardoalt/subscriptions","organizations_url":"https://api.github.com/users/leonardoalt/orgs","repos_url":"https://api.github.com/users/leonardoalt/repos","events_url":"https://api.github.com/users/leonardoalt/events{/privacy}","received_events_url":"https://api.github.com/users/leonardoalt/received_events","type":"User","site_admin":false},"labels":[{"id":249074438,"node_id":"MDU6TGFiZWwyNDkwNzQ0Mzg=","url":"https://api.github.com/repos/ethereum/solidity/labels/help%20wanted","name":"help wanted","color":"159818","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2018-04-22T13:01:07Z","updated_at":"2018-06-07T16:15:40Z","closed_at":null,"author_association":"COLLABORATOR","body":"Whenever we ask the CVC4 or Z3 solvers to check input for satisfiability, we should somehow limit how much time they can spend looking for a solution. The same might apply when we ask for a model, if that is not already done as part of checking for satisfiability. At best, this is just a setting for Z3 and CVC4. In the worst case, we have to set up the solver in a separate thread and somehow kill the thread or do whatever is necessary. If more drastic measures are taken, it of course has to be fully portable."},"comment":{"url":"https://api.github.com/repos/ethereum/solidity/issues/comments/395479312","html_url":"https://github.com/ethereum/solidity/issues/3972#issuecomment-395479312","issue_url":"https://api.github.com/repos/ethereum/solidity/issues/3972","id":395479312,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NTQ3OTMxMg==","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-06-07T16:15:40Z","updated_at":"2018-06-07T16:15:40Z","author_association":"NONE","body":"@rofiqgilang Hello from Gitcoin Core - are you still working on this issue? Please submit a WIP PR or comment back within the next 3 days or you will be removed from this ticket and it will be returned to an ‘Open’ status. Please let us know if you have questions!\n* [x] warning (3 days)\n* [ ] escalation to mods (6 days)\n\nFunders only: Snooze warnings for [1 day](https://gitcoin.co/issue/ethereum/solidity/3972/315?snooze=1) | [3 days](https://gitcoin.co/issue/ethereum/solidity/3972/315?snooze=3) | [5 days](https://gitcoin.co/issue/ethereum/solidity/3972/315?snooze=5) | [10 days](https://gitcoin.co/issue/ethereum/solidity/3972/315?snooze=10) | [100 days](https://gitcoin.co/issue/ethereum/solidity/3972/315?snooze=100)"}}
{"actor":{"display_login":"gitcoinbot"}}