{"repository":{"description":"This is a fork of the goblint static analysis framework, used for experiments on localization. ","homepage":"http://goblint.in.tum.de","watchers":0,"stargazers":0,"forks":0,"fork":true,"size":9017,"owner":"jandom-devel","private":false,"open_issues":0,"has_issues":false,"has_downloads":true,"has_wiki":true,"language":"OCaml","created_at":"2013-07-23T03:38:07-07:00","pushed_at":"2013-07-29T06:23:08-07:00","master_branch":"master","organization":"jandom-devel"},"actor_attributes":{"type":"User","name":"Gianluca Amato","company":"Università di Chieti-Pescara","blog":"http://www.sci.unich.it/~amato","location":"Pescara, Italy","email":"26279b957d6dde1502a80425973a9be281f67ace@unich.it"},"url":"https://github.com/jandom-devel/goblint/compare/d034fd6537...67328f0947"}