{"push_id":844495628,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"68fbb0cc35d30415457670241f7e278a04948c8a","before":"fbc4427f0c330afa51b4e7bfe3057f57cd4fa7ad","commits":[{"sha":"b9f68ef5fe7383411f888c848e6d1fbf1f3e468b","author":{"email":"6bc676bd074ea3f0d473ee5917663576873df1db@informatik.uni-freiburg.de","name":"Alexander Nutz"},"message":"c translation:\n fixed completion of incomplete union types","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/b9f68ef5fe7383411f888c848e6d1fbf1f3e468b"},{"sha":"68fbb0cc35d30415457670241f7e278a04948c8a","author":{"email":"6bc676bd074ea3f0d473ee5917663576873df1db@informatik.uni-freiburg.de","name":"Alexander Nutz"},"message":"c translation:\n added bool to int conversion for array subscripts","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/68fbb0cc35d30415457670241f7e278a04948c8a"}]}