{"push_id":967065524,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"d18e0955adc3d74d59de745aebc4b82f08c5fabc","before":"15f87a62ca4ecda1315d6b1baf618bf5ae3ca4c6","commits":[{"sha":"d18e0955adc3d74d59de745aebc4b82f08c5fabc","author":{"email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de","name":"Matthias Heizmann"},"message":"more operations on bitvector constants","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/d18e0955adc3d74d59de745aebc4b82f08c5fabc"}]}