{"push_id":1124749876,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"a220eb3c720a5fccfefd252ce17475099b2dbff3","before":"72ebbd95db7a10441fc598f0243832d825888648","commits":[{"sha":"69571df16ff35c055adeb59a0da318b4057d8bb3","author":{"email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de","name":"Matthias"},"message":"partition states for minimization","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/69571df16ff35c055adeb59a0da318b4057d8bb3"},{"sha":"a220eb3c720a5fccfefd252ce17475099b2dbff3","author":{"email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de","name":"Matthias"},"message":"preliminary version of new MAX-SAT-based minimization","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/a220eb3c720a5fccfefd252ce17475099b2dbff3"}]}
{"actor":{"display_login":"Heizmann"}}