{"push_id":3048134116,"size":21,"distinct_size":3,"ref":"refs/heads/smt_refactor_sort","head":"0565844e258b26f15153116db6ef413a59cc9c84","before":"6555383fbf9236cb38fdb2fad3d4f8f5ae197989","commits":[{"sha":"d33d4b02a915b1fea4d33b0c751ccc4b652687d7","author":{"name":"Daniel Kirchner","email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@ekpyron.org"},"message":"Add archlinux run on circleci.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/d33d4b02a915b1fea4d33b0c751ccc4b652687d7"},{"sha":"6f136479231337d023d32ac8ad8c57fbedf4fb29","author":{"name":"Daniel Kirchner","email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@ekpyron.org"},"message":"Only run soltest with --no-ipc.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/6f136479231337d023d32ac8ad8c57fbedf4fb29"},{"sha":"dd03d801731aef998c733ff7db136e815e9a0f80","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Add release date to changelog.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/dd03d801731aef998c733ff7db136e815e9a0f80"},{"sha":"91b6b8a88e76016e0324036cb7a7f9300a1e2439","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5413 from ethereum/updateChangelogForRelease\n\nAdd release date to changelog.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/91b6b8a88e76016e0324036cb7a7f9300a1e2439"},{"sha":"1d4f565a64988a3400847d2655ca24f73f234bc6","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5416 from ethereum/develop\n\nMerge develop into release for 0.5.0","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/1d4f565a64988a3400847d2655ca24f73f234bc6"},{"sha":"6c47b67319a9f86795ce8be2cd907af831aee8b6","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Set version to 0.5.1.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/6c47b67319a9f86795ce8be2cd907af831aee8b6"},{"sha":"da01e408988f7d0f6d6311b0af353ea4b573381e","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5417 from ethereum/version051\n\nSet version to 0.5.1.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/da01e408988f7d0f6d6311b0af353ea4b573381e"},{"sha":"74ede87a4aed4dcf0995480d8e809f4aa2e848df","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5420 from ethereum/release\n\nMerge release back into develop.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/74ede87a4aed4dcf0995480d8e809f4aa2e848df"},{"sha":"80fcd1aeb612b621aed4e937d50f10655dd6b1e5","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Fix commandline tests.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/80fcd1aeb612b621aed4e937d50f10655dd6b1e5"},{"sha":"b4fcce0bde81939c8401ff8ec011850299cd4662","author":{"name":"Alex Beregszaszi","email":"60c6d277a8bd81de7fdde19201bf9c58a3df08f4@rtfs.hu"},"message":"Do not build LLL unless requested via the LLL cmake option","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/b4fcce0bde81939c8401ff8ec011850299cd4662"},{"sha":"6961899cb2a0abd4d236a9a6f2657b4533720484","author":{"name":"Alex Beregszaszi","email":"60c6d277a8bd81de7fdde19201bf9c58a3df08f4@rtfs.hu"},"message":"Do not build tests for LLL if disabled","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/6961899cb2a0abd4d236a9a6f2657b4533720484"},{"sha":"00cb5dbd43eb07b307258865dfa5abe72a3926a5","author":{"name":"Alex Beregszaszi","email":"60c6d277a8bd81de7fdde19201bf9c58a3df08f4@rtfs.hu"},"message":"Move LLL tests into a single directory","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/00cb5dbd43eb07b307258865dfa5abe72a3926a5"},{"sha":"74553efb69cedbd5b24e6594df0fbf525718659d","author":{"name":"Alex Beregszaszi","email":"60c6d277a8bd81de7fdde19201bf9c58a3df08f4@rtfs.hu"},"message":"Build with LLL on CircleCI","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/74553efb69cedbd5b24e6594df0fbf525718659d"},{"sha":"79243eac08f5d8d3ccedbbedb929848a58ff26c4","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Rename some builtin yul functions for signed types.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/79243eac08f5d8d3ccedbbedb929848a58ff26c4"},{"sha":"10d99fc378499fd48b3409d8ec97e33fb11937a6","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5367 from ethereum/signedYul\n\n[Yul] Rename some builtin yul functions for signed types.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/10d99fc378499fd48b3409d8ec97e33fb11937a6"},{"sha":"bf5b94587f5a6d4d631b91081608498a71362cf1","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5419 from ethereum/fixcmdlinetests\n\nFix commandline tests.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/bf5b94587f5a6d4d631b91081608498a71362cf1"},{"sha":"17e81c6ecabe3be8f0553e13ab93393d7315a4d0","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5410 from ethereum/lll-build\n\nDo not build LLL unless requested via the LLL cmake option","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/17e81c6ecabe3be8f0553e13ab93393d7315a4d0"},{"sha":"b7a23ee1699f93c8ae8307783142ca96e5df060f","author":{"name":"chriseth","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@ethereum.org"},"message":"Merge pull request #5373 from ethereum/archlinuxCI\n\nAdd archlinux run on circleci for testing against current versions of deps.","distinct":false,"url":"https://api.github.com/repos/ethereum/solidity/commits/b7a23ee1699f93c8ae8307783142ca96e5df060f"},{"sha":"54525c29efc02c2492d4982c474d0505b24a4be4","author":{"name":"Leonardo Alt","email":"1f0a51c36efaa0f44e4899c26d2028681997c8ea@ethereum.org"},"message":"[SMTChecker] Implement uninterpreted functions and use it for blockhash()","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/54525c29efc02c2492d4982c474d0505b24a4be4"},{"sha":"da325e9fdade8df22e6126a638622550125857f6","author":{"name":"Leonardo Alt","email":"1f0a51c36efaa0f44e4899c26d2028681997c8ea@ethereum.org"},"message":"[SMTChecker] Refactor sorts and add Array","distinct":true,"url":"https://api.github.com/repos/ethereum/solidity/commits/da325e9fdade8df22e6126a638622550125857f6"}]}
{"actor":{"display_login":"leonardoalt"}}