{"action":"created","issue":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/50","labels_url":"https://api.github.com/repos/AbsInt/CompCert/issues/50/labels{/name}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/issues/50/comments","events_url":"https://api.github.com/repos/AbsInt/CompCert/issues/50/events","html_url":"https://github.com/AbsInt/CompCert/issues/50","id":101418883,"number":50,"title":"Old documentation?","user":{"login":"alxest","id":11265026,"avatar_url":"https://avatars.githubusercontent.com/u/11265026?v=3","gravatar_id":"","url":"https://api.github.com/users/alxest","html_url":"https://github.com/alxest","followers_url":"https://api.github.com/users/alxest/followers","following_url":"https://api.github.com/users/alxest/following{/other_user}","gists_url":"https://api.github.com/users/alxest/gists{/gist_id}","starred_url":"https://api.github.com/users/alxest/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alxest/subscriptions","organizations_url":"https://api.github.com/users/alxest/orgs","repos_url":"https://api.github.com/users/alxest/repos","events_url":"https://api.github.com/users/alxest/events{/privacy}","received_events_url":"https://api.github.com/users/alxest/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-08-17T13:17:45Z","updated_at":"2015-08-19T16:34:18Z","closed_at":null,"body":"In https://github.com/AbsInt/CompCert/blob/master/backend/RTL.v#L110, it mentions [fn_code_wf], and [fn_nextpc]. However, I cannot find [fn_code_wf]'s definition or usage. (I've greped whole repository)"},"comment":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/comments/132687373","html_url":"https://github.com/AbsInt/CompCert/issues/50#issuecomment-132687373","issue_url":"https://api.github.com/repos/AbsInt/CompCert/issues/50","id":132687373,"user":{"login":"xavierleroy","id":3845810,"avatar_url":"https://avatars.githubusercontent.com/u/3845810?v=3","gravatar_id":"","url":"https://api.github.com/users/xavierleroy","html_url":"https://github.com/xavierleroy","followers_url":"https://api.github.com/users/xavierleroy/followers","following_url":"https://api.github.com/users/xavierleroy/following{/other_user}","gists_url":"https://api.github.com/users/xavierleroy/gists{/gist_id}","starred_url":"https://api.github.com/users/xavierleroy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xavierleroy/subscriptions","organizations_url":"https://api.github.com/users/xavierleroy/orgs","repos_url":"https://api.github.com/users/xavierleroy/repos","events_url":"https://api.github.com/users/xavierleroy/events{/privacy}","received_events_url":"https://api.github.com/users/xavierleroy/received_events","type":"User","site_admin":false},"created_at":"2015-08-19T16:34:18Z","updated_at":"2015-08-19T16:34:18Z","body":"You're correct, the comment is outdated.  Will fix it soon.  Thanks for the report.\r\n"}}