{"push_id":822866704,"size":4,"distinct_size":4,"ref":"refs/heads/dev","head":"32a597ce7b5c22855daa7a882b4c09462cffef55","before":"f537a05ddec734c2bd8dd071297f061d893447bb","commits":[{"sha":"3f3dda8f577920415dd87f453a55def1d6499d26","author":{"email":"ac8424697f569c3783754695993bc84d5d7ff20f@informatik.uni-freiburg.de","name":"schillic"},"message":"added call- and return-related methods to factory","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/3f3dda8f577920415dd87f453a55def1d6499d26"},{"sha":"07025e3b1a887254122cd7e8eff7126e75579d1a","author":{"email":"ac8424697f569c3783754695993bc84d5d7ff20f@informatik.uni-freiburg.de","name":"schillic"},"message":"fix: internal transition shrinker did not retain call and return\ntransitions","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/07025e3b1a887254122cd7e8eff7126e75579d1a"},{"sha":"6115d52201485020c864d969235d3f6ab3c164e8","author":{"email":"ac8424697f569c3783754695993bc84d5d7ff20f@informatik.uni-freiburg.de","name":"schillic"},"message":"added call transition shrinker","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/6115d52201485020c864d969235d3f6ab3c164e8"},{"sha":"32a597ce7b5c22855daa7a882b4c09462cffef55","author":{"email":"ac8424697f569c3783754695993bc84d5d7ff20f@informatik.uni-freiburg.de","name":"schillic"},"message":"adapted example class to new shrinker","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/32a597ce7b5c22855daa7a882b4c09462cffef55"}]}