{"comment":{"url":"https://api.github.com/repos/sosy-lab/java-smt/comments/17821140","html_url":"https://github.com/sosy-lab/java-smt/commit/4fd6203afefc99a57ef5db4e6d91a8f5703f3ca2#commitcomment-17821140","id":17821140,"user":{"login":"cheshire","id":348959,"avatar_url":"https://avatars.githubusercontent.com/u/348959?v=3","gravatar_id":"","url":"https://api.github.com/users/cheshire","html_url":"https://github.com/cheshire","followers_url":"https://api.github.com/users/cheshire/followers","following_url":"https://api.github.com/users/cheshire/following{/other_user}","gists_url":"https://api.github.com/users/cheshire/gists{/gist_id}","starred_url":"https://api.github.com/users/cheshire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cheshire/subscriptions","organizations_url":"https://api.github.com/users/cheshire/orgs","repos_url":"https://api.github.com/users/cheshire/repos","events_url":"https://api.github.com/users/cheshire/events{/privacy}","received_events_url":"https://api.github.com/users/cheshire/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":null,"commit_id":"4fd6203afefc99a57ef5db4e6d91a8f5703f3ca2","created_at":"2016-06-10T12:44:52Z","updated_at":"2016-06-10T12:44:52Z","body":"@kfriedberger why is this necessary? I would prefer this to be reverted.\r\n\r\nThere is nothing in SMT-LIB which states that there should be a \"push\" command first.\r\nI think when choosing which API to follow we should choose SMT-LIB.\r\n\r\nThe only reason why we usually \"push\" first in CPAchecker is because of SMTInterpol limitation of not supporting multiple concurrent stacks."}}
{"actor":{"display_login":"cheshire"}}