{"action":"created","issue":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/1319","labels_url":"https://api.github.com/repos/ontohub/ontohub/issues/1319/labels{/name}","comments_url":"https://api.github.com/repos/ontohub/ontohub/issues/1319/comments","events_url":"https://api.github.com/repos/ontohub/ontohub/issues/1319/events","html_url":"https://github.com/ontohub/ontohub/pull/1319","id":67817225,"number":1319,"title":"1287 parse szs status from prover output","user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"tillmo","id":642775,"avatar_url":"https://avatars.githubusercontent.com/u/642775?v=3","gravatar_id":"","url":"https://api.github.com/users/tillmo","html_url":"https://github.com/tillmo","followers_url":"https://api.github.com/users/tillmo/followers","following_url":"https://api.github.com/users/tillmo/following{/other_user}","gists_url":"https://api.github.com/users/tillmo/gists{/gist_id}","starred_url":"https://api.github.com/users/tillmo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tillmo/subscriptions","organizations_url":"https://api.github.com/users/tillmo/orgs","repos_url":"https://api.github.com/users/tillmo/repos","events_url":"https://api.github.com/users/tillmo/events{/privacy}","received_events_url":"https://api.github.com/users/tillmo/received_events","type":"User","site_admin":false},"milestone":null,"comments":3,"created_at":"2015-04-11T18:38:34Z","updated_at":"2015-04-17T10:22:40Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ontohub/ontohub/pulls/1319","html_url":"https://github.com/ontohub/ontohub/pull/1319","diff_url":"https://github.com/ontohub/ontohub/pull/1319.diff","patch_url":"https://github.com/ontohub/ontohub/pull/1319.patch"},"body":"This adds the implementation of #1287. There are no tests for the new code of lib/hets/prove/prove_evaluation_helper.rb. They will be added in a separate pull request after #1318 is completed."},"comment":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/comments/93959862","html_url":"https://github.com/ontohub/ontohub/pull/1319#issuecomment-93959862","issue_url":"https://api.github.com/repos/ontohub/ontohub/issues/1319","id":93959862,"user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"created_at":"2015-04-17T10:22:39Z","updated_at":"2015-04-17T10:22:39Z","body":"> for SPASS, the information should be extracted by Hets.\r\n\r\nThis is what https://github.com/ontohub/ontohub/blob/64d980306b60a69992513db27243360e87f8ae4e/lib/hets/prove/prove_evaluation_helper.rb#L47-L57 handles."}}