{"push_id":2494855202,"size":1,"distinct_size":1,"ref":"refs/heads/smt_sol_unimplementedassert","head":"78ba34608f9b587b5a481769ba6fee45a49fcf3a","before":"c6e3581d03e1381408516163e40bb205f33e1322","commits":[{"sha":"78ba34608f9b587b5a481769ba6fee45a49fcf3a","author":{"name":"Leonardo Alt","email":"1f0a51c36efaa0f44e4899c26d2028681997c8ea@ethereum.org"},"message":"[SMTChecker] Using solUnimplementedAssert instead of solAssert when applicable","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/78ba34608f9b587b5a481769ba6fee45a49fcf3a"}]}
{"actor":{"display_login":"leonardoalt"}}