Commits

Branch selector

 develop

User selector

blishko

Datepicker

All time

Commit History

Commits on Dec 3, 2024

• Merge pull request ethereum#15551 from ethereum/ci-update-z3-docker-images

  Show description for 72a760e
  blishko

  authored
  72a760e

  Copy full SHA for 72a760e

Commits on Dec 2, 2024

• Docker: Update Z3 and cvc5 versions

  blishko

  committed
  75ad2ea

  Copy full SHA for 75ad2ea

• Run docker container as current user, not as root

  blishko

  committed
  6cec259

  Copy full SHA for 6cec259

• Merge pull request ethereum#15558 from ethereum/update-solvers

  Show description for cfb9d8b
  blishko

  authored
  cfb9d8b

  Copy full SHA for cfb9d8b

Commits on Nov 29, 2024

• SMTChecker: Update solvers' versions in CI and update test expectations

  Show description for 973b403
  blishko

  committed
  973b403

  Copy full SHA for 973b403

• Pylint: Disable check for too many positional arguments

  blishko

  committed
  ff62b34

  Copy full SHA for ff62b34

• CI: Limit parallelism when building Z3 on MacOS

  Show description for 8fdbee8
  blishko

  committed
  8fdbee8

  Copy full SHA for 8fdbee8

Commits on Nov 21, 2024

• Merge pull request ethereum#15579 from ethereum/optimize-referenced-sources

  Show description for 72795fb
  blishko

  authored
  72795fb

  Copy full SHA for 72795fb

• AST: More efficient way to collect referenced source units

  Show description for 48d40d5
  blishko

  committed
  48d40d5

  Copy full SHA for 48d40d5

Commits on Nov 20, 2024

• Yul: Avoid expensive check against std::regex when possible

  blishko

  committed
  5150015

  Copy full SHA for 5150015

• Yul: Avoid expensive check in frequently called function

  Show description for 8548a93
  blishko

  committed
  8548a93

  Copy full SHA for 8548a93

Commits on Oct 22, 2024

• SMTChecker: Validate interaction with SMT and CHC solvers

  Show description for 2ad9723
  blishko

  committed
  2ad9723

  Copy full SHA for 2ad9723

• Add changelog entry about Z3 switch

  blishko

  committed
  2c75667

  Copy full SHA for 2c75667

• Docs: Update documentation about usage of Z3

  blishko

  committed
  8f4a7e1

  Copy full SHA for 8f4a7e1

• Purge Z3 from CMakeLists where possible

  blishko

  committed
  9fffec3

  Copy full SHA for 9fffec3

• SMTChecker: Switch to Z3 SMTLIB interface

  Show description for 436f606
  blishko

  committed
  436f606

  Copy full SHA for 436f606

• SMTChecker: Hack to make invariants more stable across platforms

  blishko

  committed
  8597223

  Copy full SHA for 8597223

• SMTChecker: Hack to get around a bug in Z3 type printing

  blishko

  committed
  86b0b48

  Copy full SHA for 86b0b48

• SMTChecker: Fix formatting of negative numbers

  blishko

  committed
  9b329f4

  Copy full SHA for 9b329f4

Commits on Sep 10, 2024

• Merge pull request ethereum#15420 from pgebal/smt-checker/fix-arrays-of-address

  Show description for e629a03
  blishko

  authored
  e629a03

  Copy full SHA for e629a03

Commits on Sep 9, 2024

• Merge pull request ethereum#15371 from ethereum/smt-prepare-bmc

  Show description for 62909de
  blishko

  authored
  62909de

  Copy full SHA for 62909de

• SMTChecker: Prepare Z3 SMT-LIB interface for BMC engine

  Show description for a204f47
  blishko

  committed
  a204f47

  Copy full SHA for a204f47

• SMTChecker: Fix parsing of model values in BMC

  Show description for c446d3b
  blishko

  committed
  c446d3b

  Copy full SHA for c446d3b

Commits on Aug 29, 2024

• Merge pull request ethereum#15369 from ethereum/smt-helper-struct

  Show description for 9fb67f0
  blishko

  authored
  9fb67f0

  Copy full SHA for 9fb67f0

• SMTChecker: Introduce helper struct for query result

  blishko

  committed
  92a74ed

  Copy full SHA for 92a74ed

Commits on Aug 28, 2024

• Merge pull request ethereum#15348 from ethereum/smt-z3smtlib-first-draft

  Show description for d5cdf07
  blishko

  authored
  d5cdf07

  Copy full SHA for d5cdf07

• SMTChecker: Introduce first draft of Z3CHCSmtlib2Interface

  Show description for 82a3071
  blishko

  committed
  82a3071

  Copy full SHA for 82a3071

Commits on Aug 19, 2024

• SMTChecker: Translate bitvector constants properly

  Show description for 020bde9
  blishko

  committed
  020bde9

  Copy full SHA for 020bde9

• Merge pull request ethereum#15336 from ethereum/smt-lets

  Show description for 98b22f8
  blishko

  authored
  98b22f8

  Copy full SHA for 98b22f8

• SMTChecker: Inline let expressions in solvers' models

  Show description for b172de5
  blishko

  committed
  b172de5

  Copy full SHA for b172de5

Commits on Aug 15, 2024

• Merge pull request ethereum#14981 from zo9999/fix-signature-of-function-operator-for-symbolic-function-variable

  Show description for fc0fb95
  blishko

  authored
  fc0fb95

  Copy full SHA for fc0fb95

Commits on Aug 14, 2024

• SMTChecker: Add setup of z3 to SMTSolverCommand

  Show description for da1bc0b
  blishko

  committed
  da1bc0b

  Copy full SHA for da1bc0b

Commits on Jul 31, 2024

• SMTChecker: Explain command-line arguments of individual solvers

  blishko

  committed
  ecfe63a

  Copy full SHA for ecfe63a

• SMTChecker: Do not prematurely end reading solver's response

  Show description for b4917bb
  blishko

  committed
  b4917bb

  Copy full SHA for b4917bb

• SMTChecker: Use pipe instead of temporary file in solver interface

  Show description for c458c3e
  blishko

  committed
  c458c3e

  Copy full SHA for c458c3e

Pagination

Previous

Next