{"push_id":1124833740,"size":3,"distinct_size":3,"ref":"refs/heads/lev","head":"1ff6b31df1789f77ea8967c97fa9dc674fd402c8","before":"9fccddc8a13c666c6fae2f11538a7ea43f45a377","commits":[{"sha":"5ca0965f42d8ac40a4ebdf8679f1c1214d7c222d","author":{"email":"547e21cf4741e0be725f19d6dc4faaf8564c91d1@hotmail.com","name":"Lev Nachmanson"},"message":"Merge pull request #8 from NikolajBjorner/lev\n\nadd missing equality propagation between theories","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/5ca0965f42d8ac40a4ebdf8679f1c1214d7c222d"},{"sha":"b0a8365efd0ca280a7236e4e386da6ad8f67eb1c","author":{"email":"547e21cf4741e0be725f19d6dc4faaf8564c91d1@hotmail.com","name":"Lev Nachmanson"},"message":"Merge pull request #9 from NikolajBjorner/lev\n\nLev","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/b0a8365efd0ca280a7236e4e386da6ad8f67eb1c"},{"sha":"1ff6b31df1789f77ea8967c97fa9dc674fd402c8","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'master' of https://github.com/levnach/z3 into lev","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/1ff6b31df1789f77ea8967c97fa9dc674fd402c8"}]}
{"actor":{"display_login":"NikolajBjorner"}}