{"action":"created","issue":{"url":"https://api.github.com/repos/gapt/gapt/issues/545","repository_url":"https://api.github.com/repos/gapt/gapt","labels_url":"https://api.github.com/repos/gapt/gapt/issues/545/labels{/name}","comments_url":"https://api.github.com/repos/gapt/gapt/issues/545/comments","events_url":"https://api.github.com/repos/gapt/gapt/issues/545/events","html_url":"https://github.com/gapt/gapt/issues/545","id":166120326,"number":545,"title":"prooftool: wobbling","user":{"login":"gebner","id":313929,"avatar_url":"https://avatars.githubusercontent.com/u/313929?v=3","gravatar_id":"","url":"https://api.github.com/users/gebner","html_url":"https://github.com/gebner","followers_url":"https://api.github.com/users/gebner/followers","following_url":"https://api.github.com/users/gebner/following{/other_user}","gists_url":"https://api.github.com/users/gebner/gists{/gist_id}","starred_url":"https://api.github.com/users/gebner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gebner/subscriptions","organizations_url":"https://api.github.com/users/gebner/orgs","repos_url":"https://api.github.com/users/gebner/repos","events_url":"https://api.github.com/users/gebner/events{/privacy}","received_events_url":"https://api.github.com/users/gebner/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/gapt/gapt/labels/Bug","name":"Bug","color":"e11d21"},{"url":"https://api.github.com/repos/gapt/gapt/labels/prooftool","name":"prooftool","color":"d4c5f9"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/gapt/gapt/milestones/4","html_url":"https://github.com/gapt/gapt/milestones/gapt%202.3","labels_url":"https://api.github.com/repos/gapt/gapt/milestones/4/labels","id":1812947,"number":4,"title":"gapt 2.3","description":"","creator":{"login":"gebner","id":313929,"avatar_url":"https://avatars.githubusercontent.com/u/313929?v=3","gravatar_id":"","url":"https://api.github.com/users/gebner","html_url":"https://github.com/gebner","followers_url":"https://api.github.com/users/gebner/followers","following_url":"https://api.github.com/users/gebner/following{/other_user}","gists_url":"https://api.github.com/users/gebner/gists{/gist_id}","starred_url":"https://api.github.com/users/gebner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gebner/subscriptions","organizations_url":"https://api.github.com/users/gebner/orgs","repos_url":"https://api.github.com/users/gebner/repos","events_url":"https://api.github.com/users/gebner/events{/privacy}","received_events_url":"https://api.github.com/users/gebner/received_events","type":"User","site_admin":false},"open_issues":2,"closed_issues":12,"state":"open","created_at":"2016-06-07T08:49:36Z","updated_at":"2016-10-07T14:54:48Z","due_on":"2016-10-10T00:00:00Z","closed_at":null},"comments":4,"created_at":"2016-07-18T15:23:45Z","updated_at":"2016-10-07T15:31:17Z","closed_at":null,"body":"When drawing sequent proofs, we have a cyclic dependency in the layout: the length of the inference line is determined based on the size of the subproofs, which then changes the layout of the subproofs, which then changes the length of the inference line...\r\n\r\nAt least I think that's what's happening.  For a demo, run the following:\r\n```scala\r\nprooftool(LinearExampleProof(20))\r\n```"},"comment":{"url":"https://api.github.com/repos/gapt/gapt/issues/comments/252283926","html_url":"https://github.com/gapt/gapt/issues/545#issuecomment-252283926","issue_url":"https://api.github.com/repos/gapt/gapt/issues/545","id":252283926,"user":{"login":"shetzl","id":10726013,"avatar_url":"https://avatars.githubusercontent.com/u/10726013?v=3","gravatar_id":"","url":"https://api.github.com/users/shetzl","html_url":"https://github.com/shetzl","followers_url":"https://api.github.com/users/shetzl/followers","following_url":"https://api.github.com/users/shetzl/following{/other_user}","gists_url":"https://api.github.com/users/shetzl/gists{/gist_id}","starred_url":"https://api.github.com/users/shetzl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shetzl/subscriptions","organizations_url":"https://api.github.com/users/shetzl/orgs","repos_url":"https://api.github.com/users/shetzl/repos","events_url":"https://api.github.com/users/shetzl/events{/privacy}","received_events_url":"https://api.github.com/users/shetzl/received_events","type":"User","site_admin":false},"created_at":"2016-10-07T15:31:17Z","updated_at":"2016-10-07T15:31:17Z","body":"I cannot reproduce this with current master.\r\n\r\n@loewenheim: If I remember correctly, you said last week that this is fixed.\r\n\r\nCan we consider this issue closed?"}}
{"actor":{"display_login":"shetzl"}}