Commits

Branch selector

 v0.8.30

User selector

All users

Datepicker

All time

Commit History

Commits on May 7, 2025

• Merge pull request #16035 from ethereum/set-release-date-for-0-8-30

  Show description for 73712a0
  nikola-matic

  authored
  73712a0

  Copy full SHA for 73712a0

• Set changelog release date

  nikola-matic

  committed
  1c8d401

  Copy full SHA for 1c8d401

• Merge pull request #16033 from ethereum/fix-docs-links

  Show description for 3bd783d
  nikola-matic

  authored
  3bd783d

  Copy full SHA for 3bd783d

• Fix broken docs links

  nikola-matic

  committed
  1e6842c

  Copy full SHA for 1e6842c

• Merge pull request #16030 from ethereum/makePragueDefaultEVMVersion

  Show description for b53d23a
  matheusaaguiar

  authored
  b53d23a

  Copy full SHA for b53d23a

Commits on May 6, 2025

• Workaround for openzepellin ext test

  matheusaaguiar

  committed
  13d734f

  Copy full SHA for 13d734f

• Increase resource for uniswap ext test

  matheusaaguiar

  committed
  24d534f

  Copy full SHA for 24d534f

• bump hardhat version

  matheusaaguiar

  committed
  ca699f9

  Copy full SHA for ca699f9

• Set prague as EVM default version

  matheusaaguiar

  committed
  49c2e55

  Copy full SHA for 49c2e55

• Merge pull request #16026 from ethereum/assert_swapn_dupn_in_assemblyitem

  Show description for d0bae61
  clonker

  authored
  d0bae61

  Copy full SHA for d0bae61

• Assembly item asserts that it's not implicity constructed by instruction for swapn/dupn

  

  clonker

  authored and

  cameel

  committed
  78107e3

  Copy full SHA for 78107e3

• Merge pull request #16021 from ethereum/subassemblies-in-evm-assembly-tests

  Show description for d77affb
  cameel

  authored
  d77affb

  Copy full SHA for d77affb

• PlainAssemblyParser: Support pushing assembly sizes and offsets

  cameel

  committed
  202933b

  Copy full SHA for 202933b

• PlainAssemblyParser: Syntax for subassemblies

  cameel

  committed
  73af652

  Copy full SHA for 73af652

• PlainAssemblyParser: Store the stream globally in the class

  cameel

  committed
  09fc1d4

  Copy full SHA for 09fc1d4

Commits on Apr 28, 2025

• Merge pull request #16025 from gap-editor/1

  Show description for b136829
  blishko

  authored
  b136829

  Copy full SHA for b136829

• Update SMTPortfolio.cpp

  gap-editor

  authored
  76e8016

  Copy full SHA for 76e8016

Commits on Apr 26, 2025

• Update SMTPortfolio.cpp

  gap-editor

  authored
  649c8ee

  Copy full SHA for 649c8ee

Commits on Apr 24, 2025

• Merge pull request #15991 from ipsilon/enable-peephole-optimiser

  Show description for 4c4860b
  cameel

  authored
  4c4860b

  Copy full SHA for 4c4860b

• eof: Add peephole optimiser tests for EOF specific optimisations

  rodiazet

  committed
  03fde2a

  Copy full SHA for 03fde2a

• eof: Enable peephole optimizer for EOF.

  rodiazet

  committed
  975ee13

  Copy full SHA for 975ee13

Commits on Apr 23, 2025

• Merge pull request #16012 from ethereum/evmasm-test-case

  Show description for 6d62ea0
  cameel

  authored
  6d62ea0

  Copy full SHA for 6d62ea0

• Support human-readable assembly in EVM assembly test case

  cameel

  committed
  fe39551

  Copy full SHA for fe39551

• EVM assembly test case with JSON input

  cameel

  committed
  266c7d4

  Copy full SHA for 266c7d4

• Add a transparent comparator to c_instructions to allow string_view lookups

  cameel

  committed
  d3238c0

  Copy full SHA for d3238c0

• TestCaseReader: Expose fileName()

  cameel

  committed
  dd01ddd

  Copy full SHA for dd01ddd

• EVMAssemblyStack: Add extra accessors that do not require contract name

  cameel

  committed
  fe74111

  Copy full SHA for fe74111

• Merge pull request #15473 from ryabykhms/docs-example-issue

  Show description for 5baa791
  matheusaaguiar

  authored
  5baa791

  Copy full SHA for 5baa791

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

  ryabykhms

  committed
  ae3da8c

  Copy full SHA for ae3da8c

• Merge pull request #16019 from ethereum/smt-more-refactoring

  Show description for 7526fbc
  blishko

  authored
  7526fbc

  Copy full SHA for 7526fbc

• SMTChecker: Remove unused functionality

  blishko

  committed
  629bb28

  Copy full SHA for 629bb28

• SMTChecker: Clean up includes

  blishko

  committed
  b1a9031

  Copy full SHA for b1a9031

• Merge pull request #15862 from ethereum/smt-fix-loops-in-bmc

  Show description for 8caf354
  blishko

  authored
  8caf354

  Copy full SHA for 8caf354

Commits on Apr 22, 2025

• SMTChecker: Loop conditions should be analyzed as in loop context in BMC

  Show description for d9083dc
  blishko

  committed
  d9083dc

  Copy full SHA for d9083dc

• SMTChecker: Refactor handling of ConstantCondition verification target

  blishko

  committed
  880b61b

  Copy full SHA for 880b61b

Pagination

Previous

Next