{"push_id":3360139995,"size":3,"distinct_size":3,"ref":"refs/heads/new-bv","head":"3d7f23bf47d441bb7ae78108cac09472ad3c2442","before":"5f343d87a943a9fd5cb2dfe14bf97fc812afa726","commits":[{"sha":"09610882f19882b3560cbc4ee149b05859ba0560","author":{"name":"Bruno Dutertre","email":"660609b171607ff3dcd294929e5d8239736f4298@csl.sri.com"},"message":"More flexibility in cut sweeping","distinct":true,"url":"https://api.github.com/repos/SRI-CSL/yices2/commits/09610882f19882b3560cbc4ee149b05859ba0560"},{"sha":"6c1374b4267d907b2d6f54e65656e31048e9f84c","author":{"name":"Bruno Dutertre","email":"660609b171607ff3dcd294929e5d8239736f4298@csl.sri.com"},"message":"Merge branch 'new-bv' of github.com:SRI-CSL/yices2 into new-bv","distinct":true,"url":"https://api.github.com/repos/SRI-CSL/yices2/commits/6c1374b4267d907b2d6f54e65656e31048e9f84c"},{"sha":"3d7f23bf47d441bb7ae78108cac09472ad3c2442","author":{"name":"Bruno Dutertre","email":"660609b171607ff3dcd294929e5d8239736f4298@csl.sri.com"},"message":"Fixed try_var_equivalent","distinct":true,"url":"https://api.github.com/repos/SRI-CSL/yices2/commits/3d7f23bf47d441bb7ae78108cac09472ad3c2442"}]}
{"actor":{"display_login":"BrunoDutertre"}}