{"push_id":1150219154,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"cb29c07f067133bf8d09c2b3152e85a9d9180332","before":"9b91e6ff0aa6d3ca759a61b701f987e71eb04540","commits":[{"sha":"219b47822b8912c1d8846820635589cf12d25dbb","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"avoid qsat when formulas are quantifier-free. Go directly to SMT\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/219b47822b8912c1d8846820635589cf12d25dbb"},{"sha":"19db0c5f2cba896e2aa15761c43b4d5ddfb68e1a","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/19db0c5f2cba896e2aa15761c43b4d5ddfb68e1a"},{"sha":"5253f3a12b36821a9c2a84bc604540689d80ddff","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"internalize unsupported operations\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/5253f3a12b36821a9c2a84bc604540689d80ddff"},{"sha":"cb29c07f067133bf8d09c2b3152e85a9d9180332","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/cb29c07f067133bf8d09c2b3152e85a9d9180332"}]}
{"actor":{"display_login":"NikolajBjorner"}}