{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/15","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/15/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/15/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/15/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/15","id":123543896,"number":15,"title":"[CLOSED] Smtlib: Use smtlib2 and pipe-based communication instead of linking directly with Z3","user":{"login":"gridaphobe","id":201997,"avatar_url":"https://avatars.githubusercontent.com/u/201997?v=3","gravatar_id":"","url":"https://api.github.com/users/gridaphobe","html_url":"https://github.com/gridaphobe","followers_url":"https://api.github.com/users/gridaphobe/followers","following_url":"https://api.github.com/users/gridaphobe/following{/other_user}","gists_url":"https://api.github.com/users/gridaphobe/gists{/gist_id}","starred_url":"https://api.github.com/users/gridaphobe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gridaphobe/subscriptions","organizations_url":"https://api.github.com/users/gridaphobe/orgs","repos_url":"https://api.github.com/users/gridaphobe/repos","events_url":"https://api.github.com/users/gridaphobe/events{/privacy}","received_events_url":"https://api.github.com/users/gridaphobe/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-12-22T19:42:00Z","updated_at":"2015-12-22T19:42:01Z","closed_at":null,"body":"<a href=\"https://github.com/ranjitjhala\"><img src=\"https://avatars.githubusercontent.com/u/1650232?v=3\" align=\"left\" width=\"96\" height=\"96\" hspace=\"10\"></img></a> **Issue by [ranjitjhala](https://github.com/ranjitjhala)**\n_Friday Jul 19, 2013 at 23:17 GMT_\n_Originally opened as https://github.com/ucsd-progsys/liquid-fixpoint-ocaml/pull/15_\n\n----\n\nthis is a co-request of ucsd-progsys/liquidhaskell#94\n\n----\n\n_**[ranjitjhala](https://github.com/ranjitjhala)** included the following code: https://github.com/ucsd-progsys/liquid-fixpoint-ocaml/pull/15/commits_\n"},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/comments/166712472","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/15#issuecomment-166712472","issue_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/15","id":166712472,"user":{"login":"gridaphobe","id":201997,"avatar_url":"https://avatars.githubusercontent.com/u/201997?v=3","gravatar_id":"","url":"https://api.github.com/users/gridaphobe","html_url":"https://github.com/gridaphobe","followers_url":"https://api.github.com/users/gridaphobe/followers","following_url":"https://api.github.com/users/gridaphobe/following{/other_user}","gists_url":"https://api.github.com/users/gridaphobe/gists{/gist_id}","starred_url":"https://api.github.com/users/gridaphobe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gridaphobe/subscriptions","organizations_url":"https://api.github.com/users/gridaphobe/orgs","repos_url":"https://api.github.com/users/gridaphobe/repos","events_url":"https://api.github.com/users/gridaphobe/events{/privacy}","received_events_url":"https://api.github.com/users/gridaphobe/received_events","type":"User","site_admin":false},"created_at":"2015-12-22T19:42:01Z","updated_at":"2015-12-22T19:42:01Z","body":"<a href=\"https://github.com/ranjitjhala\"><img src=\"https://avatars.githubusercontent.com/u/1650232?v=3\" align=\"left\" width=\"48\" height=\"48\" hspace=\"10\"></img></a> **Comment by [ranjitjhala](https://github.com/ranjitjhala)**\n_Friday Jul 19, 2013 at 23:37 GMT_\n\n----\n\nThis is a co-request of ucsd-progsys/liquidhaskell#94\n"}}