{"repository":{"description":"VATA Tree Automata Library","homepage":"http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/","watchers":3,"stargazers":3,"forks":2,"fork":false,"size":22709,"owner":"ondrik","private":false,"open_issues":6,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2011-07-14T23:29:35-07:00","pushed_at":"2013-08-20T06:10:06-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Ondra Lengál","blog":"http://www.fit.vutbr.cz/~ilengal","email":"dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com"},"url":"https://github.com/ondrik/libvata/compare/merging_martin"}