{"action":"created","issue":{"url":"https://api.github.com/repos/google/souper/issues/175","labels_url":"https://api.github.com/repos/google/souper/issues/175/labels{/name}","comments_url":"https://api.github.com/repos/google/souper/issues/175/comments","events_url":"https://api.github.com/repos/google/souper/issues/175/events","html_url":"https://github.com/google/souper/pull/175","id":57683109,"number":175,"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},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":17,"created_at":"2015-02-14T06:15:34Z","updated_at":"2015-02-18T08:48:36Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/google/souper/pulls/175","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"},"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).   "},"comment":{"url":"https://api.github.com/repos/google/souper/issues/comments/74830899","html_url":"https://github.com/google/souper/pull/175#issuecomment-74830899","issue_url":"https://api.github.com/repos/google/souper/issues/175","id":74830899,"user":{"login":"chenyang78","id":757430,"avatar_url":"https://avatars.githubusercontent.com/u/757430?v=3","gravatar_id":"","url":"https://api.github.com/users/chenyang78","html_url":"https://github.com/chenyang78","followers_url":"https://api.github.com/users/chenyang78/followers","following_url":"https://api.github.com/users/chenyang78/following{/other_user}","gists_url":"https://api.github.com/users/chenyang78/gists{/gist_id}","starred_url":"https://api.github.com/users/chenyang78/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chenyang78/subscriptions","organizations_url":"https://api.github.com/users/chenyang78/orgs","repos_url":"https://api.github.com/users/chenyang78/repos","events_url":"https://api.github.com/users/chenyang78/events{/privacy}","received_events_url":"https://api.github.com/users/chenyang78/received_events","type":"User","site_admin":false},"created_at":"2015-02-18T08:48:36Z","updated_at":"2015-02-18T08:48:36Z","body":"I don't have any concern at the moment. Again, thanks for putting this together, Raimondas and John. "}}