{"push_id":1353121348,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"edaec81aa2f89073f87eb1c6f6fdf82a726d396e","before":"7d37203653cffaab97d5cc75ca99cf0a6d662727","commits":[{"sha":"fe14a22baacb8185e701a5d321226ba387cab76e","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"adding enumeration tests\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/fe14a22baacb8185e701a5d321226ba387cab76e"},{"sha":"4cae91b0965954b1e495b3b3e641381b45578069","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"spacing, unit test\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/4cae91b0965954b1e495b3b3e641381b45578069"},{"sha":"2a948da93b794a37844fbb2d7b092b1db08bbc13","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/2a948da93b794a37844fbb2d7b092b1db08bbc13"},{"sha":"9e4450228eb4537e7cf87192c53ba4bcb69107bb","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"adding unit test for enumeration types\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/9e4450228eb4537e7cf87192c53ba4bcb69107bb"},{"sha":"edaec81aa2f89073f87eb1c6f6fdf82a726d396e","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/edaec81aa2f89073f87eb1c6f6fdf82a726d396e"}]}
{"actor":{"display_login":"NikolajBjorner"}}