Commits

Branch selector

 develop

User selector

All users

All time

Commit History

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

• Merge pull request #15996 from ethereum/cmdlineTests_go_to_test_dir

  Show description for 2ab62d7
  clonker

  authored
  2ab62d7

  Copy full SHA for 2ab62d7

• update test expectations with cwd being in test dir

  clonker

  committed
  2fa170e

  Copy full SHA for 2fa170e

• change into test dir for cmdline tests

  clonker

  committed
  02d2c9a

  Copy full SHA for 02d2c9a

Commits on Apr 17, 2025

• Merge pull request #15940 from sky-coderay/develop

  Show description for 8cf3305
  matheusaaguiar

  authored
  8cf3305

  Copy full SHA for 8cf3305

• fix minor issues

  Show description for d22a070
  

  sky-coderay

  authored and

  matheusaaguiar

  committed
  d22a070

  Copy full SHA for d22a070

Commits on Apr 16, 2025

• Merge pull request #15885 from NeoByteXx/develop

  Show description for 0881d62
  matheusaaguiar

  authored
  0881d62

  Copy full SHA for 0881d62

• Merge pull request #15904 from Ferran969/improve-yulname-literal

  Show description for 7d1dfa3
  matheusaaguiar

  authored
  7d1dfa3

  Copy full SHA for 7d1dfa3

• Merge pull request #15890 from eeemmmmmm/patch-2

  Show description for 687ad65
  matheusaaguiar

  authored
  687ad65

  Copy full SHA for 687ad65

• Fix typo in test script comments

  

  NeoByteXx

  authored and

  matheusaaguiar

  committed
  771d805

  Copy full SHA for 771d805

• Merge pull request #15827 from voronor/patch-2

  Show description for f5134df
  matheusaaguiar

  authored
  f5134df

  Copy full SHA for f5134df

• Merge pull request #15897 from argentpapa/develop

  Show description for 0c28f4a
  matheusaaguiar

  authored
  0c28f4a

  Copy full SHA for 0c28f4a

• Merge pull request #15924 from PixelPil0t1/patch-1

  Show description for da51fe4
  matheusaaguiar

  authored
  da51fe4

  Copy full SHA for da51fe4

• Replace temporary std::string with std::string_view in _yulname literal to avoid unnecessary allocations

  

  ferranmesas@gmx.es

  authored and

  matheusaaguiar

  committed
  10b21b8

  Copy full SHA for 10b21b8

• Merge pull request #15891 from Bilogweb3/develop

  Show description for 7fee102
  matheusaaguiar

  authored
  7fee102

  Copy full SHA for 7fee102

• Update ControlFlowGraphBuilder.h

  

  eeemmmmmm

  authored and

  matheusaaguiar

  committed
  ab77b34

  Copy full SHA for ab77b34

Pagination

Previous

Next