{"repository":{"description":"checkedthreads: concurrent, imperative, verified. APIs, a load-balancing scheduler, and a Valgrind-based checker","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":896,"owner":"yosefk","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2012-12-20T12:58:04-08:00","pushed_at":"2013-02-17T14:22:19-08:00","master_branch":"master"},"actor_attributes":{"name":"Yossi Kreinin","blog":"http://yosefk.com","email":"2a00c41cbb6b26cbbb4888a1296a86cd5b799187@gmail.com","type":"User"},"url":"https://github.com/yosefk/checkedthreads/compare/dd21aab25a...b524d1a964"}