{"action":"closed","issue":{"url":"https://api.github.com/repos/snu-sf-class/pl201602/issues/49","repository_url":"https://api.github.com/repos/snu-sf-class/pl201602","labels_url":"https://api.github.com/repos/snu-sf-class/pl201602/issues/49/labels{/name}","comments_url":"https://api.github.com/repos/snu-sf-class/pl201602/issues/49/comments","events_url":"https://api.github.com/repos/snu-sf-class/pl201602/issues/49/events","html_url":"https://github.com/snu-sf-class/pl201602/issues/49","id":191781910,"number":49,"title":"Evaluation Server Accepts \"Axiom\"","user":{"login":"iskim517","id":7296336,"avatar_url":"https://avatars.githubusercontent.com/u/7296336?v=3","gravatar_id":"","url":"https://api.github.com/users/iskim517","html_url":"https://github.com/iskim517","followers_url":"https://api.github.com/users/iskim517/followers","following_url":"https://api.github.com/users/iskim517/following{/other_user}","gists_url":"https://api.github.com/users/iskim517/gists{/gist_id}","starred_url":"https://api.github.com/users/iskim517/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/iskim517/subscriptions","organizations_url":"https://api.github.com/users/iskim517/orgs","repos_url":"https://api.github.com/users/iskim517/repos","events_url":"https://api.github.com/users/iskim517/events{/privacy}","received_events_url":"https://api.github.com/users/iskim517/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-11-26T02:17:28Z","updated_at":"2016-12-06T01:11:02Z","closed_at":"2016-12-06T01:11:02Z","body":"I tried submitting Problem 14 with following and it passed test, which should be considered FORBIDDEN.\r\n\r\n\r\nAxiom subst_equiv: forall i1 i2 a1 a2,\r\n  var_not_used_in_aexp i1 (subst_aexp i1 a1 a2) ->\r\n  cequiv (i1 ::= a1;; i2 ::= a2)\r\n         (i1 ::= a1;; i2 ::= subst_aexp i1 a1 a2).\r\n\r\n\r\nIt can be resolved with adding \"Axiom\" to the forbidden.txt file.\r\n\r\nMy student ID is 2010-11736, and that submission was at Nov. 26, 2016, 11:10 a.m. I will try to solve this with different and correct way, but I think this should be fixed."}}
{"actor":{"display_login":"iskim517"}}