{"repository":{"description":"STM32F4 hardware support for SMACCMPilot on the PX4FMU","watchers":0,"stargazers":0,"forks":1,"fork":false,"size":348,"owner":"GaloisInc","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2012-12-18T14:12:52-08:00","pushed_at":"2013-02-20T19:13:55-08:00","master_branch":"master","organization":"GaloisInc"},"actor_attributes":{"name":"Lee Pike","company":"Galois, Inc.","blog":"http://www.cs.indiana.edu/~lepike/","location":"Portland, Oregon, USA","email":"7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","type":"User"},"url":"https://github.com/GaloisInc/smaccmpilot-stm32f4/compare/cbmc"}