72 Pull requests merged by 29 people

• eof: Enable compilation to EOF for all EVMVersionRestrictedTestCase tests by default

  #15666 merged Feb 3, 2025

• SMTChecker: Fix parsing bv2int expression from solver's response

  #15810 merged Feb 3, 2025

• eof: Update yul legacy tests

  #15658 merged Feb 3, 2025

• eof: Pass proper EOF flag to Assembly used by EVMCodeTransformTest

  #15818 merged Feb 3, 2025

• Missing EVM restrictions and EOF compatibility in tests

  #15816 merged Feb 3, 2025

• tests: fix a typo in a yulphaser test case name

  #15812 merged Feb 1, 2025

• eof: objectCompiler tests updating

  #15662 merged Feb 1, 2025

• Fix typo in libsolidity/ast/AST.h

  #15814 merged Feb 1, 2025

• SMTChecker: Remove code left over after switch to SMT-LIB interface

  #15806 merged Feb 1, 2025

• Fix trailing input in hardcoded precompile expectations

  #15788 merged Jan 31, 2025

• SMTChecker: Add support for block.blobbasefee and blobhash()

  #15796 merged Jan 31, 2025

• eof: Semantic tests update

  #15665 merged Jan 31, 2025

• Add outputs setting to ObjectCompilerTest

  #15803 merged Jan 31, 2025

• fix: correct code comments and references in ArrayUtils, CHC, EncodingContext, and LSP tests

  #15801 merged Jan 31, 2025

• Fix typos and grammar in documentation files

  #15593 merged Jan 31, 2025

• style： SETTINGS_PRESETS is not declared using const.

  #15632 merged Jan 31, 2025

• Remove cxx20 header containing reference implementation of erase_if

  #15800 merged Jan 31, 2025

• Bump resource class for t_ems_ext_edr from small to medium

  #15798 merged Jan 30, 2025

• Fix wrong comment about blobhash behavior

  #15799 merged Jan 30, 2025

• eof: Syntax tests update

  #15661 merged Jan 30, 2025

• Update nightly CI to work with c++20 and restrict some tests to >= constantinople

  #15797 merged Jan 30, 2025

• eof: Test that EOF sets the experimental flag in metadata

  #15663 merged Jan 30, 2025

• Update versions flyout menu location.

  #15793 merged Jan 29, 2025

• Adjust semantic tests to work on both EOF and legacy

  #15768 merged Jan 29, 2025

• ParserBase: avoid copying around currentLiteral

  #15741 merged Jan 29, 2025

• Fix Foundry version for PRB-Math external test

  #15791 merged Jan 29, 2025

• eof: Update yulSyntaxTests tests for EOF

  #15660 merged Jan 28, 2025

• Switch from c++17 to c++20 and reactivate fully static builds

  #15751 merged Jan 28, 2025

• eof: Disallow EOF builtins in inline assembly.

  #15783 merged Jan 28, 2025

• eof: Fix condition when generating custom error for builtins available in EOF but not in legacy

  #15784 merged Jan 28, 2025

• Enable ethdebug debug info and output selection.

  #15289 merged Jan 27, 2025

• eof: Assert against legacy identifiers/members availability in EOF context.

  #15785 merged Jan 27, 2025

• Fix missing comma in Natspec JSON example in the docs

  #15781 merged Jan 27, 2025

• SMTChecker: Fix crash in BMC engine regarding state variables

  #15782 merged Jan 27, 2025

• Move loose semantic and syntax tests to subdirs

  #15765 merged Jan 24, 2025

• fix typo in StackCompressor comments: ina -> in a

  #15772 merged Jan 24, 2025

• fix typo in ExpressionNestingLimitReached enum value

  #15767 merged Jan 24, 2025

• fix typo in distinguishingProperty variable name

  #15763 merged Jan 24, 2025

• Fix semantic and syntax test dir names not following the same naming convention

  #15766 merged Jan 23, 2025

• fix: typos in SymbolicTypes.cpp

  #15757 merged Jan 23, 2025

• fix: typos in libsolidity/analysis/

  #15756 merged Jan 23, 2025

• add build jobs that run on ubuntu 2204

  #15754 merged Jan 23, 2025

• Add Ubuntu 22.04 image

  #15753 merged Jan 23, 2025

