{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/java-smt/issues/60","repository_url":"https://api.github.com/repos/sosy-lab/java-smt","labels_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/60/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/60/comments","events_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/60/events","html_url":"https://github.com/sosy-lab/java-smt/issues/60","id":164775059,"number":60,"title":"Rethink package structure","user":{"login":"PhilippWendler","id":2545335,"avatar_url":"https://avatars.githubusercontent.com/u/2545335?v=3","gravatar_id":"","url":"https://api.github.com/users/PhilippWendler","html_url":"https://github.com/PhilippWendler","followers_url":"https://api.github.com/users/PhilippWendler/followers","following_url":"https://api.github.com/users/PhilippWendler/following{/other_user}","gists_url":"https://api.github.com/users/PhilippWendler/gists{/gist_id}","starred_url":"https://api.github.com/users/PhilippWendler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PhilippWendler/subscriptions","organizations_url":"https://api.github.com/users/PhilippWendler/orgs","repos_url":"https://api.github.com/users/PhilippWendler/repos","events_url":"https://api.github.com/users/PhilippWendler/events{/privacy}","received_events_url":"https://api.github.com/users/PhilippWendler/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"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},"assignees":[{"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}],"milestone":{"url":"https://api.github.com/repos/sosy-lab/java-smt/milestones/1","html_url":"https://github.com/sosy-lab/java-smt/milestones/Release%201.0","labels_url":"https://api.github.com/repos/sosy-lab/java-smt/milestones/1/labels","id":1459158,"number":1,"title":"Release 1.0","description":"","creator":{"login":"PhilippWendler","id":2545335,"avatar_url":"https://avatars.githubusercontent.com/u/2545335?v=3","gravatar_id":"","url":"https://api.github.com/users/PhilippWendler","html_url":"https://github.com/PhilippWendler","followers_url":"https://api.github.com/users/PhilippWendler/followers","following_url":"https://api.github.com/users/PhilippWendler/following{/other_user}","gists_url":"https://api.github.com/users/PhilippWendler/gists{/gist_id}","starred_url":"https://api.github.com/users/PhilippWendler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PhilippWendler/subscriptions","organizations_url":"https://api.github.com/users/PhilippWendler/orgs","repos_url":"https://api.github.com/users/PhilippWendler/repos","events_url":"https://api.github.com/users/PhilippWendler/events{/privacy}","received_events_url":"https://api.github.com/users/PhilippWendler/received_events","type":"User","site_admin":false},"open_issues":4,"closed_issues":13,"state":"open","created_at":"2015-12-14T12:57:19Z","updated_at":"2016-08-03T09:03:48Z","due_on":null,"closed_at":null},"comments":14,"created_at":"2016-07-11T07:24:06Z","updated_at":"2016-08-18T16:22:49Z","closed_at":null,"body":"Currently, we have an `api` package, but not all of the API is inside it or in a subpackage. I would suggest to move the classes `SolverContextFactory` and `SolverException` as well as the package `visitors` into `api`.\r\n\r\nIf this is done, the package Javadoc of both the main package and the `api` package should be extended to give an overview over what is contained and what the relevant entry point is (this would be good anyway probably)."},"comment":{"url":"https://api.github.com/repos/sosy-lab/java-smt/issues/comments/240777292","html_url":"https://github.com/sosy-lab/java-smt/issues/60#issuecomment-240777292","issue_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/60","id":240777292,"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},"created_at":"2016-08-18T16:22:49Z","updated_at":"2016-08-18T16:22:49Z","body":"1. I'll move statistics to a branch.\r\n\r\n> It is not a default implementation of one of our Tactics, so basicimpl.tactics does not really fit\r\n\r\nI don't think so, I think that `UfElimination` is precisely a default implementation for one of the tactics, and should not be directly called by the users.\r\n\r\n> Tactic enum is in the basicimpl.tactics package\r\n\r\nOK, moved.\r\n\r\n> Another point to discuss is the visitors package\r\n\r\nI believe we are overthinking it, the aim was to gather API relevant for users in one location.\r\nAll of those classes, technically speaking, are API.\r\nI think it makes much more sense to keep them as they are."}}
{"actor":{"display_login":"cheshire"}}