{"push_id":669852434,"size":6,"distinct_size":6,"ref":"refs/heads/unstable","head":"f8145c8b9faa9f5da1aa76f3ff307df4c7aafc81","before":"ccc1f0221663c1a67b0d7aa62155b61d6df58020","commits":[{"sha":"33ddf0bcdfcf630c0bdb4cad3414e9dea6eb79bf","author":{"email":"cd31487b9bdcd888cb44d4d4d84a7db160a66157@microsoft.com","name":"Henning Günther"},"message":"Expose insert_if_not_there_core method in map class\n\nSigned-off-by: Henning Günther <t-hennig@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/33ddf0bcdfcf630c0bdb4cad3414e9dea6eb79bf"},{"sha":"28f6adf79e1ecfeee45c6e4eab9851f74645ba8d","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@hotmail.com","name":"Nikolaj Bjorner"},"message":"disable hybrid relations pending overhaul/deletion of product relations\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/28f6adf79e1ecfeee45c6e4eab9851f74645ba8d"},{"sha":"c876194a43e0f038f9a2403880076876ef1d1247","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@hotmail.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/c876194a43e0f038f9a2403880076876ef1d1247"},{"sha":"e915d0f67d4c61a5e1ef779716f10113f2986dd5","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge pull request #97 from hguenther/unstable\n\nExpose insert_if_not_there_core method in map class","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/e915d0f67d4c61a5e1ef779716f10113f2986dd5"},{"sha":"c377fec7a4153b6b5fffc2267cb55aef83451506","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Made fp.* comparison chainable.","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/c377fec7a4153b6b5fffc2267cb55aef83451506"},{"sha":"f8145c8b9faa9f5da1aa76f3ff307df4c7aafc81","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/f8145c8b9faa9f5da1aa76f3ff307df4c7aafc81"}]}