{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":40892817,"defaultBranch":"develop","name":"solidity","ownerLogin":"ethereum","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-08-17T12:27:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6250754?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718091180.0","currentOid":""},"activityList":{"items":[{"before":"0f74cc5f24964b31a659973236c871508cea4087","after":"49f184784b3cca74995bcde45af0eb3d25ac96ab","ref":"refs/heads/do-not-optimize-without-optimized-outputs","pushedAt":"2024-06-11T15:46:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Do not perform IR optimization if only unoptimized IR is requested","shortMessageHtmlLink":"Do not perform IR optimization if only unoptimized IR is requested"}},{"before":"958f403b969580132811232d8cca84cda5eb65a7","after":"0f74cc5f24964b31a659973236c871508cea4087","ref":"refs/heads/do-not-optimize-without-optimized-outputs","pushedAt":"2024-06-11T15:43:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Do not perform IR optimization if only unoptimized IR is requested","shortMessageHtmlLink":"Do not perform IR optimization if only unoptimized IR is requested"}},{"before":"0b36b69d33acfd63438700373037bbc39d953111","after":"437bc054ccbdc5c307989a164e21f2c4314476c9","ref":"refs/heads/require-with-error-legacy","pushedAt":"2024-06-11T14:09:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"},"commit":{"message":"Changelog and docs","shortMessageHtmlLink":"Changelog and docs"}},{"before":"20ae0f2e07e1928f04ba212477019329956f66ad","after":null,"ref":"refs/heads/smt-cvc4-switch","pushedAt":"2024-06-11T07:33:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"}},{"before":"e4a4c577b0cbed0edb4dce956c3940af3e1e507a","after":"07f25f5696c711e61b522645abbda11c14892221","ref":"refs/heads/develop","pushedAt":"2024-06-11T07:32:59.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"Merge pull request #15078 from ethereum/smt-cvc4-switch\n\nSMTChecker: Upgrade CVC4 to cvc5 and switch from API to SMT-LIB2 interface","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2281336723\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/solidity/issues/15078\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/solidity/pull/15078/hovercard\" href=\"https://github.com/ethereum/solidity/pull/15078\">#15078</a> from ethereum/smt-cvc4-switch"}},{"before":"17357861bcf2dc97bc3ff6d66b408d67d621c320","after":"20ae0f2e07e1928f04ba212477019329956f66ad","ref":"refs/heads/smt-cvc4-switch","pushedAt":"2024-06-11T06:53:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"SMTChecker: Allow using multiple external solvers in one analysis\n\nWe are using SMTCommand inside UniversalCallback to call external\nsolvers on queries produced my our engines.\n\nPrevious mechanism set the external solver once during initialization\nand it was not possible to change it later. This meant, that it would\nnot be possible to use, e.g., Eldarica and cvc5 at the same time.\n\nHere we move the proper setup for SMTCommand just before we call it.\nThis setup is customized by subclasses of (CHC)SmtLib2Interface, which\ncall corresponding external solvers.","shortMessageHtmlLink":"SMTChecker: Allow using multiple external solvers in one analysis"}},{"before":"128b17259c468fbe8a7b1f8219d9d8ab891f43f2","after":null,"ref":"refs/heads/install-cvc5","pushedAt":"2024-06-11T06:51:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"}},{"before":"0f982266663246437cca867ebd3973df99c7512f","after":"e4a4c577b0cbed0edb4dce956c3940af3e1e507a","ref":"refs/heads/develop","pushedAt":"2024-06-11T06:51:47.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"Merge pull request #15102 from ethereum/install-cvc5\n\nInstall cvc5 in buildpack-deps","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2296054178\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/solidity/issues/15102\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/solidity/pull/15102/hovercard\" href=\"https://github.com/ethereum/solidity/pull/15102\">#15102</a> from ethereum/install-cvc5"}},{"before":"0c8e3ce560e33bbec72372346f07e704b2287ef6","after":"882184fbbb5d3e5dea324c35a63a50ce96b465e8","ref":"refs/heads/catchSolUnimplementedFeatureErrors","pushedAt":"2024-06-11T01:25:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"Remove catch from main","shortMessageHtmlLink":"Remove catch from main"}},{"before":"ac7c9e2e18da321b4db5369f51795e5d9b6b0c76","after":"0c8e3ce560e33bbec72372346f07e704b2287ef6","ref":"refs/heads/catchSolUnimplementedFeatureErrors","pushedAt":"2024-06-11T01:18:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! fixup commandlineInterface","shortMessageHtmlLink":"fixup! fixup commandlineInterface"}},{"before":"559e027ccdfb32d75ea375e5525ea5ab883d2b16","after":"ac7c9e2e18da321b4db5369f51795e5d9b6b0c76","ref":"refs/heads/catchSolUnimplementedFeatureErrors","pushedAt":"2024-06-11T01:02:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! CommandLineInterface","shortMessageHtmlLink":"fixup! CommandLineInterface"}},{"before":"ce01cd35499db31c0bb4fca8bd412cb5bd4e84e8","after":"559e027ccdfb32d75ea375e5525ea5ab883d2b16","ref":"refs/heads/catchSolUnimplementedFeatureErrors","pushedAt":"2024-06-11T00:51:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! CommandLineInterface","shortMessageHtmlLink":"fixup! CommandLineInterface"}},{"before":"d0a2165c7e60c0f50812ad5e817bf93d1f86495d","after":"e9d3ad7d2b061e17d0ac6527bf258591de5d4157","ref":"refs/heads/push0-optimisationsTesting","pushedAt":"2024-06-10T14:10:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! testing","shortMessageHtmlLink":"fixup! testing"}},{"before":"feb10934e134534259425a27226be3aff145abe9","after":"0b36b69d33acfd63438700373037bbc39d953111","ref":"refs/heads/require-with-error-legacy","pushedAt":"2024-06-10T12:30:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"},"commit":{"message":"Require with custom error for legacy pipeline","shortMessageHtmlLink":"Require with custom error for legacy pipeline"}},{"before":"5f5aa07cd3f09ea2b44cc16308f419c0ab943887","after":"feb10934e134534259425a27226be3aff145abe9","ref":"refs/heads/require-with-error-legacy","pushedAt":"2024-06-10T09:55:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"},"commit":{"message":"Require with custom error for legacy pipeline","shortMessageHtmlLink":"Require with custom error for legacy pipeline"}},{"before":"9927535c71469c41ed70e0b019b6278b597df5bd","after":"d0a2165c7e60c0f50812ad5e817bf93d1f86495d","ref":"refs/heads/push0-optimisationsTesting","pushedAt":"2024-06-09T19:34:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! testing","shortMessageHtmlLink":"fixup! testing"}},{"before":"e108c42eadf3f8866d42e7c0a16f11089e532d81","after":"9927535c71469c41ed70e0b019b6278b597df5bd","ref":"refs/heads/push0-optimisationsTesting","pushedAt":"2024-06-09T19:32:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"testing","shortMessageHtmlLink":"testing"}},{"before":"4eaf50af26aa0300864cee2f9deda8b7eee78226","after":"e108c42eadf3f8866d42e7c0a16f11089e532d81","ref":"refs/heads/push0-optimisationsTesting","pushedAt":"2024-06-08T17:59:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! workaround","shortMessageHtmlLink":"fixup! workaround"}},{"before":"19670c9041eb07748f205accb07639b0c586e6e0","after":"4eaf50af26aa0300864cee2f9deda8b7eee78226","ref":"refs/heads/push0-optimisationsTesting","pushedAt":"2024-06-08T17:42:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! workaround","shortMessageHtmlLink":"fixup! workaround"}},{"before":"f8dbcc7ca9da08e64817dee2a561780c6ec399a8","after":"19670c9041eb07748f205accb07639b0c586e6e0","ref":"refs/heads/push0-optimisationsTesting","pushedAt":"2024-06-08T17:32:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"update tests","shortMessageHtmlLink":"update tests"}},{"before":"0ee5508f3c559f2af0b03cc1b07a88f197c0f98f","after":"f8dbcc7ca9da08e64817dee2a561780c6ec399a8","ref":"refs/heads/push0-optimisationsTesting","pushedAt":"2024-06-08T16:17:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"testing workaround","shortMessageHtmlLink":"testing workaround"}},{"before":"9cd06828b2ff3a2291d6e16a88fb15b13f745b85","after":"57ba0600eeff12cbaf367ac1de2fc127b5b7a536","ref":"refs/heads/replace-unnecessary-validations-with-assertions","pushedAt":"2024-06-07T17:33:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Use solAssert() instead of throwing InternalCompilerError directly","shortMessageHtmlLink":"Use solAssert() instead of throwing InternalCompilerError directly"}},{"before":"27ed2f654f5d78a52c269a17afc402d04c07325d","after":"833fb69fd087d1a0e524d45b9bde326ce3b9a701","ref":"refs/heads/remove-overly-specific-exception-handlers","pushedAt":"2024-06-07T17:33:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Treat util::Error as unexpected outside of codegen\n\n- In analysis we use an error reporter and never just throw util::Error. We do it in one case in the codegen (CodeGenerationError) but outside of that case this should not be treated as a proper way to report an error.\n- Now such errors will be treated as unexpected. They're bugs that should be fixed.","shortMessageHtmlLink":"Treat util::Error as unexpected outside of codegen"}},{"before":"d56a687244e22df29b4ed1824d211a8217f7cf65","after":"bc6de9d9d54384b64905c0fc033e08d0ec69b5d4","ref":"refs/heads/foundry-benchmarks","pushedAt":"2024-06-07T12:25:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Rename benchmarks/run.sh to benchmarks/local.sh","shortMessageHtmlLink":"Rename benchmarks/run.sh to benchmarks/local.sh"}},{"before":null,"after":"503b7f20947965f8a20e29c9e0ac8a53c799b7e0","ref":"refs/heads/smt-cvc4-switch-nigthly-test","pushedAt":"2024-06-07T11:58:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"r0qs","name":"r0qs","path":"/r0qs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/457348?s=80&v=4"},"commit":{"message":"Test nigthly builds","shortMessageHtmlLink":"Test nigthly builds"}},{"before":"44b76e50902a25247820070779a441298fe38f2d","after":"d56a687244e22df29b4ed1824d211a8217f7cf65","ref":"refs/heads/foundry-benchmarks","pushedAt":"2024-06-07T11:56:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Rename benchmarks/run.sh to benchmarks/local.sh","shortMessageHtmlLink":"Rename benchmarks/run.sh to benchmarks/local.sh"}},{"before":"dd4f189a7c74bc748aa43cc19c7443f704753d44","after":"0f982266663246437cca867ebd3973df99c7512f","ref":"refs/heads/develop","pushedAt":"2024-06-06T21:26:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Merge pull request #15184 from xiaoxianBoy/fix-typos\n\nFix several typos in code comments","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337535396\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/solidity/issues/15184\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/solidity/pull/15184/hovercard\" href=\"https://github.com/ethereum/solidity/pull/15184\">#15184</a> from xiaoxianBoy/fix-typos"}},{"before":null,"after":"27ed2f654f5d78a52c269a17afc402d04c07325d","ref":"refs/heads/remove-overly-specific-exception-handlers","pushedAt":"2024-06-06T20:44:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Treat util::Error as unexpected outside of codegen\n\n- In analysis we use an error reporter and never just throw util::Error. We do it in one case in the codegen (CodeGenerationError) but outside of that case this should not be treated as a proper way to report an error.\n- Now such errors will be treated as unexpected. They're bugs that should be fixed.","shortMessageHtmlLink":"Treat util::Error as unexpected outside of codegen"}},{"before":null,"after":"9cd06828b2ff3a2291d6e16a88fb15b13f745b85","ref":"refs/heads/replace-unnecessary-validations-with-assertions","pushedAt":"2024-06-06T20:44:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Use solAssert() instead of throwing InternalCompilerError directly","shortMessageHtmlLink":"Use solAssert() instead of throwing InternalCompilerError directly"}},{"before":"4a27b8432d4ed411237f20f634bbfd8190076f25","after":"128b17259c468fbe8a7b1f8219d9d8ab891f43f2","ref":"refs/heads/install-cvc5","pushedAt":"2024-06-06T15:56:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"r0qs","name":"r0qs","path":"/r0qs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/457348?s=80&v=4"},"commit":{"message":"Install cvc5 on OSX","shortMessageHtmlLink":"Install cvc5 on OSX"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYmjArgA","startCursor":null,"endCursor":null}},"title":"Activity · ethereum/solidity"}