• eof: Fix EOF builtin names unintentionally reserved outside of EOF

  #15700 merged Jan 23, 2025

• Fix typo in variable name in buildinfo.cmake

  #15755 merged Jan 23, 2025

• Make name clash with a builtin non-fatal in Yul parser

  #15712 merged Jan 22, 2025

• Document internal function pointer stability guarantees

  #15721 merged Jan 22, 2025

• SMTChecker: Fix encoding of arguments of cryptographic functions

  #15749 merged Jan 22, 2025

• Fix spelling mistakes and silence false-positives newly reported by codespell

  #15750 merged Jan 22, 2025

• Bump ossfuzz image

  #15718 merged Jan 21, 2025

• Workaround for Boost compilation error with Clang 18 and libc++ in ossfuzz buildpack-deps

  #15713 merged Jan 21, 2025

• Fix the name of RETURNCONTRACT instruction in EOF assembly output

  #15729 merged Jan 20, 2025

• Fix function name enumerateOptmisationSteps

  #15728 merged Jan 18, 2025

• SMTChecker: Fix parsing of array select and store expressions

  #15705 merged Jan 17, 2025

• Fix typo in libevmasm/Assembly.cpp

  #15726 merged Jan 17, 2025

• [libyul] Fix false-negative maybe-uninitialized error on gcc.

  #15724 merged Jan 17, 2025

• Fix typos in function and parameter names

  #15723 merged Jan 17, 2025

• Ask about pipeline and update framework examples in bug template

  #15720 merged Jan 15, 2025

• chore: remove redundant word

  #15717 merged Jan 15, 2025

• SMTChecker: Fix error when initializing fixed-sized-bytes array

  #15701 merged Jan 9, 2025

• Small fixes for liveness

  #15702 merged Jan 9, 2025

• Fix MSVC compilation error on EVMVersion comparison

  #15675 merged Jan 9, 2025

• Fix subobjects placement in json exporter

  #15696 merged Jan 9, 2025

• Replace Boost_DIR with Boost_INCLUDE_DIR

  #15674 merged Jan 9, 2025

• Fix typographical errors

  #15687 merged Jan 9, 2025

• Reduce some file system paths' lengths

  #15689 merged Jan 9, 2025

• docs: typo fix Update CODE_OF_CONDUCT.md

  #15698 merged Jan 9, 2025

• libevmasm/EVMAssemblyStack.h: Remove unnecessary virtual specifier.

  #15697 merged Jan 9, 2025

• SSACFG liveness: Adds exit liveness info to livein

  #15692 merged Jan 6, 2025

• Update emscripten docker image version

  #15693 merged Jan 6, 2025

• Adapts to new Boost download location

  #15691 merged Jan 6, 2025

• Fix build with GCC 14

  #15685 merged Jan 6, 2025

13 Pull requests opened by 10 people

• Introduce subassembly offset output artifact

  #15710 opened Jan 13, 2025

• Fix `std::string` token type name in `LanguageServer` semantic tokens

  #15758 opened Jan 23, 2025

• Switch from web3.js to ethers.js in the Introduction to Smart Contracts

  #15760 opened Jan 23, 2025

• Fix docs spelling

  #15773 opened Jan 24, 2025

• Replace "External accounts" with "Externally-owned accounts" for accuracy

  #15774 opened Jan 25, 2025

• Initial ethdebug tool.

  #15789 opened Jan 28, 2025

• [WIP] Introduce universal compilation host to execution framework

  #15802 opened Jan 31, 2025

• Tweaks in docker usage docs

  #15804 opened Jan 31, 2025

• More info about unreported fatal errors

  #15807 opened Jan 31, 2025

• fix: typo in the name of an optimizer sequence test

  #15808 opened Jan 31, 2025

• SMTChecker: Allow printing queries for all solvers

  #15809 opened Jan 31, 2025

• Refactor `compileViaYul` test setting

  #15819 opened Feb 3, 2025

• SMTChecker: Fix crash on external function call wrapped in 1-tuple

  #15820 opened Feb 3, 2025

23 Issues closed by 6 people

• [SMTChecker] SMT logic error occurs when assigning values to fixed-size bytes array

  #15770 closed Feb 3, 2025

• Revert due to overflow when multiplying a constant by a literal

  #15815 closed Feb 1, 2025

• SMTChecker support for `blobbasefee`

  #14780 closed Jan 31, 2025

