{"action":"opened","issue":{"url":"https://api.github.com/repos/frenetic-lang/frenetic/issues/462","labels_url":"https://api.github.com/repos/frenetic-lang/frenetic/issues/462/labels{/name}","comments_url":"https://api.github.com/repos/frenetic-lang/frenetic/issues/462/comments","events_url":"https://api.github.com/repos/frenetic-lang/frenetic/issues/462/events","html_url":"https://github.com/frenetic-lang/frenetic/issues/462","id":122518680,"number":462,"title":"Mod's Not Implemented on Packet Out through JSON","user":{"login":"craig-riecke","id":542931,"avatar_url":"https://avatars.githubusercontent.com/u/542931?v=3","gravatar_id":"","url":"https://api.github.com/users/craig-riecke","html_url":"https://github.com/craig-riecke","followers_url":"https://api.github.com/users/craig-riecke/followers","following_url":"https://api.github.com/users/craig-riecke/following{/other_user}","gists_url":"https://api.github.com/users/craig-riecke/gists{/gist_id}","starred_url":"https://api.github.com/users/craig-riecke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/craig-riecke/subscriptions","organizations_url":"https://api.github.com/users/craig-riecke/orgs","repos_url":"https://api.github.com/users/craig-riecke/repos","events_url":"https://api.github.com/users/craig-riecke/events{/privacy}","received_events_url":"https://api.github.com/users/craig-riecke/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-12-16T14:43:26Z","updated_at":"2015-12-16T14:43:26Z","closed_at":null,"body":"The following packet out message:\r\n\r\n```\r\n{\"switch\": 95073481681482, \r\n   \"actions\": [\r\n      {\"header\": \"ip4src\", \"type\": \"mod\", \"value\": {\"mask\": 32, \"addr\": \"192.168.156.100\"}}, \r\n... <snip> ...\r\n```\r\n\r\nthrows an exception because mod is not yet implemented in Frenetic_NetKat_SDN_Json.  I think all the underlying OpenFlow support for this action is there, so it's just a question of translating it from Json.  If that's naive, lemme know.  "}}