{"push_id":1025306772,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"54ce3c38187094ef5f3438bcaf74bb965ef9474c","before":"32aa7552ac0c2426260cb5807bebd994fbabf104","commits":[{"sha":"2dee387e43c8d57f7b6f9b291260d8f6dda42bd0","author":{"email":"1f533301c4b0239acd414771ba3695eff0958668@kit.edu","name":"Denis Lohner"},"message":"add measure.py again","distinct":true,"url":"https://api.github.com/repos/lohner/FormalSSA/commits/2dee387e43c8d57f7b6f9b291260d8f6dda42bd0"},{"sha":"ba812f57b012d200b5c65a503f341e4f122fabd1","author":{"email":"1f533301c4b0239acd414771ba3695eff0958668@kit.edu","name":"Denis Lohner"},"message":"clearer way to compute filenames of what should be cached","distinct":true,"url":"https://api.github.com/repos/lohner/FormalSSA/commits/ba812f57b012d200b5c65a503f341e4f122fabd1"},{"sha":"366967fc16436a9babda660b5c51bcc59500008e","author":{"email":"1f533301c4b0239acd414771ba3695eff0958668@kit.edu","name":"Denis Lohner"},"message":"Only produce a grand total for spass","distinct":true,"url":"https://api.github.com/repos/lohner/FormalSSA/commits/366967fc16436a9babda660b5c51bcc59500008e"},{"sha":"54ce3c38187094ef5f3438bcaf74bb965ef9474c","author":{"email":"1f533301c4b0239acd414771ba3695eff0958668@kit.edu","name":"Denis Lohner"},"message":"add gcc-multilib to dependencies","distinct":true,"url":"https://api.github.com/repos/lohner/FormalSSA/commits/54ce3c38187094ef5f3438bcaf74bb965ef9474c"}]}