payload: {"push_id":4030162096,"size":11,"distinct_size":1,"ref":"refs/heads/smt_chc_loop","head":"5f28142ce0455bdbd5b09a8f1f0d72918b789f1b","before":"26b1f879be327b1e436f86d386c807cfa337359e","commits":[{"sha":"fcfe8295349b00fbe5a4475caace8b984e91c300","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Introduce LiteralRematerializer and thus simplify StructuralSimplifier.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/fcfe8295349b00fbe5a4475caace8b984e91c300"},{"sha":"324cc71b13a2e1ebf1fe34397d085832b89076a4","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #7408 from ethereum/literalRematerializer\n\n[Yul] Introduce LiteralRematerializer and thus simplify StructuralSimplifier.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/324cc71b13a2e1ebf1fe34397d085832b89076a4"},{"sha":"4f80117eefdbe593b9c2d30800a6fed63a0e1f32","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Use builtin iszero for for loop condition rewriting.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/4f80117eefdbe593b9c2d30800a6fed63a0e1f32"},{"sha":"a7c987d9319bde6f0e3734889a34ad5feb0adf6e","author":{"name":"Bhargava Shastry","email":"8a9c5ed8060b080fb0eb92c3a2ac4ba4360b75f8@ethereum.org"},"message":"Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine supplied by docker image","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/a7c987d9319bde6f0e3734889a34ad5feb0adf6e"},{"sha":"b747c26788c60d9d4487329f47b96d20df68dfb4","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #7407 from ethereum/forLoopIntoBodyFix\n\nFor loop into body fix","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/b747c26788c60d9d4487329f47b96d20df68dfb4"},{"sha":"f86c5da20289c444af8f583eab656af8860dc582","author":{"name":"Daniel Kirchner","email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@ekpyron.org"},"message":"Fix SSA reverser in special case of declaration followed by self-assignment.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/f86c5da20289c444af8f583eab656af8860dc582"},{"sha":"63a8cda1d46a1677a93801dde6c0246994b482aa","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #7418 from ethereum/ssaReverseFix\n\nFix SSA reverser for declaration + self-assignment","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/63a8cda1d46a1677a93801dde6c0246994b482aa"},{"sha":"192946c1ba82a38c2fd6794e171f01367196dcd8","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #7413 from ethereum/ossfuzz-link-correctly\n\nLink ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/192946c1ba82a38c2fd6794e171f01367196dcd8"},{"sha":"ad5fe2bf45b62f52c923b0ba66b031a26a0cf37d","author":{"name":"Erik Kundt","email":"c195b508e6f0c57aeafdb5e96947e2b79e6a4b40@ethereum.org"},"message":"Fixes codespell.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/ad5fe2bf45b62f52c923b0ba66b031a26a0cf37d"},{"sha":"02af613fa5409e1d7d314279128570be15258016","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #7419 from ethereum/checkspell-fix\n\nFixes codespell","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/02af613fa5409e1d7d314279128570be15258016"},{"sha":"5f28142ce0455bdbd5b09a8f1f0d72918b789f1b","author":{"name":"Leonardo Alt","email":"1f0a51c36efaa0f44e4899c26d2028681997c8ea@ethereum.org"},"message":"[SMTChecker] Add loop support","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/5f28142ce0455bdbd5b09a8f1f0d72918b789f1b"}]}
other: {"actor":{"display_login":"leonardoalt"}}