{"repository":{"description":"Draws an execution tree corresponding to the symbolic execution of a subset of the language described in the paper \"Symbolic Execution and Program Testing\" by James C. King.","watchers":1,"stargazers":1,"forks":1,"fork":false,"size":144,"owner":"alextoughg","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Racket","created_at":"2013-03-08T10:08:11-08:00","pushed_at":"2013-03-08T10:27:26-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"choi minjun","company":"Igloosec","blog":"idkwim.tistory.com","location":"south korea","email":"875521e096192f2fa62ac9818b481a58951a7446@gmail.com"},"url":"https://github.com/idkwim/symbolic-execution-tracer"}