{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/311","repository_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/311/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/311/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/311/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/311","id":225930334,"number":311,"title":"Parsing and printing AxiomEnv","user":{"login":"atondwal","id":343048,"avatar_url":"https://avatars3.githubusercontent.com/u/343048?v=3","gravatar_id":"","url":"https://api.github.com/users/atondwal","html_url":"https://github.com/atondwal","followers_url":"https://api.github.com/users/atondwal/followers","following_url":"https://api.github.com/users/atondwal/following{/other_user}","gists_url":"https://api.github.com/users/atondwal/gists{/gist_id}","starred_url":"https://api.github.com/users/atondwal/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/atondwal/subscriptions","organizations_url":"https://api.github.com/users/atondwal/orgs","repos_url":"https://api.github.com/users/atondwal/repos","events_url":"https://api.github.com/users/atondwal/events{/privacy}","received_events_url":"https://api.github.com/users/atondwal/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-05-03T09:37:08Z","updated_at":"2017-05-03T09:40:14Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/pulls/311","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/311","diff_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/311.diff","patch_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/311.patch"},"body":"This adds support for instantiation from plaintext fq files."},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/comments/298865381","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/311#issuecomment-298865381","issue_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/311","id":298865381,"user":{"login":"ranjitjhala","id":1650232,"avatar_url":"https://avatars3.githubusercontent.com/u/1650232?v=3","gravatar_id":"","url":"https://api.github.com/users/ranjitjhala","html_url":"https://github.com/ranjitjhala","followers_url":"https://api.github.com/users/ranjitjhala/followers","following_url":"https://api.github.com/users/ranjitjhala/following{/other_user}","gists_url":"https://api.github.com/users/ranjitjhala/gists{/gist_id}","starred_url":"https://api.github.com/users/ranjitjhala/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ranjitjhala/subscriptions","organizations_url":"https://api.github.com/users/ranjitjhala/orgs","repos_url":"https://api.github.com/users/ranjitjhala/repos","events_url":"https://api.github.com/users/ranjitjhala/events{/privacy}","received_events_url":"https://api.github.com/users/ranjitjhala/received_events","type":"User","site_admin":false},"created_at":"2017-05-03T09:40:13Z","updated_at":"2017-05-03T09:40:13Z","body":"​Nice! Is there an example .fq file that shows what the format is?\n\nor is this still WIP? ​\n\nalso, what is this FUEL?\n\n\nOn Wed, May 3, 2017 at 3:07 PM, Anish Tondwalkar <notifications@github.com>\nwrote:\n\n> This adds support for instantiation from plaintext fq files.\n> ------------------------------\n> You can view, comment on, or merge this pull request online at:\n>\n>   https://github.com/ucsd-progsys/liquid-fixpoint/pull/311\n> Commit Summary\n>\n>    - Take number of symbols for fuel instead of list\n>    - Added Printing and Parsing for AxiomEnv\n>\n> File Changes\n>\n>    - *M* src/Language/Fixpoint/Parse.hs\n>    <https://github.com/ucsd-progsys/liquid-fixpoint/pull/311/files#diff-0>\n>    (35)\n>    - *M* src/Language/Fixpoint/Solver/Instantiate.hs\n>    <https://github.com/ucsd-progsys/liquid-fixpoint/pull/311/files#diff-1>\n>    (3)\n>    - *M* src/Language/Fixpoint/Types/Constraints.hs\n>    <https://github.com/ucsd-progsys/liquid-fixpoint/pull/311/files#diff-2>\n>    (26)\n>\n> Patch Links:\n>\n>    - https://github.com/ucsd-progsys/liquid-fixpoint/pull/311.patch\n>    - https://github.com/ucsd-progsys/liquid-fixpoint/pull/311.diff\n>\n> —\n> You are receiving this because you are subscribed to this thread.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/ucsd-progsys/liquid-fixpoint/pull/311>, or mute the\n> thread\n> <https://github.com/notifications/unsubscribe-auth/ABkuOEAsFUru6657_R7IccuxCMyyY1Voks5r2ErEgaJpZM4NPKNg>\n> .\n>\n"}}
{"actor":{"display_login":"ranjitjhala"}}