{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/196","repository_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/196/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/196/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/196/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/196","id":132321875,"number":196,"title":"Nonlinear","user":{"login":"nikivazou","id":714933,"avatar_url":"https://avatars.githubusercontent.com/u/714933?v=3","gravatar_id":"","url":"https://api.github.com/users/nikivazou","html_url":"https://github.com/nikivazou","followers_url":"https://api.github.com/users/nikivazou/followers","following_url":"https://api.github.com/users/nikivazou/following{/other_user}","gists_url":"https://api.github.com/users/nikivazou/gists{/gist_id}","starred_url":"https://api.github.com/users/nikivazou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikivazou/subscriptions","organizations_url":"https://api.github.com/users/nikivazou/orgs","repos_url":"https://api.github.com/users/nikivazou/repos","events_url":"https://api.github.com/users/nikivazou/events{/privacy}","received_events_url":"https://api.github.com/users/nikivazou/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2016-02-09T03:24:03Z","updated_at":"2016-02-09T03:36:49Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/pulls/196","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/196","diff_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/196.diff","patch_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/196.patch"},"body":"Make interpreted mul and div the default behavior "},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/comments/181691116","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/196#issuecomment-181691116","issue_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/196","id":181691116,"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":"2016-02-09T03:36:49Z","updated_at":"2016-02-09T03:36:49Z","body":"But we shouldn't bet about the solvers we list in the README as supported, we should test! And even if they support interpreted mul and div, but produce sub-optimal results (e.g. timing out or returning \"unknown\") we should perhaps use the uninterpreted versions."}}