{"push_id":2753068966,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"2794a22d84d05c83bd6e9f57d16a9e66a662812f","before":"5faa60e8834b5302f8d58f719c6962ed3affb50f","commits":[{"sha":"87a38e1abe61547e66aedfa595a73fb78184d609","author":{"name":"Leonardo Alt","email":"1f0a51c36efaa0f44e4899c26d2028681997c8ea@ethereum.org"},"message":"[SMTChecker] SMTPortfolio: use all SMT solvers available","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/87a38e1abe61547e66aedfa595a73fb78184d609"},{"sha":"55c1fb60b4ba60685262f332f2b197a7ef81d5b8","author":{"name":"Leonardo Alt","email":"1f0a51c36efaa0f44e4899c26d2028681997c8ea@ethereum.org"},"message":"[SMTChecker] Add CheckResult::CONFLICTING","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/55c1fb60b4ba60685262f332f2b197a7ef81d5b8"},{"sha":"2794a22d84d05c83bd6e9f57d16a9e66a662812f","author":{"name":"Alex Beregszaszi","email":"60c6d277a8bd81de7fdde19201bf9c58a3df08f4@rtfs.hu"},"message":"Merge pull request #4351 from ethereum/smt_portfolio\n\n[SMTChecker] SMTPortfolio: use all SMT solvers available","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/2794a22d84d05c83bd6e9f57d16a9e66a662812f"}]}
{"actor":{"display_login":"axic"}}