{"push_id":881936626,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7bf06cd86d728ab0d47c0ac4ef50a7883bbdd6d8","before":"d9b0b10b2994288904d11b9d4bde4e2f86222260","commits":[{"sha":"7bf06cd86d728ab0d47c0ac4ef50a7883bbdd6d8","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Fixed memory error in ICEModule","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/7bf06cd86d728ab0d47c0ac4ef50a7883bbdd6d8"}]}