{"action":"created","issue":{"url":"https://api.github.com/repos/spechub/Hets/issues/1752","repository_url":"https://api.github.com/repos/spechub/Hets","labels_url":"https://api.github.com/repos/spechub/Hets/issues/1752/labels{/name}","comments_url":"https://api.github.com/repos/spechub/Hets/issues/1752/comments","events_url":"https://api.github.com/repos/spechub/Hets/issues/1752/events","html_url":"https://github.com/spechub/Hets/pull/1752","id":258398040,"number":1752,"title":"[WIP] 1691 dg calculus on database","user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars3.githubusercontent.com/u/339751?v=4","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":null,"assignees":[],"milestone":null,"comments":23,"created_at":"2017-09-18T08:10:40Z","updated_at":"2017-10-16T09:58:14Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/spechub/Hets/pulls/1752","html_url":"https://github.com/spechub/Hets/pull/1752","diff_url":"https://github.com/spechub/Hets/pull/1752.diff","patch_url":"https://github.com/spechub/Hets/pull/1752.patch"},"body":"This adds database write-support to Hets to be used by Ontohub. Read support is not yet intended.\r\n\r\nThere will be some more changes in the dependencies (persistent, persistent-*), but the Haskell code should be finalised now.\r\n\r\n----\r\n\r\nThis is not ready for review yet. If you want to try it, you can do this with the review guide:\r\n\r\n# Review Guide\r\n\r\n# Compile\r\n* `git submodule update --init --recursive` to pull the submodules (own fork of persistent)\r\n* `rm stack` to allow `make stack` to work\r\n* `make stack` to compile persistent\r\n* `make` to compile Hets\r\n\r\n# Setup\r\n* Clone the ontohub-backend. The path of the ontohub-backend is denoted as `${ontohub-backend}`\r\n* `rails db:recreate:seed` in `${ontohub-backend}` to create the database and fill it with initial values.\r\n* `./hets --verbose=2 --output-types=db --database-config=${ontohub-backend}/config/database.yml --database-subconfig=development --logic-graph` to write the logic graph to the database.\r\n\r\n# Run\r\n* `./hets --verbose=2 --output-types=db --database-config=${onthub-backend}/config/database.yml --database-subconfig=development --hets-libdirs=$HETS_LIB --database-fileversion-id=5 $HETS_LIB/Basic/RelationsAndOrders.casl`\r\n\r\n# Arguments\r\n* `--verbose=2` configures how many Diagnoses are saved in the database\r\n* `--output-types=db` tells Hets to write into the database\r\n* `--database-config=${onthub-backend}/config/database.yml` specifies the path to a Rails-compatible database configuration file\r\n* `--database-subconfig=development` tells Hets which key to use in the config file\r\n* `--hets-libdirs=$HETS_LIB` is used for creating LocId values. It will always be set to the repository root if Hets is called by Ontohub.\r\n* `--database-fileversion-id=5` tells Hets which FileVersion to associate the LocIds with. Please do not analyse different files with the same `--database-fileversion-id` parameter. Each file needs to be associated with a different FileVersion. Editing a file also makes it different.\r\n* `$HETS_LIB/Basic/RelationsAndOrders.casl` is the file to analyse"},"comment":{"url":"https://api.github.com/repos/spechub/Hets/issues/comments/336839224","html_url":"https://github.com/spechub/Hets/pull/1752#issuecomment-336839224","issue_url":"https://api.github.com/repos/spechub/Hets/issues/1752","id":336839224,"user":{"login":"tillmo","id":642775,"avatar_url":"https://avatars3.githubusercontent.com/u/642775?v=4","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},"created_at":"2017-10-16T09:58:14Z","updated_at":"2017-10-16T09:58:14Z","author_association":"CONTRIBUTOR","body":"the problem with unit specs is a separate issue, see #1760"}}
{"actor":{"display_login":"tillmo"}}