Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 6, 2025

• fix: shorten bytecode output in unknown deployed bytecode warning (#573)

  daejunpark

  authored
  079bb42

  Copy full SHA for 079bb42

Commits on Aug 4, 2025

• fix: immediately halt execution on assert(false) (#572)

  daejunpark

  authored
  e20e8f6

  Copy full SHA for e20e8f6

Commits on Aug 1, 2025

• avoid "0 bytes of initcode" at top level

  Show description for 23aa821
  0xkarmacoma

  committed
  23aa821

  Copy full SHA for 23aa821

• stop "Parsing ..." status when done

  Show description for 40c4781
  0xkarmacoma

  committed
  40c4781

  Copy full SHA for 40c4781

Commits on Jul 31, 2025

• create solver_output in case of errors too (#570)

  0xkarmacoma

  authored
  ba94bdc

  Copy full SHA for ba94bdc

Commits on Jul 29, 2025

• avoid solver race conditions with a lock (#569)

  0xkarmacoma

  authored
  7516619

  Copy full SHA for 7516619

Commits on Jul 26, 2025

• test: add regression test for issue #558 (#561)

  daejunpark

  authored
  a1fb04a

  Copy full SHA for a1fb04a

Commits on Jul 25, 2025

• add option to download bitwuzla's static binaries (#566)

  0xkarmacoma

  authored
  d2365db

  Copy full SHA for d2365db

• temporarily avoid rich 14.1.0 (#564)

  0xkarmacoma

  authored
  72fd7a0

  Copy full SHA for 72fd7a0

Commits on Jun 20, 2025

• feat: save timeout queries for offline solving (#552)

  daejunpark

  authored
  dac5018

  Copy full SHA for dac5018

• Fix OSError(9, 'Bad file descriptor') in solver callback after early exit (#551)

  Copilot

  authored
  9b4f241

  Copy full SHA for 9b4f241

Commits on Jun 19, 2025

• docs: add readme for invariant testing examples (#550)

  daejunpark

  authored
  acc4ab7

  Copy full SHA for acc4ab7

Commits on Jun 18, 2025

• docs: add erc20 invariant testing examples (#548)

  daejunpark

  authored
  bb41bc0

  Copy full SHA for bb41bc0

Commits on Jun 17, 2025

• ci: remove solver timeout for long and ffi tests (#547)

  daejunpark

  authored
  c6aa169

  Copy full SHA for c6aa169

Commits on Jun 16, 2025

• Fix config precedence: command line options now have highest precedence (#544)

  Copilot

  authored
  9118199

  Copy full SHA for 9118199

Commits on Jun 14, 2025

• Fix solver resolution precedence to preserve original config source priority (#539)

  Copilot

  authored
  92f02d7

  Copy full SHA for 92f02d7

Commits on Jun 11, 2025

• feat: handle assertion violations from non-testing functions (#532)

  daejunpark

  authored
  275cbb4

  Copy full SHA for 275cbb4

• skip reserved function afterInvariant()

  Show description for 5b055f0
  0xkarmacoma

  committed
  5b055f0

  Copy full SHA for 5b055f0

Commits on Jun 10, 2025

• chore: cleanup for #526 (#536)

  daejunpark

  authored
  a47ec3f

  Copy full SHA for a47ec3f

• allow targetContract(address(this)), exclude special functions automa… (#535)

  Show description for 41f47aa
  

  0xkarmacoma

  and

  daejunpark

  authored
  41f47aa

  Copy full SHA for 41f47aa

• Enhancement#54 (#526)

  Show description for fe3d559
  

  Jayakumar2812

  and

  0xkarmacoma

  authored
  fe3d559

  Copy full SHA for fe3d559

Commits on Jun 9, 2025

• Add --dump-smt-directory flag to specify custom SMT dump location (#533)

  Copilot

  authored
  64a854f

  Copy full SHA for 64a854f

Commits on Jun 7, 2025

• provide copilot instructions (#534)

  0xkarmacoma

  authored
  b4266cf

  Copy full SHA for b4266cf

Commits on Jun 4, 2025

• implement explicit config source precedence (#531)

  0xkarmacoma

  authored
  6158353

  Copy full SHA for 6158353

• fix: force fresh build when coverage reporting enabled (#529)

  daejunpark

  authored
  229705d

  Copy full SHA for 229705d

Commits on Jun 3, 2025

• simplify solver config in test-external (#530)

  0xkarmacoma

  authored
  6e9960e

  Copy full SHA for 6e9960e

• use more explicit yices-solver version (#528)

  0xkarmacoma

  authored
  c77cfc7

  Copy full SHA for c77cfc7

Commits on Jun 2, 2025

• fix: too many open files (#527)

  daejunpark

  authored
  f0d7be4

  Copy full SHA for f0d7be4

Commits on May 31, 2025

• switch to yices by default (#525)

  0xkarmacoma

  authored
  76e79fb

  Copy full SHA for 76e79fb

Commits on May 27, 2025

• feat: instruction coverage reporting (#521)

  daejunpark

  authored
  9444ca8

  Copy full SHA for 9444ca8

Commits on May 19, 2025

• refactor: extract_bytes(x, y, 32) => x.get_word(y) (#519)

  Show description for dfca716
  

  daejunpark

  and

  0xkarmacoma

  authored
  dfca716

  Copy full SHA for dfca716

• fix: Exec.dump error (#522)

  daejunpark

  authored
  c05179f

  Copy full SHA for c05179f

• refactor: move Contract and Instruction to separate module (#520)

  daejunpark

  authored
  8042a5b

  Copy full SHA for 8042a5b

Commits on May 16, 2025

• feat: add createCalldata with address (#517)

  daejunpark

  authored
  5671f5c

  Copy full SHA for 5671f5c

Commits on May 14, 2025

• chore: set up Trusted Publishing for publish-pypi.yml (#518)

  0xkarmacoma

  authored
  9829484

  Copy full SHA for 9829484

Pagination

Previous

Next