{"action":"created","issue":{"url":"https://api.github.com/repos/ssvlab/dsverifier/issues/25","repository_url":"https://api.github.com/repos/ssvlab/dsverifier","labels_url":"https://api.github.com/repos/ssvlab/dsverifier/issues/25/labels{/name}","comments_url":"https://api.github.com/repos/ssvlab/dsverifier/issues/25/comments","events_url":"https://api.github.com/repos/ssvlab/dsverifier/issues/25/events","html_url":"https://github.com/ssvlab/dsverifier/issues/25","id":191306515,"number":25,"title":"include k-size in the DSVerifier command-line options","user":{"login":"lucasccordeiro","id":3694109,"avatar_url":"https://avatars2.githubusercontent.com/u/3694109?v=3","gravatar_id":"","url":"https://api.github.com/users/lucasccordeiro","html_url":"https://github.com/lucasccordeiro","followers_url":"https://api.github.com/users/lucasccordeiro/followers","following_url":"https://api.github.com/users/lucasccordeiro/following{/other_user}","gists_url":"https://api.github.com/users/lucasccordeiro/gists{/gist_id}","starred_url":"https://api.github.com/users/lucasccordeiro/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lucasccordeiro/subscriptions","organizations_url":"https://api.github.com/users/lucasccordeiro/orgs","repos_url":"https://api.github.com/users/lucasccordeiro/repos","events_url":"https://api.github.com/users/lucasccordeiro/events{/privacy}","received_events_url":"https://api.github.com/users/lucasccordeiro/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"feliperodri","id":4294522,"avatar_url":"https://avatars2.githubusercontent.com/u/4294522?v=3","gravatar_id":"","url":"https://api.github.com/users/feliperodri","html_url":"https://github.com/feliperodri","followers_url":"https://api.github.com/users/feliperodri/followers","following_url":"https://api.github.com/users/feliperodri/following{/other_user}","gists_url":"https://api.github.com/users/feliperodri/gists{/gist_id}","starred_url":"https://api.github.com/users/feliperodri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/feliperodri/subscriptions","organizations_url":"https://api.github.com/users/feliperodri/orgs","repos_url":"https://api.github.com/users/feliperodri/repos","events_url":"https://api.github.com/users/feliperodri/events{/privacy}","received_events_url":"https://api.github.com/users/feliperodri/received_events","type":"User","site_admin":false},"assignees":[{"login":"feliperodri","id":4294522,"avatar_url":"https://avatars2.githubusercontent.com/u/4294522?v=3","gravatar_id":"","url":"https://api.github.com/users/feliperodri","html_url":"https://github.com/feliperodri","followers_url":"https://api.github.com/users/feliperodri/followers","following_url":"https://api.github.com/users/feliperodri/following{/other_user}","gists_url":"https://api.github.com/users/feliperodri/gists{/gist_id}","starred_url":"https://api.github.com/users/feliperodri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/feliperodri/subscriptions","organizations_url":"https://api.github.com/users/feliperodri/orgs","repos_url":"https://api.github.com/users/feliperodri/repos","events_url":"https://api.github.com/users/feliperodri/events{/privacy}","received_events_url":"https://api.github.com/users/feliperodri/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2016-11-23T15:37:20Z","updated_at":"2017-07-05T14:00:34Z","closed_at":"2017-07-05T14:00:34Z","body":"@feliperodri: Can you please include the k-size parameter in the DSVerifier command-line options? we should also check whether the user has incorrectly set --x-size when verifying state-space systems."},"comment":{"url":"https://api.github.com/repos/ssvlab/dsverifier/issues/comments/313111582","html_url":"https://github.com/ssvlab/dsverifier/issues/25#issuecomment-313111582","issue_url":"https://api.github.com/repos/ssvlab/dsverifier/issues/25","id":313111582,"user":{"login":"lucasccordeiro","id":3694109,"avatar_url":"https://avatars2.githubusercontent.com/u/3694109?v=3","gravatar_id":"","url":"https://api.github.com/users/lucasccordeiro","html_url":"https://github.com/lucasccordeiro","followers_url":"https://api.github.com/users/lucasccordeiro/followers","following_url":"https://api.github.com/users/lucasccordeiro/following{/other_user}","gists_url":"https://api.github.com/users/lucasccordeiro/gists{/gist_id}","starred_url":"https://api.github.com/users/lucasccordeiro/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lucasccordeiro/subscriptions","organizations_url":"https://api.github.com/users/lucasccordeiro/orgs","repos_url":"https://api.github.com/users/lucasccordeiro/repos","events_url":"https://api.github.com/users/lucasccordeiro/events{/privacy}","received_events_url":"https://api.github.com/users/lucasccordeiro/received_events","type":"User","site_admin":false},"created_at":"2017-07-05T14:00:33Z","updated_at":"2017-07-05T14:00:33Z","body":"This issue is already implemented in DSVerifier (see https://github.com/ssvlab/dsverifier/blob/master/src/dsverifier.cpp#L1014)."}}
{"actor":{"display_login":"lucasccordeiro"}}