{"push_id":2429614667,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"753f2c89ef70890253b930ec74220aafc209dcbd","before":"705439cb85d00453a2f3ed446d965de34393688e","commits":[{"sha":"966a8f73d33d9ed011286c6fb62fbf6f5449112f","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"add eval feature #1553\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/iamrecursion/z3/commits/966a8f73d33d9ed011286c6fb62fbf6f5449112f"},{"sha":"753f2c89ef70890253b930ec74220aafc209dcbd","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"initialize solvers to ensure that eval mode has a solver\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/iamrecursion/z3/commits/753f2c89ef70890253b930ec74220aafc209dcbd"}]}
{"actor":{"display_login":"iamrecursion"}}