Release 0.8.27#116

Merged

CodeNinjaEvan merged 299 commits intodevelopfrom

Apr 24, 2026

This pull request is big! We're only showing the most recent 250 commits

Commits on Jun 6, 2024

Commits on Jun 11, 2024

Merge pull request #15102 from ethereum/install-cvc5
Martin Blicha
authored
SMTChecker: Upgrade CVC4 to cvc5
Martin Blicha
committed
Update CI images
Martin Blicha
committed
SMTChecker: Allow using multiple external solvers in one analysis
Martin Blicha
committed
Merge pull request #15078 from ethereum/smt-cvc4-switch
Martin Blicha
authored

Commits on Jun 17, 2024

Commits on Jun 18, 2024

SMTChecker: Fix internal compiler error on reporting proved targets
pgebal
committed

Commits on Jun 19, 2024

Remove overly specific handlers for internal errors and unexpected exceptions

cameel
authored and
matheusaaguiar
committed
DocumentationParsingError is never thrown and does not need to be caught

cameel
authored and
matheusaaguiar
committed
Treat util::Error as unexpected outside of codegen

cameel
authored and
matheusaaguiar
committed

Commits on Jun 20, 2024

Commits on Jun 21, 2024

Require with custom error for legacy pipeline
nikola-matic
committed
Changelog and docs
nikola-matic
committed
Merge pull request #15205 from pgebal/smtchecker/fix-show-proved-safe
Martin Blicha
authored
SMTChecker: Methods returning callback can be const
Martin Blicha
committed
SMTChecker: Add SMT callback to SMTChecker tests
Martin Blicha
committed
SMTChecker: Bring back assertions in "external_calls" SMTChecker tests
Martin Blicha
committed
Docs: Small update regarding the use of Eldarica
Martin Blicha
committed
Merge pull request #15204 from ethereum/smt-tests-update
Martin Blicha
authored
Merge pull request #15174 from ethereum/require-with-error-legacy
nikola-matic
authored

Commits on Jun 24, 2024

doc: better specify blobhash() behaviour
ToonVanHove
committed

Commits on Jun 25, 2024

Commits on Jun 26, 2024

Merge pull request #15220 from ethereum/smt-invariants-fix-unary-ops
Martin Blicha
authored

Commits on Jun 28, 2024

Commits on Jul 1, 2024

Commits on Jul 2, 2024

Merge pull request #15232 from ethereum/fuzzer-filter-tstore
ekpyron
authored

Commits on Jul 4, 2024

Commits on Jul 5, 2024

SMTChecker: Move formatting methods out of Predicate
Martin Blicha
committed

Commits on Jul 7, 2024

OptimizedEVMCodeTransform: tag source location in stack too deep errors in yul
meetmangukiya
committed

Commits on Jul 9, 2024

Commits on Jul 10, 2024

SMTChecker: Simplify some of the long running tests
Martin Blicha
committed
Merge pull request #15254 from ethereum/smt-test-simplify
Martin Blicha
authored

Commits on Jul 11, 2024

Yul: Add const version of FunctionCallFinder
clonker
committed
SMTChecker: Further test simplifications
Martin Blicha
committed

Commits on Jul 12, 2024

Merge pull request #15253 from ethereum/const_function_call_finder
clonker
authored

Commits on Jul 17, 2024

Commits on Jul 19, 2024

Commits on Jul 20, 2024

Commits on Jul 22, 2024

Commits on Jul 23, 2024

Merge pull request #15290 from d-xo/update-dissalowed-ops-yul
ekpyron
authored

Commits on Jul 24, 2024

Commits on Jul 25, 2024

Commits on Jul 30, 2024

Merge pull request #15301 from kuzdogan/add-library-abi-notes
nikola-matic
authored
SMTChecker: Introduce SMT-LIB context
Martin Blicha
committed
Merge pull request #15239 from ethereum/smt-better-context
Martin Blicha
authored

Commits on Aug 1, 2024

Commits on Aug 2, 2024

Commits on Aug 5, 2024

Commits on Aug 6, 2024

Commits on Aug 7, 2024

Tests for warnings sensitive to optimization

cameel
authored and
clonker
committed
EVMObjectCompiler: Don't require a mutable object

cameel
authored and
clonker
committed
Move optimized IR reparsing from CompilerStack to YulStack

cameel
authored and
clonker
committed

Commits on Aug 8, 2024

Commits on Aug 9, 2024

Commits on Aug 13, 2024

Commits on Aug 14, 2024

Commits on Aug 15, 2024

Commits on Aug 18, 2024

Add back CLion build directories to .gitignore.
ekpyron
committed

Commits on Aug 19, 2024

Merge pull request #15342 from ethereum/gitignore
clonker
authored
SMTChecker: Inline let expressions in solvers' models
Martin Blicha
committed
Merge pull request #15195 from ethereum/some_dependencies_as_git_submodules
aarlt
authored
Merge pull request #15336 from ethereum/smt-lets
Martin Blicha
authored
docs: add the onlyBuyer modifier in function confirmPurchase()

DestinyWei
authored and
mehtavishwa30
committed
Update safe-remote.rst
mehtavishwa30
authored
SMTChecker: Translate bitvector constants properly
Martin Blicha
committed
Merge pull request #15344 from ethereum/revert-docs-pr
ekpyron
authored
Object compiler tests for nested identical objects

cameel
authored and
clonker
committed
Object: Add missing `override` specifier to overridden methods

cameel
authored and
clonker
committed
ObjectDebugData: Expose a helper for formatting the @use-src comment

cameel
authored and
clonker
committed
Caching of optimized IR

cameel
authored and
clonker
committed
OptimizedIRCachingTest

cameel
authored and
clonker
committed
Merge pull request #15267 from ethereum/caching-optimized-ir
clonker
authored
Fix some submodule related problems.
aarlt
committed
Merge pull request #15346 from ethereum/fix_submodules
ekpyron
authored
Merge pull request #15345 from ethereum/smt-parse-constants
ekpyron
authored
Update fmtlib to v11.0.2.
aarlt
committed

Commits on Aug 20, 2024

Merge pull request #15305 from ethereum/version_bump_submodules
aarlt
authored

Commits on Aug 23, 2024

Commits on Aug 26, 2024

Commits on Aug 27, 2024

Merge pull request #15360 from eltociear/patch-3
cameel
authored

Commits on Aug 28, 2024

Commits on Aug 29, 2024

Commits on Sep 2, 2024

Commits on Sep 3, 2024

Commits on Sep 4, 2024

Commits on Jan 9, 2026

Merge tag 'v0.8.27' into merge_from_v0.8.27
yanghang8612
committed

Commits on Mar 30, 2026

Commits on Apr 8, 2026