{"action":"created","issue":{"url":"https://api.github.com/repos/klee/klee.github.io/issues/28","repository_url":"https://api.github.com/repos/klee/klee.github.io","labels_url":"https://api.github.com/repos/klee/klee.github.io/issues/28/labels{/name}","comments_url":"https://api.github.com/repos/klee/klee.github.io/issues/28/comments","events_url":"https://api.github.com/repos/klee/klee.github.io/issues/28/events","html_url":"https://github.com/klee/klee.github.io/issues/28","id":154848682,"number":28,"title":"Update LLVM 2.9 documentation to install newer version of STP","user":{"login":"andreamattavelli","id":5530090,"avatar_url":"https://avatars.githubusercontent.com/u/5530090?v=3","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},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2016-05-14T11:28:00Z","updated_at":"2016-05-31T18:02:37Z","closed_at":"2016-05-31T18:02:37Z","body":"The current documentation suggests to install STP 2.1.0 for compiling KLEE on LLVM 2.9. For LLVM 3.4, instead, the documentation suggests to use the STP version from the master branch on git (currently 2.1.2).\r\nIs there any reason for this? That is, is there any known bug for KLEE on LLVM 2.9 and STP 2.1.2?\r\nI'm asking this because I've observed that STP 2.1.2 has better performances."},"comment":{"url":"https://api.github.com/repos/klee/klee.github.io/issues/comments/222770093","html_url":"https://github.com/klee/klee.github.io/issues/28#issuecomment-222770093","issue_url":"https://api.github.com/repos/klee/klee.github.io/issues/28","id":222770093,"user":{"login":"andreamattavelli","id":5530090,"avatar_url":"https://avatars.githubusercontent.com/u/5530090?v=3","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":"2016-05-31T18:02:37Z","updated_at":"2016-05-31T18:02:37Z","body":"Closing, since we modified the web page."}}
{"actor":{"display_login":"andreamattavelli"}}