{"action":"created","issue":{"url":"https://api.github.com/repos/spechub/Hets/issues/1489","labels_url":"https://api.github.com/repos/spechub/Hets/issues/1489/labels{/name}","comments_url":"https://api.github.com/repos/spechub/Hets/issues/1489/comments","events_url":"https://api.github.com/repos/spechub/Hets/issues/1489/events","html_url":"https://github.com/spechub/Hets/pull/1489","id":69522248,"number":1489,"title":"1488 put json keys in snake case","user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2015-04-20T06:59:25Z","updated_at":"2015-04-21T11:52:37Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/spechub/Hets/pulls/1489","html_url":"https://github.com/spechub/Hets/pull/1489","diff_url":"https://github.com/spechub/Hets/pull/1489.diff","patch_url":"https://github.com/spechub/Hets/pull/1489.patch"},"body":"This shall fix #1488.\r\n\r\nTruncated example output:\r\n\r\n```json\r\n❯ http --json http://localhost:8000/prove/http%3A%2F%2Fstaging.ontohub.org%2Fsandbox%2FSimple_Implications/auto axioms:='[\"leftunit\"]' theorems:='[\"Group\"]' format=json\r\nHTTP/1.1 200 OK\r\nContent-Type: application/json\r\nDate: Mon, 20 Apr 2015 06:57:50 GMT\r\nServer: Warp/3.0.11\r\nTransfer-Encoding: chunked\r\n\r\n[\r\n    {\r\n        \"goals\": [\r\n            {\r\n                \"details\": \"\",\r\n                \"name\": \"rightunit\",\r\n                \"proof_tree\": \"\",\r\n                \"prover_output\": \"...\",\r\n                \"result\": \"Disproved\",\r\n                \"tactic_script\": {\r\n                    \"extra_options\": [\r\n                        \"-DocProof\"\r\n                    ],\r\n                    \"time_limit\": 1\r\n                },\r\n                \"used_axioms\": [],\r\n                \"used_prover\": \"SPASS\",\r\n                \"used_time\": {\r\n                    \"components\": {\r\n                        \"hours\": 0,\r\n                        \"mins\": 0,\r\n                        \"secs\": 0\r\n                    },\r\n                    \"seconds\": 0\r\n                },\r\n                \"used_translation\": \"CASL2SoftFOL\"\r\n            },\r\n            {\r\n                \"details\": \"\",\r\n                \"name\": \"zero_plus\",\r\n                \"proof_tree\": \"\",\r\n                \"prover_output\": \"...\",\r\n                \"result\": \"Proved\",\r\n                \"tactic_script\": {\r\n                    \"extra_options\": [\r\n                        \"-DocProof\"\r\n                    ],\r\n                    \"time_limit\": 1\r\n                },\r\n                \"used_axioms\": [\r\n                    \"leftunit\"\r\n                ],\r\n                \"used_prover\": \"SPASS\",\r\n                \"used_time\": {\r\n                    \"components\": {\r\n                        \"hours\": 0,\r\n                        \"mins\": 0,\r\n                        \"secs\": 0\r\n                    },\r\n                    \"seconds\": 0\r\n                },\r\n                \"used_translation\": \"CASL2SoftFOL\"\r\n            }\r\n        ],\r\n        \"node\": \"Group\"\r\n    }\r\n]\r\n```"},"comment":{"url":"https://api.github.com/repos/spechub/Hets/issues/comments/94759430","html_url":"https://github.com/spechub/Hets/pull/1489#issuecomment-94759430","issue_url":"https://api.github.com/repos/spechub/Hets/issues/1489","id":94759430,"user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"created_at":"2015-04-21T11:52:37Z","updated_at":"2015-04-21T11:52:37Z","body":"This is much clearer and I think for the current task we can rely on the input string being real camelCase, i.e. without underscores. Also, the documentation already states that it only converts camelCase to snake_case. So :+1: for this function."}}