{"push_id":613249834,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4d05aebc3c3613a5e08f97e5ac320bad6bee1872","before":"2d7f10c873f71b1d829ac4081cd2feb4a270a60c","commits":[{"sha":"4d05aebc3c3613a5e08f97e5ac320bad6bee1872","author":{"email":"b425f56fe186375ea60afe1b9da4fccd1cb52afc@cs.rwth-aachen.de","name":"Florian Corzilius"},"message":"freed constraint and formula on content being nullptr","distinct":true,"url":"https://api.github.com/repos/nafur/carl/commits/4d05aebc3c3613a5e08f97e5ac320bad6bee1872"}]}