{"action":"created","issue":{"url":"https://api.github.com/repos/klee/klee/issues/669","repository_url":"https://api.github.com/repos/klee/klee","labels_url":"https://api.github.com/repos/klee/klee/issues/669/labels{/name}","comments_url":"https://api.github.com/repos/klee/klee/issues/669/comments","events_url":"https://api.github.com/repos/klee/klee/issues/669/events","html_url":"https://github.com/klee/klee/pull/669","id":234183206,"number":669,"title":"llvm: make KLEE compile against LLVM 3.7","user":{"login":"jirislaby","id":530775,"avatar_url":"https://avatars0.githubusercontent.com/u/530775?v=4","gravatar_id":"","url":"https://api.github.com/users/jirislaby","html_url":"https://github.com/jirislaby","followers_url":"https://api.github.com/users/jirislaby/followers","following_url":"https://api.github.com/users/jirislaby/following{/other_user}","gists_url":"https://api.github.com/users/jirislaby/gists{/gist_id}","starred_url":"https://api.github.com/users/jirislaby/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jirislaby/subscriptions","organizations_url":"https://api.github.com/users/jirislaby/orgs","repos_url":"https://api.github.com/users/jirislaby/repos","events_url":"https://api.github.com/users/jirislaby/events{/privacy}","received_events_url":"https://api.github.com/users/jirislaby/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2017-06-07T11:51:59Z","updated_at":"2017-07-20T07:19:57Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/klee/klee/pulls/669","html_url":"https://github.com/klee/klee/pull/669","diff_url":"https://github.com/klee/klee/pull/669.diff","patch_url":"https://github.com/klee/klee/pull/669.patch"},"body":"There are not that many changes in 3.7, so this should be quite easy to review.\r\n\r\nThere is no llvm 3.7 in travis to enable builds for. This 3.7 code is used by my llvm_38 port where I also enable build with llvm 3.8."},"comment":{"url":"https://api.github.com/repos/klee/klee/issues/comments/316618878","html_url":"https://github.com/klee/klee/pull/669#issuecomment-316618878","issue_url":"https://api.github.com/repos/klee/klee/issues/669","id":316618878,"user":{"login":"andreamattavelli","id":5530090,"avatar_url":"https://avatars0.githubusercontent.com/u/5530090?v=4","gravatar_id":"","url":"https://api.github.com/users/andreamattavelli","html_url":"https://github.com/andreamattavelli","followers_url":"https://api.github.com/users/andreamattavelli/followers","following_url":"https://api.github.com/users/andreamattavelli/following{/other_user}","gists_url":"https://api.github.com/users/andreamattavelli/gists{/gist_id}","starred_url":"https://api.github.com/users/andreamattavelli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreamattavelli/subscriptions","organizations_url":"https://api.github.com/users/andreamattavelli/orgs","repos_url":"https://api.github.com/users/andreamattavelli/repos","events_url":"https://api.github.com/users/andreamattavelli/events{/privacy}","received_events_url":"https://api.github.com/users/andreamattavelli/received_events","type":"User","site_admin":false},"created_at":"2017-07-20T07:19:57Z","updated_at":"2017-07-20T07:19:57Z","body":"@jirislaby compilations fails on LLVM 3.7 with the following error:\r\n\r\n```bash\r\n/tmp/klee/lib/Module/ModuleUtil.cpp: In function 'llvm::Module* klee::linkWithLibrary(llvm::Module*, const string&)':\r\n/tmp/klee/lib/Module/ModuleUtil.cpp:467:12: error: cannot convert 'std::remove_reference<std::unique_ptr<llvm::Module> >::type {aka std::unique_ptr<llvm::Module>}' to 'llvm::Module*' in assignment\r\n     Result = ResultErr.get();\r\n            ^\r\n```"}}
{"actor":{"display_login":"andreamattavelli"}}