{"push_id":1110783237,"size":2,"distinct_size":0,"ref":"refs/heads/wip/jh","head":"ce61b8d1f262c327a89f04cc378e213a7307dbd1","before":"ae0318c8f1c10eb5d6ca25637e98eed851016125","commits":[{"sha":"7988ea6823f0888cca5c04738683d126994e94fe","author":{"email":"b98859c5d6258e43c8cc1ed9bc4d3d5af94dcbf9@manuka.informatik.uni-freiburg.de","name":"Tanja Schindler"},"message":"Changed the interpolator to work in a non-recursive way","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/smtinterpol/commits/7988ea6823f0888cca5c04738683d126994e94fe"},{"sha":"ce61b8d1f262c327a89f04cc378e213a7307dbd1","author":{"email":"1d37a9015d0a445f35e763ea28b52c627d2c1a8b@gmail.com","name":"Jochen Hoenicke"},"message":"Merge branch 'wip/ts'\n\nNew non-recursive implementation of Interpolator","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/smtinterpol/commits/ce61b8d1f262c327a89f04cc378e213a7307dbd1"}]}