{"action":"published","release":{"url":"https://api.github.com/repos/kframework/cink-semantics/releases/1127637","assets_url":"https://api.github.com/repos/kframework/cink-semantics/releases/1127637/assets","upload_url":"https://uploads.github.com/repos/kframework/cink-semantics/releases/1127637/assets{?name}","html_url":"https://github.com/kframework/cink-semantics/releases/tag/v1.0","id":1127637,"tag_name":"v1.0","target_commitish":"master","name":"Version 1.0 of Cink","draft":false,"author":{"login":"dlucanu","id":5105367,"avatar_url":"https://avatars.githubusercontent.com/u/5105367?v=3","gravatar_id":"","url":"https://api.github.com/users/dlucanu","html_url":"https://github.com/dlucanu","followers_url":"https://api.github.com/users/dlucanu/followers","following_url":"https://api.github.com/users/dlucanu/following{/other_user}","gists_url":"https://api.github.com/users/dlucanu/gists{/gist_id}","starred_url":"https://api.github.com/users/dlucanu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dlucanu/subscriptions","organizations_url":"https://api.github.com/users/dlucanu/orgs","repos_url":"https://api.github.com/users/dlucanu/repos","events_url":"https://api.github.com/users/dlucanu/events{/privacy}","received_events_url":"https://api.github.com/users/dlucanu/received_events","type":"User","site_admin":false},"prerelease":true,"created_at":"2015-04-05T18:28:45Z","published_at":"2015-04-05T18:47:57Z","assets":[],"tarball_url":"https://api.github.com/repos/kframework/cink-semantics/tarball/v1.0","zipball_url":"https://api.github.com/repos/kframework/cink-semantics/zipball/v1.0","body":"This version of Cink works with Version 3.4 of the K Semantic Framework and corresponds to the description given in the Technical Report TR12-03 (2012) (http://thor.info.uaic.ro/~tr/tr.pl.cgi).\r\n\r\nThe definition of Cink will be completely refatored, in order to make it closer to C++ manual.\r\n"}}