{"action":"created","issue":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/1188","repository_url":"https://api.github.com/repos/ontohub/ontohub","labels_url":"https://api.github.com/repos/ontohub/ontohub/issues/1188/labels{/name}","comments_url":"https://api.github.com/repos/ontohub/ontohub/issues/1188/comments","events_url":"https://api.github.com/repos/ontohub/ontohub/issues/1188/events","html_url":"https://github.com/ontohub/ontohub/pull/1188","id":56956825,"number":1188,"title":"1131 prove theorems","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":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":22,"created_at":"2015-02-08T16:15:52Z","updated_at":"2016-11-05T01:33:48Z","closed_at":"2015-03-24T06:08:49Z","pull_request":{"url":"https://api.github.com/repos/ontohub/ontohub/pulls/1188","html_url":"https://github.com/ontohub/ontohub/pull/1188","diff_url":"https://github.com/ontohub/ontohub/pull/1188.diff","patch_url":"https://github.com/ontohub/ontohub/pull/1188.patch"},"body":"This branch shall fix #1131. It allows ontohub to prove theorems of an ontology by pressing a button in the theorems view.\n\nThe views themselves are simplistic and not very beautiful, but they contain all the information we have. They will be re-made in another issue.\n\nThe tactic script is currently saved as JSON. I don't like this solution, but since there are users who want to try the proving feature, I wanted to bring it as fast as possible to develop.ontohub.org. In another issue, I will attack the representation of the tactic script.\n\nNote for the reviewer:\nI recommend reading this pull request commit by commit. This approach should help understanding the changes.\n\nFiles appearing to be new in `lib/hets/dg/` aren't actually new. I moved them there from `lib/hets/` and put them in a deeper nested module to distinguish them from the files in `lib/hets/prove/`.\n\nAlso, there will be conflicts with #1136 with the `{Get,Prove,Action}Caller` because that one introduces `Hets::Options`.\n"},"comment":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/comments/258582711","html_url":"https://github.com/ontohub/ontohub/pull/1188#issuecomment-258582711","issue_url":"https://api.github.com/repos/ontohub/ontohub/issues/1188","id":258582711,"user":{"login":"coveralls","id":2354108,"avatar_url":"https://avatars.githubusercontent.com/u/2354108?v=3","gravatar_id":"","url":"https://api.github.com/users/coveralls","html_url":"https://github.com/coveralls","followers_url":"https://api.github.com/users/coveralls/followers","following_url":"https://api.github.com/users/coveralls/following{/other_user}","gists_url":"https://api.github.com/users/coveralls/gists{/gist_id}","starred_url":"https://api.github.com/users/coveralls/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/coveralls/subscriptions","organizations_url":"https://api.github.com/users/coveralls/orgs","repos_url":"https://api.github.com/users/coveralls/repos","events_url":"https://api.github.com/users/coveralls/events{/privacy}","received_events_url":"https://api.github.com/users/coveralls/received_events","type":"User","site_admin":false},"created_at":"2016-11-05T01:33:47Z","updated_at":"2016-11-05T01:33:47Z","body":"\n[![Coverage Status](https://coveralls.io/builds/8678010/badge)](https://coveralls.io/builds/8678010)\n\nChanges Unknown when pulling **2ce3989864c5ddc2b7f429a81d44d0f3e13189f7 on 1131-prove_theorems** into ** on staging**.\n"}}
{"actor":{"display_login":"coveralls"}}