{"push_id":873760788,"size":16,"distinct_size":16,"ref":"refs/heads/master","head":"665af3d8b9da232ced38b03fbc00bd79880e5295","before":"1d4b99676501aa09139835999700000efa17197d","commits":[{"sha":"90400ec914e9cc97aff8f2c70e7e77b01fb32a9e","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"update C example to use new API\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/90400ec914e9cc97aff8f2c70e7e77b01fb32a9e"},{"sha":"5948013b1b04d8529bce366c0c7b87e1d88a1827","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"clear label buffer\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/5948013b1b04d8529bce366c0c7b87e1d88a1827"},{"sha":"56c56e277b3860b73105b5be10421ad3d74c066e","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/56c56e277b3860b73105b5be10421ad3d74c066e"},{"sha":"9eb051593d10748c1fe465d4c80fe797744498ec","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge pull request #329 from NikolajBjorner/master\n\nRemove deprecated API functionality.","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/9eb051593d10748c1fe465d4c80fe797744498ec"},{"sha":"f8596898350a736df59c71bddcb5185f97608dea","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/f8596898350a736df59c71bddcb5185f97608dea"},{"sha":"2122fdee4557c22720be03b88645e8e2c379f65f","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix build script for update to name of get_error_msg\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/2122fdee4557c22720be03b88645e8e2c379f65f"},{"sha":"0592e765744497a089c42021990740f303901e67","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Enhancement for Valentin #332\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/0592e765744497a089c42021990740f303901e67"},{"sha":"b2281f956bc8775b866b190907b1dea97d824d9c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Fixed Python 2.x vs 3.x issues.\n\nFixes Z3Prover/bin/#2.","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/b2281f956bc8775b866b190907b1dea97d824d9c"},{"sha":"0881c96b2e7d312de75fa02fa3d55df2d8863b21","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/0881c96b2e7d312de75fa02fa3d55df2d8863b21"},{"sha":"3ed5945cb2916d3833f564a7bc945a9ac3f4c83a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Fixed Python 2.x vs 3.x issues.\n\nFixes Z3Prover/bin#2.","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/3ed5945cb2916d3833f564a7bc945a9ac3f4c83a"},{"sha":"9175cf195def410e49e04b1b1b084b7bd773b9d6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/9175cf195def410e49e04b1b1b084b7bd773b9d6"},{"sha":"d9beb9e15a77794be708e8b5664f802f9fc0d01b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Windows build fix","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/d9beb9e15a77794be708e8b5664f802f9fc0d01b"},{"sha":"fd8fd40669e64c11d7488469e38f15d6f23d4f49","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix tests\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/fd8fd40669e64c11d7488469e38f15d6f23d4f49"},{"sha":"995e112a18a419b4799fd58d2c29d962d4ca042e","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix examples\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/995e112a18a419b4799fd58d2c29d962d4ca042e"},{"sha":"e96d93ee428fe0f4803e17d98bb49c0894122676","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/e96d93ee428fe0f4803e17d98bb49c0894122676"},{"sha":"665af3d8b9da232ced38b03fbc00bd79880e5295","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"remove deprecated user-theory plugins and other unused functionality from API\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/665af3d8b9da232ced38b03fbc00bd79880e5295"}]}