{"push_id":3135095872,"size":1,"distinct_size":1,"ref":"refs/heads/smt_mapping","head":"31e47d961b2f9e3fa0b894c258a337cc6bb7b288","before":"89c3a9631b9bec0903bb5302344236c5ffb33b5e","commits":[{"sha":"31e47d961b2f9e3fa0b894c258a337cc6bb7b288","author":{"name":"Leonardo Alt","email":"1f0a51c36efaa0f44e4899c26d2028681997c8ea@ethereum.org"},"message":"[SMTChecker] Support to mapping","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/31e47d961b2f9e3fa0b894c258a337cc6bb7b288"}]}
{"actor":{"display_login":"leonardoalt"}}