• Wrong flyout menu location stated in the docs

  #15792 closed Jan 29, 2025

• Syntactic call graph as basis for type inference

  #14532 closed Jan 27, 2025

• SMTChecker: Z3 in CHC engine incorrectly determines assertion as safe, when it should report possible violation

  #15255 closed Jan 27, 2025

• [SMTChecker] Cross-contract function call causes BMC engine to crash.

  #15605 closed Jan 27, 2025

• Some EOF-specific Yul builtin names are reserved even outside of EOF

  #15672 closed Jan 23, 2025

• SMTChecker: ICE when passing a string literal to `ecrecover()`

  #15736 closed Jan 22, 2025

• [BUG] Assertion failed. /solidity/libsolidity/formal/ExpressionFormatter.cpp(239)

  #15734 closed Jan 21, 2025

• [BUG] Segfault in Z3 from libsmtutil/Z3CHCInterface.cpp:87

  #15730 closed Jan 21, 2025

• Boost compilation fails with Clang 18.1 in ossfuzz

  #15711 closed Jan 21, 2025

• Stack too deep exception is not being caught

  #15740 closed Jan 21, 2025

• Removing output selection of a file causes TypeError

  #15582 closed Jan 20, 2025

• ICE in SolverInterface: SMT assertion failed

  #15651 closed Jan 17, 2025

• ICE in `SolverInterface.cpp`: `Trying to create an 'equal' expression with different sorts`

  #15647 closed Jan 17, 2025

• The optimizer incorrectly removes assembly block that initializes function pointer

  #15716 closed Jan 15, 2025

• The optimizer incorrectly removes sstore instructions in initialization code when followed by a call to an undefined internal function

  #15707 closed Jan 13, 2025

• SMTChecker： SMT logic error caused by assigning values to a fixed-size array.

  #15603 closed Jan 9, 2025

• The solidity's Chinese document encounter a style issue (bug),

  #15694 closed Jan 9, 2025

• Update Z3 to 4.13.0 or later

  #15198 closed Jan 9, 2025

• Very long file system paths

  #15688 closed Jan 9, 2025

• Downloaded Boost source package failed

  #15690 closed Jan 6, 2025

34 Issues opened by 14 people

• Enabling the trusted `ext-calls` option causes solc to generate an `Unreachable` Internal Compiler Error.

  #15817 opened Feb 3, 2025

• Enabling trusted `ext-calls` option causes the solc to SMT logic error.

  #15813 opened Feb 1, 2025

• Local environment setup failed with Python 3.13.1 due to `No module named 'imghdr'`

  #15811 opened Feb 1, 2025

• Convert `verbatim` into a single builtin with literal arguments

  #15805 opened Jan 31, 2025

• Deprecation warnings for features we plan to remove

  #15795 opened Jan 29, 2025

• Disallow internal function pointers in storage

  #15794 opened Jan 29, 2025

• Compilation and Optimizer Performance Improvements

  #15786 opened Jan 27, 2025

• forge coverage Fails with 'Stack Too Deep' Error When Using --via-ir, While forge test Works Fine

  #15775 opened Jan 25, 2025

• Solc fails to properly generate IR when enabling experimental features

  #15769 opened Jan 24, 2025

• [optimisation] quick win - byte size optimised address mask

  #15762 opened Jan 23, 2025

• Optimize `type(uint256).max` into `PUSH0 NOT`

  #15761 opened Jan 23, 2025

• Update Code Examples from Using Web3.js to Ethers.js

  #15759 opened Jan 23, 2025

• Events missing in library ABI when using another lib

  #15752 opened Jan 22, 2025

• Inconsistent behavior of `*` and empty string in `outputSelection`

  #15747 opened Jan 20, 2025

• Do not assemble `deployedObject` when not requested

  #15746 opened Jan 20, 2025

• `deployedBytecode` output is empty in Yul mode for contracts with bytecode dependencies

  #15745 opened Jan 20, 2025

• Document output selection

  #15744 opened Jan 20, 2025

• A shift-right operation sometimes consumes more gas than the equivalent division

  #15743 opened Jan 20, 2025

• Requesting implicitly generated outputs

  #15742 opened Jan 20, 2025

• [BUG] Internal compiler error. /solidity/libsolidity/ast/ASTUtils.cpp(56) Recursion depth limit reached

  #15739 opened Jan 20, 2025

