{"push_id":632668275,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"84bd74b80981aa062eb55b7bb3359fd82ea3170c","before":"815d62a94d2fe9751b2e9b1ce0d2a48637f1d536","commits":[{"sha":"9cdfce357cb80ac37e69c1b671c2227e6d556910","author":{"email":"485aef14e123fc36449079998664601e153c5ac6@gmx.at","name":"Markus Triska"},"message":"initial revision; merge strings found via abstract interpretation","distinct":true,"url":"https://api.github.com/repos/triska/rits/commits/9cdfce357cb80ac37e69c1b671c2227e6d556910"},{"sha":"a0c2233c83d27c4107433ff3b39f3c5b63af1cf3","author":{"email":"485aef14e123fc36449079998664601e153c5ac6@gmx.at","name":"Markus Triska"},"message":"more direct encoding in abstract/1","distinct":true,"url":"https://api.github.com/repos/triska/rits/commits/a0c2233c83d27c4107433ff3b39f3c5b63af1cf3"},{"sha":"84bd74b80981aa062eb55b7bb3359fd82ea3170c","author":{"email":"485aef14e123fc36449079998664601e153c5ac6@gmx.at","name":"Markus Triska"},"message":"new phrase found via abstract interpretation of rits_common_multiple.pl","distinct":true,"url":"https://api.github.com/repos/triska/rits/commits/84bd74b80981aa062eb55b7bb3359fd82ea3170c"}]}