Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

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

Commits on May 24, 2023

• Disallow using both --optimize-yul and --no-optimize-yul at the same time

  cameel

  committed
  a11b1c8

  Copy full SHA for a11b1c8

Commits on May 11, 2023

• Remove EWASM backend.

  aarlt

  committed
  c567327

  Copy full SHA for c567327

Commits on Apr 20, 2023

• Misc small refactors: Superfluous std::, trailing commas in lists, whitespace, missing breaks, import order

  

  aarlt

  authored and

  cameel

  committed
  2f78e95

  Copy full SHA for 2f78e95

Commits on Apr 11, 2023

• feat: introduce EVM Version Shanghai

  Show description for 802f895
  hrkrshnn

  committed
  802f895

  Copy full SHA for 802f895

Commits on Mar 15, 2023

• group unsupported warnings

  

  Leo Alt

  committed
  aacbe72

  Copy full SHA for aacbe72

Commits on Mar 9, 2023

• Report safe properties in BMC and CHC

  

  Leo Alt

  committed
  21c0f78

  Copy full SHA for 21c0f78

Commits on Feb 6, 2023

• [SMTChecker] Add a new trusted mode which assumes that code that is

  Show description for 8d91ccf
  

  Leo Alt

  committed
  8d91ccf

  Copy full SHA for 8d91ccf

Commits on Nov 23, 2022

• Merge pull request #13733 from ethereum/eofSetting

  Show description for eb2f874
  ekpyron

  authored
  eb2f874

  Copy full SHA for eb2f874

• Add experimental EOF options for CLI and Standard JSON.

  Show description for bf26d3b
  

  ekpyron

  and

  cameel

  committed
  bf26d3b

  Copy full SHA for bf26d3b

Commits on Nov 22, 2022

• Allow running Eldarica from the command line

  

  Leo Alt

  committed
  24df40d

  Copy full SHA for 24df40d

Commits on Nov 21, 2022

• Add basic support for the EVM version Paris

  Show description for eb8af2c
  

  axic

  authored and

  cameel

  committed
  eb8af2c

  Copy full SHA for eb8af2c

Commits on Sep 26, 2022

• Add `--no-append-metadata` in CLI and `metadata.append` in JSON

  Show description for f96e802
  hrkrshnn

  committed
  f96e802

  Copy full SHA for f96e802

Commits on Sep 13, 2022

• Address review comments

  nikola-matic

  committed
  e37dc8e

  Copy full SHA for e37dc8e

Commits on Sep 12, 2022

• Command line tests and minor touch ups

  nikola-matic

  committed
  314a1cc

  Copy full SHA for 314a1cc

• Make hardcoded parts of the optimizer sequence configurable

  nikola-matic

  committed
  f6f0d6a

  Copy full SHA for f6f0d6a

Commits on Sep 5, 2022

• Add a check for unqualified move

  nikola-matic

  committed
  1f6a299

  Copy full SHA for 1f6a299

Commits on Aug 15, 2022

• Document in ``solc --help`` usage of ``--metadata`` better.

  Marenz

  committed
  5da4658

  Copy full SHA for 5da4658

Commits on Jun 16, 2022

• Disallowed --metadata-literal, --model-checker-show-unproved, --model-checker-div-mod-no-slacks ----metadata-hash=swarm outside of compiler mode

  

  Midhun07

  authored and

  nishant-sachdeva

  committed
  697821b

  Copy full SHA for 697821b

Commits on Apr 8, 2022

• Renamed AssemblyStack to YulStack

  Show description for e1a5939
  

  JoshIQui

  authored and

  cameel

  committed
  e1a5939

  Copy full SHA for e1a5939

Commits on Mar 14, 2022

• Mark viaIR code generation as non-experimental.

  ekpyron

  committed
  e58c0b5

  Copy full SHA for e58c0b5

Commits on Mar 8, 2022

• Specify namespaces

  Show description for 519e1c9
  tylerfxn

  committed
  519e1c9

  Copy full SHA for 519e1c9

Commits on Dec 16, 2021

• Initial implementation of Language Server

  

  christianparpart

  authored and

  chriseth

  committed
  927b24d

  Copy full SHA for 927b24d

Commits on Nov 9, 2021

• Move the Yul experimental warning from CommandLineParser to CommandLineInterface and remove stderr from the parser

  cameel

  committed
  16f62ed

  Copy full SHA for 16f62ed

• CommandLineParser: Report errors by raising exceptions

  cameel

  committed
  3f54711

  Copy full SHA for 3f54711

Commits on Nov 4, 2021

• New CLI output in assembly mode: `--ewasm-ir`

  cameel

  committed
  1a19d9a

  Copy full SHA for 1a19d9a

• Don't ignore output selection in assembly mode

  cameel

  committed
  affeff1

  Copy full SHA for affeff1

Pagination

Previous

Next