• [BUG] Uncaught exception /usr/include/boost/multiprecision/cpp_int.hpp(1781) Unexpected character encountered in input.

  #15738 opened Jan 20, 2025

• [BUG] Internal compiler error /solidity/libsolidity/ast/Types.cpp(1982) Expected detailed error message!

  #15737 opened Jan 20, 2025

• [BUG] Assertion failed. /solidity/libsolidity/analysis/TypeChecker.cpp(2344)

  #15735 opened Jan 20, 2025

• [BUG] Assertion failed. solidity/libsolidity/analysis/TypeChecker.cpp(2371)

  #15733 opened Jan 20, 2025

• [BUG] Assertion failed. solidity/libsolidity/ast/Types.cpp(2284)

  #15732 opened Jan 20, 2025

• [BUG] Assertion failed /solidity/libsolidity/ast/Types.h(246)

  #15731 opened Jan 20, 2025

• Support for arbitrary contract storage base location

  #15727 opened Jan 17, 2025

• Bypassing the deployed bytecode with inline assembly in constructor makes it disappear from creation bytecode

  #15725 opened Jan 17, 2025

• SMTChecker triggers an ICE by not reporting `Arithmetic error when computing constant value` fatal error caused by constant subtraction

  #15722 opened Jan 16, 2025

• Optimized code takes 10 times MORE than unoptimized code

  #15719 opened Jan 15, 2025

• second parameter in solidity contact methode crashes sepolia node

  #15715 opened Jan 14, 2025

• Inconsistent treatment of constants by static analysis and constant evaluation

  #15709 opened Jan 13, 2025

• SMTChecker: Add support for counterexamples from Eldarica

  #15706 opened Jan 10, 2025

• ICE occurs when --ir-ast-json or --ir-optimized-ast-json is used

  #15699 opened Jan 9, 2025

54 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Parser support for explicit storage locations

  #15463 commented on Jan 31, 2025 • 8 new comments

• Add support for instructions and source ranges.

  #15368 commented on Jan 31, 2025 • 5 new comments

• Make messages mandatory in errors

  #15671 commented on Jan 23, 2025 • 1 new comment

• Source mappings are incorrect if there are braille Unicode characters in source code comments

  #14733 commented on Jan 29, 2025 • 0 new comments

• Change ``setimmutable`` Yul builtin to reference code object, or use special ``codecopy`` version that does the replacement..

  #8826 commented on Jan 29, 2025 • 0 new comments

• Remove ABIEncoderV1

  #11323 commented on Jan 29, 2025 • 0 new comments

• SMTChecker triggers an ICE by not reporting `Arithmetic error when computing constant value` fatal error caused by constant addition

  #15601 commented on Jan 31, 2025 • 0 new comments

• SMTChecker triggers an ICE by not reporting `Arithmetic error when computing constant value` fatal error caused by constant negation

  #15600 commented on Jan 31, 2025 • 0 new comments

• Bump evmone to 0.13.0 and define Osaka as a supported EVM version

  #15622 commented on Feb 1, 2025 • 0 new comments

• Inconsistent defaults of `optimizeStackAllocation` flag cause ICEs and metadata issues in optimized compilation with Yul optimizer disabled

  #15641 commented on Feb 1, 2025 • 0 new comments

• Reserve keywords and remove identifier exceptions for 0.9.0

  #14770 commented on Feb 3, 2025 • 0 new comments

• Refine and Stabilize EOF Support

  #15310 commented on Feb 3, 2025 • 0 new comments

• Test coverage for `absolutePath()` and `sanitizePath()`

  #14554 commented on Jan 29, 2025 • 0 new comments

• Add support for parsing debug data attributes

  #14857 commented on Jan 27, 2025 • 0 new comments

• Add missing dependencies and extra info to optimizer step docs

  #15054 commented on Jan 31, 2025 • 0 new comments

• Saner treatment of auto in coding style.

  #15077 commented on Jan 29, 2025 • 0 new comments

• Remove redundant prerequisite steps from the default optimizer sequence

  #15092 commented on Jan 31, 2025 • 0 new comments

• Fix `outputSelection` affecting compilation order

  #15173 commented on Jan 20, 2025 • 0 new comments

