{"repository":{"description":"part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling","homepage":"","watchers":3,"stargazers":3,"forks":1,"fork":false,"size":2188,"owner":"openETCS","private":false,"open_issues":8,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2012-12-14T06:54:15-08:00","pushed_at":"2013-04-10T08:50:48-07:00","master_branch":"master","organization":"openETCS"},"actor_attributes":{"type":"User","name":"Matthias Güdemann","company":"Systerel","email":"213b8073171721bf6f0b4e0bba825f2cf2015eff@systerel.fr"},"url":"https://github.com/openETCS/model-evaluation/compare/f7bdc0cfdf...eb302ed4c7"}