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