{"push_id":839731256,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"3f19a46cc15a54ab65382e1cdbefa9ff6ed7d11a","before":"404eab5e45381a8c2dbfebd194977748b05bf42d","commits":[{"sha":"3f19a46cc15a54ab65382e1cdbefa9ff6ed7d11a","author":{"email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de","name":"Matthias Heizmann"},"message":"bugfixes MemoryHandler and bitvector","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/3f19a46cc15a54ab65382e1cdbefa9ff6ed7d11a"}]}