Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 3, 2025

• Add validations against selecting EOF on EVM versions that do not support it

  cameel

  committed
  7841d88

  Copy full SHA for 7841d88

Commits on Feb 27, 2025

• Allow --irOptimized output selection in ethdebug.

  aarlt

  committed
  872805b

  Copy full SHA for 872805b

Commits on Feb 17, 2025

• Merge pull request #15809 from ethereum/smt-do-not-restrict-printing-query

  Show description for 36853ab
  blishko

  authored
  36853ab

  Copy full SHA for 36853ab

Commits on Feb 13, 2025

• CLI: Allows to run the asm optimizer on imported asm

  

  clonker

  authored and

  cameel

  committed
  7b22b9c

  Copy full SHA for 7b22b9c

• SMTChecker: Allow printing queries for all solvers

  Show description for 3b96599
  blishko

  committed
  3b96599

  Copy full SHA for 3b96599

Commits on Jan 28, 2025

• Merge pull request #15751 from ethereum/cpp20

  Show description for 96c8f38
  clonker

  authored
  96c8f38

  Copy full SHA for 96c8f38

• fix various compiler warnings and errors due to version bump and cxx20

  clonker

  committed
  e97e993

  Copy full SHA for e97e993

Commits on Jan 27, 2025

• Error when ethdebug is used with optimization.

  aarlt

  committed
  7ea985d

  Copy full SHA for 7ea985d

• Enable ethdebug debug info and output selection.

  aarlt

  committed
  1832fbd

  Copy full SHA for 1832fbd

Commits on Oct 22, 2024

• Mark prague as experimental in places where it was not so (docs, --help)

  cameel

  committed
  167f554

  Copy full SHA for 167f554

• Make it possible to enumerate EVM versions to avoid repetition

  cameel

  committed
  a610a5f

  Copy full SHA for a610a5f

Commits on Sep 2, 2024

• Hide undocumented yul export cfg option

  r0qs

  committed
  ad969e2

  Copy full SHA for ad969e2

Commits on Aug 28, 2024

• Convert Yul CFG to Json

  r0qs

  committed
  80533d8

  Copy full SHA for 80533d8

Commits on Aug 8, 2024

• CLI: remove --yul flag

  clonker

  committed
  ea85a78

  Copy full SHA for ea85a78

Commits on Aug 1, 2024

• generate transient storage layout

  matheusaaguiar

  committed
  c5685e7

  Copy full SHA for c5685e7

Commits on Jul 31, 2024

• Add --asm-json option in assembler mode.

  Show description for 9a1d740
  

  3 peoplecommitted
  9a1d740

  Copy full SHA for 9a1d740

Commits on Jun 11, 2024

• SMTChecker: Upgrade CVC4 to cvc5

  Show description for b8ba5da
  blishko

  committed
  b8ba5da

  Copy full SHA for b8ba5da

Commits on May 28, 2024

• Introduce evm version prague

  matheusaaguiar

  committed
  85396f4

  Copy full SHA for 85396f4

Commits on Apr 18, 2024

• fix uncaught ICE when --yul-optimizations is empty/blank

  

  matheusaaguiar

  authored and

  cameel

  committed
  a0e1a3e

  Copy full SHA for a0e1a3e

Commits on Nov 30, 2023

• Introduce `Cancun` EVM version

  r0qs

  committed
  0022089

  Copy full SHA for 0022089

Commits on Nov 7, 2023

• Accept empty optimizer sequence with Yul optimizer disabled

  Show description for d899d9c
  nikola-matic

  committed
  d899d9c

  Copy full SHA for d899d9c

Commits on Oct 24, 2023

• EVM assembly import via --import-asm-json

  Show description for 67e11fc
  

  3 peoplecommitted
  67e11fc

  Copy full SHA for 67e11fc

Commits on Oct 19, 2023

• Introduce --no-import-callback CLI option

  Show description for db98eed
  

  nikola-matic

  authored and

  cameel

  committed
  db98eed

  Copy full SHA for db98eed

Commits on Oct 16, 2023

• CommandLineParser: Don't color the error message printed when --color and --no-color are used at the same time

  cameel

  committed
  23b7505

  Copy full SHA for 23b7505

• Try harder to respect --color/--no-color in presence of errors and assume --no-color when in doubt

  cameel

  committed
  fa43d1e

  Copy full SHA for fa43d1e

• CommandLineParser: Don't assume clear internal state before parsing

  cameel

  committed
  42770fc

  Copy full SHA for 42770fc

Commits on Aug 23, 2023

• Purge using namespace std from solc

  Show description for 86ed964
  junaire

  committed
  86ed964

  Copy full SHA for 86ed964

Commits on Aug 22, 2023

• Remove parser error recovery mode

  cameel

  committed
  9adbced

  Copy full SHA for 9adbced

Commits on Jun 16, 2023

• Add --print-smt flag to output SMTChecker SMTLIB code

  pgebal

  committed
  d4be1d9

  Copy full SHA for d4be1d9

Commits on Jun 14, 2023

• CommandLineParser: Fix some outputs not being properly disallowed with --stop-after parsing

  cameel

  committed
  f8a1af8

  Copy full SHA for f8a1af8

Commits on Jun 6, 2023

• Make --optimize-yul work again

  cameel

  committed
  2769bb5

  Copy full SHA for 2769bb5

• CommandLineParser: Store the state of EVM assembly and Yul optimizer explicitly

  Show description for 42a068b
  cameel

  committed
  42a068b

  Copy full SHA for 42a068b

Commits on Jun 2, 2023

• Add optional bounds to unroll loops in BMC model checker

  pgebal

  committed
  f15b826

  Copy full SHA for f15b826

Commits on May 29, 2023

• Fix issue 14259 - help text about standard input usage

  

  davidBar-On

  authored and

  nikola-matic

  committed
  cf106c4

  Copy full SHA for cf106c4

Commits on May 26, 2023

• Yul AST output on the CLI and in Standard JSON

  

  GiokaMarkella

  authored and

  cameel

  committed
  28a1abf

  Copy full SHA for 28a1abf

Pagination

Previous

Next