GitHub PullRequestEvent at 2014-09-10 16:58:20
Repository: leon
Actor: samarion
Payload: {"action":"opened","number":63,"pull_request":{"url":"https://api.github.com/repos/epfl-lara/leon/pulls/63","id":21034686,"html_url":"https://github.com/epfl-lara/leon/pull/63","diff_url":"https://github.com/epfl-lara/leon/pull/63.diff","patch_url":"https://github.com/epfl-lara/leon/pull/63.patch","issue_url":"https://api.github.com/repos/epfl-lara/leon/issues/63","number":63,"state":"open","locked":false,"title":"Updated unrolling solver to work with UninterpretedZ3Solver","user":{"login":"samarion","id":3322756,"avatar_url":"https://avatars.githubusercontent.com/u/3322756?v=2","gravatar_id":"8329325d6accd52f595437655a0f5f13","url":"https://api.github.com/users/samarion","html_url":"https://github.com/samarion","followers_url":"https://api.github.com/users/samarion/followers","following_url":"https://api.github.com/users/samarion/following{/other_user}","gists_url":"https://api.github.com/users/samarion/gists{/gist_id}","starred_url":"https://api.github.com/users/samarion/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/samarion/subscriptions","organizations_url":"https://api.github.com/users/samarion/orgs","repos_url":"https://api.github.com/users/samarion/repos","events_url":"https://api.github.com/users/samarion/events{/privacy}","received_events_url":"https://api.github.com/users/samarion/received_events","type":"User","site_admin":false},"body":"UnrollingSolver with UninterpretedZ3Solver not as powerful as FairZ3Solver. Running\r\n\r\n./leon src/test/resources/regression/verification/purescala/valid/AmortizedQueue.java\r\n\r\nwill not terminate whereas it takes only a few milliseconds using the FairZ3Solver. I don't really see how unrolling more could keep the UnrollingSolver from getting the right proof...","created_at":"2014-09-10T16:58:19Z","updated_at":"2014-09-10T16:58:19Z","closed_at":null,"merged_at":null,"merge_commit_sha":"4ad163d63566cd105d06f536a5090dc58b3a3d87","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/epfl-lara/leon/pulls/63/commits","review_comments_url":"https://api.github.com/repos/epfl-lara/leon/pulls/63/comments","review_comment_url":"https://api.github.com/repos/epfl-lara/leon/pulls/comments/{number}","comments_url":"https://api.github.com/repos/epfl-lara/leon/issues/63/comments","statuses_url":"https://api.github.com/repos/epfl-lara/leon/statuses/2b1954a322a536e99f02d7b0236d543b43b1c98b","head":{"label":"samarion:topic/unrolling","ref":"topic/unrolling","sha":"2b1954a322a536e99f02d7b0236d543b43b1c98b","user":{"login":"samarion","id":3322756,"avatar_url":"https://avatars.githubusercontent.com/u/3322756?v=2","gravatar_id":"8329325d6accd52f595437655a0f5f13","url":"https://api.github.com/users/samarion","html_url":"https://github.com/samarion","followers_url":"https://api.github.com/users/samarion/followers","following_url":"https://api.github.com/users/samarion/following{/other_user}","gists_url":"https://api.github.com/users/samarion/gists{/gist_id}","starred_url":"https://api.github.com/users/samarion/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/samarion/subscriptions","organizations_url":"https://api.github.com/users/samarion/orgs","repos_url":"https://api.github.com/users/samarion/repos","events_url":"https://api.github.com/users/samarion/events{/privacy}","received_events_url":"https://api.github.com/users/samarion/received_events","type":"User","site_admin":false},"repo":{"id":23882902,"name":"leon","full_name":"samarion/leon","owner":{"login":"samarion","id":3322756,"avatar_url":"https://avatars.githubusercontent.com/u/3322756?v=2","gravatar_id":"8329325d6accd52f595437655a0f5f13","url":"https://api.github.com/users/samarion","html_url":"https://github.com/samarion","followers_url":"https://api.github.com/users/samarion/followers","following_url":"https://api.github.com/users/samarion/following{/other_user}","gists_url":"https://api.github.com/users/samarion/gists{/gist_id}","starred_url":"https://api.github.com/users/samarion/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/samarion/subscriptions","organizations_url":"https://api.github.com/users/samarion/orgs","repos_url":"https://api.github.com/users/samarion/repos","events_url":"https://api.github.com/users/samarion/events{/privacy}","received_events_url":"https://api.github.com/users/samarion/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/samarion/leon","description":"The Leon system for verification, synthesis, and more.","fork":true,"url":"https://api.github.com/repos/samarion/leon","forks_url":"https://api.github.com/repos/samarion/leon/forks","keys_url":"https://api.github.com/repos/samarion/leon/keys{/key_id}","collaborators_url":"https://api.github.com/repos/samarion/leon/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/samarion/leon/teams","hooks_url":"https://api.github.com/repos/samarion/leon/hooks","issue_events_url":"https://api.github.com/repos/samarion/leon/issues/events{/number}","events_url":"https://api.github.com/repos/samarion/leon/events","assignees_url":"https://api.github.com/repos/samarion/leon/assignees{/user}","branches_url":"https://api.github.com/repos/samarion/leon/branches{/branch}","tags_url":"https://api.github.com/repos/samarion/leon/tags","blobs_url":"https://api.github.com/repos/samarion/leon/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/samarion/leon/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/samarion/leon/git/refs{/sha}","trees_url":"https://api.github.com/repos/samarion/leon/git/trees{/sha}","statuses_url":"https://api.github.com/repos/samarion/leon/statuses/{sha}","languages_url":"https://api.github.com/repos/samarion/leon/languages","stargazers_url":"https://api.github.com/repos/samarion/leon/stargazers","contributors_url":"https://api.github.com/repos/samarion/leon/contributors","subscribers_url":"https://api.github.com/repos/samarion/leon/subscribers","subscription_url":"https://api.github.com/repos/samarion/leon/subscription","commits_url":"https://api.github.com/repos/samarion/leon/commits{/sha}","git_commits_url":"https://api.github.com/repos/samarion/leon/git/commits{/sha}","comments_url":"https://api.github.com/repos/samarion/leon/comments{/number}","issue_comment_url":"https://api.github.com/repos/samarion/leon/issues/comments/{number}","contents_url":"https://api.github.com/repos/samarion/leon/contents/{+path}","compare_url":"https://api.github.com/repos/samarion/leon/compare/{base}...{head}","merges_url":"https://api.github.com/repos/samarion/leon/merges","archive_url":"https://api.github.com/repos/samarion/leon/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/samarion/leon/downloads","issues_url":"https://api.github.com/repos/samarion/leon/issues{/number}","pulls_url":"https://api.github.com/repos/samarion/leon/pulls{/number}","milestones_url":"https://api.github.com/repos/samarion/leon/milestones{/number}","notifications_url":"https://api.github.com/repos/samarion/leon/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/samarion/leon/labels{/name}","releases_url":"https://api.github.com/repos/samarion/leon/releases{/id}","created_at":"2014-09-10T16:49:23Z","updated_at":"2014-09-10T16:51:11Z","pushed_at":"2014-09-10T16:51:23Z","git_url":"git://github.com/samarion/leon.git","ssh_url":"git@github.com:samarion/leon.git","clone_url":"https://github.com/samarion/leon.git","svn_url":"https://github.com/samarion/leon","homepage":"leon.epfl.ch","size":106102,"stargazers_count":0,"watchers_count":0,"language":null,"has_issues":false,"has_downloads":true,"has_wiki":true,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"epfl-lara:master","ref":"master","sha":"8c7bccf862f49e47f187e3afcd25a05e5a0b942f","user":{"login":"epfl-lara","id":3035238,"avatar_url":"https://avatars.githubusercontent.com/u/3035238?v=2","gravatar_id":"204f929d57f604e471b5172904b887d1","url":"https://api.github.com/users/epfl-lara","html_url":"https://github.com/epfl-lara","followers_url":"https://api.github.com/users/epfl-lara/followers","following_url":"https://api.github.com/users/epfl-lara/following{/other_user}","gists_url":"https://api.github.com/users/epfl-lara/gists{/gist_id}","starred_url":"https://api.github.com/users/epfl-lara/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/epfl-lara/subscriptions","organizations_url":"https://api.github.com/users/epfl-lara/orgs","repos_url":"https://api.github.com/users/epfl-lara/repos","events_url":"https://api.github.com/users/epfl-lara/events{/privacy}","received_events_url":"https://api.github.com/users/epfl-lara/received_events","type":"Organization","site_admin":false},"repo":{"id":7626736,"name":"leon","full_name":"epfl-lara/leon","owner":{"login":"epfl-lara","id":3035238,"avatar_url":"https://avatars.githubusercontent.com/u/3035238?v=2","gravatar_id":"204f929d57f604e471b5172904b887d1","url":"https://api.github.com/users/epfl-lara","html_url":"https://github.com/epfl-lara","followers_url":"https://api.github.com/users/epfl-lara/followers","following_url":"https://api.github.com/users/epfl-lara/following{/other_user}","gists_url":"https://api.github.com/users/epfl-lara/gists{/gist_id}","starred_url":"https://api.github.com/users/epfl-lara/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/epfl-lara/subscriptions","organizations_url":"https://api.github.com/users/epfl-lara/orgs","repos_url":"https://api.github.com/users/epfl-lara/repos","events_url":"https://api.github.com/users/epfl-lara/events{/privacy}","received_events_url":"https://api.github.com/users/epfl-lara/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/epfl-lara/leon","description":"The Leon system for verification, synthesis, and more.","fork":false,"url":"https://api.github.com/repos/epfl-lara/leon","forks_url":"https://api.github.com/repos/epfl-lara/leon/forks","keys_url":"https://api.github.com/repos/epfl-lara/leon/keys{/key_id}","collaborators_url":"https://api.github.com/repos/epfl-lara/leon/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/epfl-lara/leon/teams","hooks_url":"https://api.github.com/repos/epfl-lara/leon/hooks","issue_events_url":"https://api.github.com/repos/epfl-lara/leon/issues/events{/number}","events_url":"https://api.github.com/repos/epfl-lara/leon/events","assignees_url":"https://api.github.com/repos/epfl-lara/leon/assignees{/user}","branches_url":"https://api.github.com/repos/epfl-lara/leon/branches{/branch}","tags_url":"https://api.github.com/repos/epfl-lara/leon/tags","blobs_url":"https://api.github.com/repos/epfl-lara/leon/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/epfl-lara/leon/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/epfl-lara/leon/git/refs{/sha}","trees_url":"https://api.github.com/repos/epfl-lara/leon/git/trees{/sha}","statuses_url":"https://api.github.com/repos/epfl-lara/leon/statuses/{sha}","languages_url":"https://api.github.com/repos/epfl-lara/leon/languages","stargazers_url":"https://api.github.com/repos/epfl-lara/leon/stargazers","contributors_url":"https://api.github.com/repos/epfl-lara/leon/contributors","subscribers_url":"https://api.github.com/repos/epfl-lara/leon/subscribers","subscription_url":"https://api.github.com/repos/epfl-lara/leon/subscription","commits_url":"https://api.github.com/repos/epfl-lara/leon/commits{/sha}","git_commits_url":"https://api.github.com/repos/epfl-lara/leon/git/commits{/sha}","comments_url":"https://api.github.com/repos/epfl-lara/leon/comments{/number}","issue_comment_url":"https://api.github.com/repos/epfl-lara/leon/issues/comments/{number}","contents_url":"https://api.github.com/repos/epfl-lara/leon/contents/{+path}","compare_url":"https://api.github.com/repos/epfl-lara/leon/compare/{base}...{head}","merges_url":"https://api.github.com/repos/epfl-lara/leon/merges","archive_url":"https://api.github.com/repos/epfl-lara/leon/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/epfl-lara/leon/downloads","issues_url":"https://api.github.com/repos/epfl-lara/leon/issues{/number}","pulls_url":"https://api.github.com/repos/epfl-lara/leon/pulls{/number}","milestones_url":"https://api.github.com/repos/epfl-lara/leon/milestones{/number}","notifications_url":"https://api.github.com/repos/epfl-lara/leon/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/epfl-lara/leon/labels{/name}","releases_url":"https://api.github.com/repos/epfl-lara/leon/releases{/id}","created_at":"2013-01-15T14:54:24Z","updated_at":"2014-09-03T10:05:05Z","pushed_at":"2014-09-10T11:27:16Z","git_url":"git://github.com/epfl-lara/leon.git","ssh_url":"git@github.com:epfl-lara/leon.git","clone_url":"https://github.com/epfl-lara/leon.git","svn_url":"https://github.com/epfl-lara/leon","homepage":"leon.epfl.ch","size":106102,"stargazers_count":17,"watchers_count":17,"language":"Scala","has_issues":true,"has_downloads":true,"has_wiki":true,"forks_count":17,"mirror_url":null,"open_issues_count":3,"forks":17,"open_issues":3,"watchers":17,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/epfl-lara/leon/pulls/63"},"html":{"href":"https://github.com/epfl-lara/leon/pull/63"},"issue":{"href":"https://api.github.com/repos/epfl-lara/leon/issues/63"},"comments":{"href":"https://api.github.com/repos/epfl-lara/leon/issues/63/comments"},"review_comments":{"href":"https://api.github.com/repos/epfl-lara/leon/pulls/63/comments"},"review_comment":{"href":"https://api.github.com/repos/epfl-lara/leon/pulls/comments/{number}"},"commits":{"href":"https://api.github.com/repos/epfl-lara/leon/pulls/63/commits"},"statuses":{"href":"https://api.github.com/repos/epfl-lara/leon/statuses/2b1954a322a536e99f02d7b0236d543b43b1c98b"}},"merged":false,"mergeable":true,"mergeable_state":"clean","merged_by":null,"comments":0,"review_comments":0,"commits":1,"additions":97,"deletions":81,"changed_files":3}}