Commits

Breadcrumbs

History for

onadd-extra-test-case-for-event-natspec

User selector

All users

Datepicker

All time

Commit History

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 22, 2022

• Allow running Eldarica from the command line

  

  Leo Alt

  committed
  24df40d

  Copy full SHA for 24df40d

Commits on Sep 26, 2022

• Added tests for --no-append-metadata

  Show description for d32661c
  hrkrshnn

  committed
  d32661c

  Copy full SHA for d32661c

Commits on Sep 13, 2022

• Boost tests for non-delimited optimizer sequence

  nikola-matic

  committed
  4a52be8

  Copy full SHA for 4a52be8

• 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

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 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

Commits on Nov 2, 2021

• Treat --help, --license and --version as separate input modes

  cameel

  committed
  93c1fe6

  Copy full SHA for 93c1fe6

Commits on Oct 26, 2021

• Adjust ModelCheckerSettings in tools tests

  

  Leo Alt

  committed
  2cbd496

  Copy full SHA for 2cbd496

Commits on Oct 15, 2021

• Disallowed --error-recovery in Standard json, Assembly and Linker input modes

  

  Midhun07

  authored and

  cameel

  committed
  b28e5c8

  Copy full SHA for b28e5c8

Commits on Oct 11, 2021

• Expose --debug-info/settings.debug.debugInfo option

  cameel

  committed
  a9e794c

  Copy full SHA for a9e794c

Commits on Oct 6, 2021

• CommandLineParser: Validate compiler output selection

  cameel

  committed
  b9b2c69

  Copy full SHA for b9b2c69

Commits on Sep 27, 2021

• Add --include-path option

  cameel

  committed
  c8a7a1d

  Copy full SHA for c8a7a1d

• Do not whitelist any paths if remapping target is empty

  cameel

  committed
  c0b8378

  Copy full SHA for c0b8378

• Handle allowing empty paths correctly

  cameel

  committed
  479ba7c

  Copy full SHA for 479ba7c

Commits on Sep 13, 2021

• Reject optimizer options as invalid in linker and Standard JSON modes

  cameel

  committed
  7a36a1d

  Copy full SHA for 7a36a1d

Commits on Aug 30, 2021

• Disallowed option --experimental-via-ir in Assembler, Linker and StandardJson input modes

  Midhun07

  committed
  11065c6

  Copy full SHA for 11065c6

Commits on Aug 11, 2021

• Make show unproved CLI a flag

  

  Leo Alt

  committed
  8ce8786

  Copy full SHA for 8ce8786

Commits on Aug 6, 2021

• Add option divModWithSlacks

  

  Leo Alt

  committed
  08c065e

  Copy full SHA for 08c065e

Commits on Aug 4, 2021

• Tests

  

  Leo Alt

  committed
  3c1f555

  Copy full SHA for 3c1f555

Commits on Aug 3, 2021

• Only set "runs" if used.

  

  chriseth

  authored and

  cameel

  committed
  01a1316

  Copy full SHA for 01a1316

Commits on Jul 29, 2021

• CommandLineParser: Handle --optimize-runs option in assembly mode

  Show description for c627e6a
  

  jaa2

  authored and

  hrkrshnn

  committed
  c627e6a

  Copy full SHA for c627e6a

Commits on Jul 27, 2021

• Add option to choose solver

  

  Leo Alt

  committed
  6c8ecfa

  Copy full SHA for 6c8ecfa

• Process input files in Standard JSON mode just like in other modes

  Show description for 9a7c364
  cameel

  committed
  9a7c364

  Copy full SHA for 9a7c364

Commits on Jul 26, 2021

• Make --pretty-json work with Standard JSON output

  

  sladecek

  authored and

  cameel

  committed
  9bbeea5

  Copy full SHA for 9bbeea5

Commits on Jul 7, 2021

• Test for the --help option

  cameel

  committed
  baced5d

  Copy full SHA for baced5d

• CommandLineParser: Replace global sout/serr streams with class members

  Show description for 6c33fbc
  cameel

  committed
  6c33fbc

  Copy full SHA for 6c33fbc

Commits on Jul 6, 2021

• Tests for all input modes in CommandLineParser

  cameel

  committed
  ef7abd2

  Copy full SHA for ef7abd2

Loading