{"action":"created","comment":{"url":"https://api.github.com/repos/google/souper/pulls/comments/25113207","id":25113207,"diff_hunk":"@@ -13,4 +13,4 @@\n // limitations under the License.\n \n #define LLVM_VERSION_MAJOR 3\n-#define LLVM_VERSION_MINOR 6","path":"include/klee/Config/config.h","position":4,"original_position":4,"commit_id":"7ccab7c0c7f5e20589f284d8db3f5006047e57c0","original_commit_id":"7ccab7c0c7f5e20589f284d8db3f5006047e57c0","user":{"login":"rsas","id":8187588,"avatar_url":"https://avatars.githubusercontent.com/u/8187588?v=3","gravatar_id":"","url":"https://api.github.com/users/rsas","html_url":"https://github.com/rsas","followers_url":"https://api.github.com/users/rsas/followers","following_url":"https://api.github.com/users/rsas/following{/other_user}","gists_url":"https://api.github.com/users/rsas/gists{/gist_id}","starred_url":"https://api.github.com/users/rsas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rsas/subscriptions","organizations_url":"https://api.github.com/users/rsas/orgs","repos_url":"https://api.github.com/users/rsas/repos","events_url":"https://api.github.com/users/rsas/events{/privacy}","received_events_url":"https://api.github.com/users/rsas/received_events","type":"User","site_admin":false},"body":"I merged to master from time to time, that's why you see these lines.","created_at":"2015-02-20T23:44:00Z","updated_at":"2015-02-20T23:44:00Z","html_url":"https://github.com/google/souper/pull/175#discussion_r25113207","pull_request_url":"https://api.github.com/repos/google/souper/pulls/175","_links":{"self":{"href":"https://api.github.com/repos/google/souper/pulls/comments/25113207"},"html":{"href":"https://github.com/google/souper/pull/175#discussion_r25113207"},"pull_request":{"href":"https://api.github.com/repos/google/souper/pulls/175"}}},"pull_request":{"url":"https://api.github.com/repos/google/souper/pulls/175","id":29316565,"html_url":"https://github.com/google/souper/pull/175","diff_url":"https://github.com/google/souper/pull/175.diff","patch_url":"https://github.com/google/souper/pull/175.patch","issue_url":"https://api.github.com/repos/google/souper/issues/175","number":175,"state":"open","locked":false,"title":"Inst synthesis","user":{"login":"rsas","id":8187588,"avatar_url":"https://avatars.githubusercontent.com/u/8187588?v=3","gravatar_id":"","url":"https://api.github.com/users/rsas","html_url":"https://github.com/rsas","followers_url":"https://api.github.com/users/rsas/followers","following_url":"https://api.github.com/users/rsas/following{/other_user}","gists_url":"https://api.github.com/users/rsas/gists{/gist_id}","starred_url":"https://api.github.com/users/rsas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rsas/subscriptions","organizations_url":"https://api.github.com/users/rsas/orgs","repos_url":"https://api.github.com/users/rsas/repos","events_url":"https://api.github.com/users/rsas/events{/privacy}","received_events_url":"https://api.github.com/users/rsas/received_events","type":"User","site_admin":false},"body":"The synthesis code base grows and I think it's time to review this patch so that others also understand the core algorithm and its peculiarities. Please comment on everything that is unclear so I can improve both the code and the documentation. Please read the commit message from 8b5e5fd that contains instructions for synthesis invocation and usage. The main difference from that commit is that now there is no API and the synthesis is iterative, i.e., it starts with zero components (nop synthesis) and proceeds until it reaches the max num of components specified via cmd or the LHS cost minus one. If no max components were specified, it will try to use the whole component library (or all components specified via cmd).   ","created_at":"2015-02-14T06:15:34Z","updated_at":"2015-02-20T23:44:00Z","closed_at":null,"merged_at":null,"merge_commit_sha":"7fe1a113c02f79fb820f29df803845833287378a","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/google/souper/pulls/175/commits","review_comments_url":"https://api.github.com/repos/google/souper/pulls/175/comments","review_comment_url":"https://api.github.com/repos/google/souper/pulls/comments/{number}","comments_url":"https://api.github.com/repos/google/souper/issues/175/comments","statuses_url":"https://api.github.com/repos/google/souper/statuses/7ccab7c0c7f5e20589f284d8db3f5006047e57c0","head":{"label":"rsas:inst-synthesis","ref":"inst-synthesis","sha":"7ccab7c0c7f5e20589f284d8db3f5006047e57c0","user":{"login":"rsas","id":8187588,"avatar_url":"https://avatars.githubusercontent.com/u/8187588?v=3","gravatar_id":"","url":"https://api.github.com/users/rsas","html_url":"https://github.com/rsas","followers_url":"https://api.github.com/users/rsas/followers","following_url":"https://api.github.com/users/rsas/following{/other_user}","gists_url":"https://api.github.com/users/rsas/gists{/gist_id}","starred_url":"https://api.github.com/users/rsas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rsas/subscriptions","organizations_url":"https://api.github.com/users/rsas/orgs","repos_url":"https://api.github.com/users/rsas/repos","events_url":"https://api.github.com/users/rsas/events{/privacy}","received_events_url":"https://api.github.com/users/rsas/received_events","type":"User","site_admin":false},"repo":{"id":21929888,"name":"souper","full_name":"rsas/souper","owner":{"login":"rsas","id":8187588,"avatar_url":"https://avatars.githubusercontent.com/u/8187588?v=3","gravatar_id":"","url":"https://api.github.com/users/rsas","html_url":"https://github.com/rsas","followers_url":"https://api.github.com/users/rsas/followers","following_url":"https://api.github.com/users/rsas/following{/other_user}","gists_url":"https://api.github.com/users/rsas/gists{/gist_id}","starred_url":"https://api.github.com/users/rsas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rsas/subscriptions","organizations_url":"https://api.github.com/users/rsas/orgs","repos_url":"https://api.github.com/users/rsas/repos","events_url":"https://api.github.com/users/rsas/events{/privacy}","received_events_url":"https://api.github.com/users/rsas/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/rsas/souper","description":null,"fork":true,"url":"https://api.github.com/repos/rsas/souper","forks_url":"https://api.github.com/repos/rsas/souper/forks","keys_url":"https://api.github.com/repos/rsas/souper/keys{/key_id}","collaborators_url":"https://api.github.com/repos/rsas/souper/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/rsas/souper/teams","hooks_url":"https://api.github.com/repos/rsas/souper/hooks","issue_events_url":"https://api.github.com/repos/rsas/souper/issues/events{/number}","events_url":"https://api.github.com/repos/rsas/souper/events","assignees_url":"https://api.github.com/repos/rsas/souper/assignees{/user}","branches_url":"https://api.github.com/repos/rsas/souper/branches{/branch}","tags_url":"https://api.github.com/repos/rsas/souper/tags","blobs_url":"https://api.github.com/repos/rsas/souper/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/rsas/souper/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/rsas/souper/git/refs{/sha}","trees_url":"https://api.github.com/repos/rsas/souper/git/trees{/sha}","statuses_url":"https://api.github.com/repos/rsas/souper/statuses/{sha}","languages_url":"https://api.github.com/repos/rsas/souper/languages","stargazers_url":"https://api.github.com/repos/rsas/souper/stargazers","contributors_url":"https://api.github.com/repos/rsas/souper/contributors","subscribers_url":"https://api.github.com/repos/rsas/souper/subscribers","subscription_url":"https://api.github.com/repos/rsas/souper/subscription","commits_url":"https://api.github.com/repos/rsas/souper/commits{/sha}","git_commits_url":"https://api.github.com/repos/rsas/souper/git/commits{/sha}","comments_url":"https://api.github.com/repos/rsas/souper/comments{/number}","issue_comment_url":"https://api.github.com/repos/rsas/souper/issues/comments/{number}","contents_url":"https://api.github.com/repos/rsas/souper/contents/{+path}","compare_url":"https://api.github.com/repos/rsas/souper/compare/{base}...{head}","merges_url":"https://api.github.com/repos/rsas/souper/merges","archive_url":"https://api.github.com/repos/rsas/souper/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/rsas/souper/downloads","issues_url":"https://api.github.com/repos/rsas/souper/issues{/number}","pulls_url":"https://api.github.com/repos/rsas/souper/pulls{/number}","milestones_url":"https://api.github.com/repos/rsas/souper/milestones{/number}","notifications_url":"https://api.github.com/repos/rsas/souper/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/rsas/souper/labels{/name}","releases_url":"https://api.github.com/repos/rsas/souper/releases{/id}","created_at":"2014-07-17T05:36:06Z","updated_at":"2015-02-20T22:17:50Z","pushed_at":"2015-02-20T22:50:33Z","git_url":"git://github.com/rsas/souper.git","ssh_url":"git@github.com:rsas/souper.git","clone_url":"https://github.com/rsas/souper.git","svn_url":"https://github.com/rsas/souper","homepage":null,"size":1638,"stargazers_count":5,"watchers_count":5,"language":"C++","has_issues":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":5,"default_branch":"master"}},"base":{"label":"google:master","ref":"master","sha":"dfd20d95778920c5066c9d76a56ddc03b0e885f4","user":{"login":"google","id":1342004,"avatar_url":"https://avatars.githubusercontent.com/u/1342004?v=3","gravatar_id":"","url":"https://api.github.com/users/google","html_url":"https://github.com/google","followers_url":"https://api.github.com/users/google/followers","following_url":"https://api.github.com/users/google/following{/other_user}","gists_url":"https://api.github.com/users/google/gists{/gist_id}","starred_url":"https://api.github.com/users/google/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/google/subscriptions","organizations_url":"https://api.github.com/users/google/orgs","repos_url":"https://api.github.com/users/google/repos","events_url":"https://api.github.com/users/google/events{/privacy}","received_events_url":"https://api.github.com/users/google/received_events","type":"Organization","site_admin":false},"repo":{"id":18458047,"name":"souper","full_name":"google/souper","owner":{"login":"google","id":1342004,"avatar_url":"https://avatars.githubusercontent.com/u/1342004?v=3","gravatar_id":"","url":"https://api.github.com/users/google","html_url":"https://github.com/google","followers_url":"https://api.github.com/users/google/followers","following_url":"https://api.github.com/users/google/following{/other_user}","gists_url":"https://api.github.com/users/google/gists{/gist_id}","starred_url":"https://api.github.com/users/google/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/google/subscriptions","organizations_url":"https://api.github.com/users/google/orgs","repos_url":"https://api.github.com/users/google/repos","events_url":"https://api.github.com/users/google/events{/privacy}","received_events_url":"https://api.github.com/users/google/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/google/souper","description":"A superoptimizer for LLVM IR","fork":false,"url":"https://api.github.com/repos/google/souper","forks_url":"https://api.github.com/repos/google/souper/forks","keys_url":"https://api.github.com/repos/google/souper/keys{/key_id}","collaborators_url":"https://api.github.com/repos/google/souper/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/google/souper/teams","hooks_url":"https://api.github.com/repos/google/souper/hooks","issue_events_url":"https://api.github.com/repos/google/souper/issues/events{/number}","events_url":"https://api.github.com/repos/google/souper/events","assignees_url":"https://api.github.com/repos/google/souper/assignees{/user}","branches_url":"https://api.github.com/repos/google/souper/branches{/branch}","tags_url":"https://api.github.com/repos/google/souper/tags","blobs_url":"https://api.github.com/repos/google/souper/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/google/souper/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/google/souper/git/refs{/sha}","trees_url":"https://api.github.com/repos/google/souper/git/trees{/sha}","statuses_url":"https://api.github.com/repos/google/souper/statuses/{sha}","languages_url":"https://api.github.com/repos/google/souper/languages","stargazers_url":"https://api.github.com/repos/google/souper/stargazers","contributors_url":"https://api.github.com/repos/google/souper/contributors","subscribers_url":"https://api.github.com/repos/google/souper/subscribers","subscription_url":"https://api.github.com/repos/google/souper/subscription","commits_url":"https://api.github.com/repos/google/souper/commits{/sha}","git_commits_url":"https://api.github.com/repos/google/souper/git/commits{/sha}","comments_url":"https://api.github.com/repos/google/souper/comments{/number}","issue_comment_url":"https://api.github.com/repos/google/souper/issues/comments/{number}","contents_url":"https://api.github.com/repos/google/souper/contents/{+path}","compare_url":"https://api.github.com/repos/google/souper/compare/{base}...{head}","merges_url":"https://api.github.com/repos/google/souper/merges","archive_url":"https://api.github.com/repos/google/souper/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/google/souper/downloads","issues_url":"https://api.github.com/repos/google/souper/issues{/number}","pulls_url":"https://api.github.com/repos/google/souper/pulls{/number}","milestones_url":"https://api.github.com/repos/google/souper/milestones{/number}","notifications_url":"https://api.github.com/repos/google/souper/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/google/souper/labels{/name}","releases_url":"https://api.github.com/repos/google/souper/releases{/id}","created_at":"2014-04-05T02:09:09Z","updated_at":"2015-02-13T04:32:32Z","pushed_at":"2015-02-11T18:09:35Z","git_url":"git://github.com/google/souper.git","ssh_url":"git@github.com:google/souper.git","clone_url":"https://github.com/google/souper.git","svn_url":"https://github.com/google/souper","homepage":"","size":1981,"stargazers_count":152,"watchers_count":152,"language":"C++","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":21,"mirror_url":null,"open_issues_count":14,"forks":21,"open_issues":14,"watchers":152,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/google/souper/pulls/175"},"html":{"href":"https://github.com/google/souper/pull/175"},"issue":{"href":"https://api.github.com/repos/google/souper/issues/175"},"comments":{"href":"https://api.github.com/repos/google/souper/issues/175/comments"},"review_comments":{"href":"https://api.github.com/repos/google/souper/pulls/175/comments"},"review_comment":{"href":"https://api.github.com/repos/google/souper/pulls/comments/{number}"},"commits":{"href":"https://api.github.com/repos/google/souper/pulls/175/commits"},"statuses":{"href":"https://api.github.com/repos/google/souper/statuses/7ccab7c0c7f5e20589f284d8db3f5006047e57c0"}}}}