• Numerical Yul node id handles

  #15215 commented on Jan 20, 2025 • 0 new comments

• Introduce YulNameRepository

  #15242 commented on Jan 31, 2025 • 0 new comments

• Integrate YulNameRepository as yul dialect proxy

  #15260 commented on Jan 20, 2025 • 0 new comments

• Use YulNameRepository instead of YulString for the Yul AST

  #15281 commented on Jan 30, 2025 • 0 new comments

• docs: fixed a mismatch in the name of the function referenced in the micropayment example

  #15473 commented on Jan 17, 2025 • 0 new comments

• Type checking for contract explicit storage base location

  #15528 commented on Feb 3, 2025 • 0 new comments

• Typo Update control-structures.rst docs

  #15591 commented on Jan 31, 2025 • 0 new comments

• Fix silent value truncation in assembly import

  #15597 commented on Jan 31, 2025 • 0 new comments

• Adjust storage layout to consider explicit storage base location

  #15668 commented on Feb 3, 2025 • 0 new comments

• Allow nonpayable functions to override payable functions

  #11253 commented on Jan 5, 2025 • 0 new comments

• param and return names are not checked when using `inheritdoc`

  #15684 commented on Jan 6, 2025 • 0 new comments

• How about adding Erwin, a random Solidity program generator, into CI/CD workflow?

  #15680 commented on Jan 6, 2025 • 0 new comments

• Repeated error message caused by omitting "--via-ir"

  #15646 commented on Jan 6, 2025 • 0 new comments

• Do not set freemem pointer when having only fallback function with sole assembly block

  #15627 commented on Jan 6, 2025 • 0 new comments

• Manipulating multi-dimensional arrays causes IR-based code generation to return incorrect values.

  #15602 commented on Jan 6, 2025 • 0 new comments

• Assigning values to bytes causes an ABICoder v1 decoding exception.

  #15604 commented on Jan 6, 2025 • 0 new comments

• Rename the Solidity contract metadata.json to Blueprint

  #15614 commented on Jan 6, 2025 • 0 new comments

• Add Support for Compiling and Deploying First Class Functions

  #15621 commented on Jan 6, 2025 • 0 new comments

• SMTChecker: fail to report underflow

  #15598 commented on Jan 8, 2025 • 0 new comments

• SMTChecker: Use SMT-LIB interface instead of solvers' APIs

  #14891 commented on Jan 10, 2025 • 0 new comments

• Drop support for ancient EVM versions, i.e. for homestead

  #12246 commented on Jan 13, 2025 • 0 new comments

• Allow specifying storage locations

  #597 commented on Jan 14, 2025 • 0 new comments

• (v0.8.26) Contract code changes with additional files in compilation

  #15686 commented on Jan 20, 2025 • 0 new comments

• Error: `Definition of base has to precede definition of derived contract` when specific file in standard-json-input `outputSelection` but works when `outputSelection` file is specific

  #12932 commented on Jan 20, 2025 • 0 new comments

• `Undeclared identifier` error due to wrong topological sorting of sources in presence of a cycle

  #13985 commented on Jan 20, 2025 • 0 new comments

• Version the `list.json` file for build information

  #14955 commented on Jan 21, 2025 • 0 new comments

• Outputting the CBOR Metadata positions in the bytecode

  #14827 commented on Jan 21, 2025 • 0 new comments

• Expose sub-structure of bytecode

  #9332 commented on Jan 21, 2025 • 0 new comments

• Better "stack too deep" errors

  #12449 commented on Jan 21, 2025 • 0 new comments

• Remove `uint` as alias for `uint256`

  #14026 commented on Jan 29, 2025 • 0 new comments

• Functions that contain "unnamed return variables" should trigger a compiler error and not a warning.

  #14017 commented on Jan 29, 2025 • 0 new comments

• Remove support for the catch all (*) in the using statement

  #11882 commented on Jan 29, 2025 • 0 new comments

• Reconsider operators on ContractType

  #11700 commented on Jan 29, 2025 • 0 new comments

• Restrict source files to ASCII, only allowing unicode via pragma.

  #10607 commented on Jan 29, 2025 • 0 new comments

• Wrong evaluation order of arguments to parent constructors

  #10480 commented on Jan 29, 2025 • 0 new comments

• Some issues with modifier depth

  #8842 commented on Jan 29, 2025 • 0 new comments