{"repository":{"description":"A trace language for using SMT solvers to verify executions of message passing programs.","homepage":"","watchers":2,"stargazers":2,"forks":1,"fork":false,"size":448,"owner":"ericmercer","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Racket","created_at":"2011-10-06T10:12:01-07:00","pushed_at":"2013-05-10T06:45:44-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Jay McCarthy","company":"PLT @ Brigham Young University","blog":"http://jeapostrophe.github.com","location":"Provo, UT","email":"841e8c80d94ad0b5bab23d62eddf5e762e7123d0@gmail.com"},"url":"https://github.com/ericmercer/MP-trace-language/compare/e71634c69d...187a770381"}