{"push_id":758093322,"size":2,"distinct_size":2,"ref":"refs/heads/unstable","head":"90f251f332fe2faa7971876be8780c4d75169cff","before":"b347bdd294176b1eaae8cff741c7e9657acd3a6d","commits":[{"sha":"49c277a1e50c8f55157e5eb0a6e133388077d720","author":{"email":"496e36fc377a5ee9f009e69216474bb2ebeb2176@it.uu.se","name":"Aleksandar Zeljic"},"message":"Translating the core","distinct":true,"url":"https://api.github.com/repos/AleksandarZeljic/z3/commits/49c277a1e50c8f55157e5eb0a6e133388077d720"},{"sha":"90f251f332fe2faa7971876be8780c4d75169cff","author":{"email":"496e36fc377a5ee9f009e69216474bb2ebeb2176@it.uu.se","name":"Aleksandar Zeljic"},"message":"Naive precision increase of all constants occurring in the unsat core.","distinct":true,"url":"https://api.github.com/repos/AleksandarZeljic/z3/commits/90f251f332fe2faa7971876be8780c4d75169cff"}]}