{"repository":{"owner":"phulin","created_at":"2013-01-06T07:10:05-08:00","pushed_at":"2013-01-07T09:36:05-08:00","description":"Symbolic execution of LLVM IR traces for program understanding.","watchers":0,"forks":0,"open_issues":0,"has_downloads":true,"stargazers":0,"fork":false,"size":160,"has_issues":true,"language":"Haskell","private":false,"has_wiki":true},"actor_attributes":{"email":"8706ef9c5b4b2928544bacce0ea5badb01916ccc@gmail.com","type":"User","name":"Patrick Hulin"},"url":"https://github.com/phulin/symbolic-trace/compare/f28b089603...417d15f53f"}