Repository navigation

Commits

Commits on Aug 6, 2025
- fix: shorten bytecode output in unknown deployed bytecode warning (#573)
  daejunpark
  authored
  079bb42
Commits on Aug 4, 2025
- fix: immediately halt execution on assert(false) (#572)
  daejunpark
  authored
  e20e8f6
Commits on Aug 1, 2025
- avoid "0 bytes of initcode" at top level
  0xkarmacoma
  committed
  23aa821
- stop "Parsing ..." status when done
  0xkarmacoma
  committed
  40c4781
Commits on Jul 31, 2025
- create solver_output in case of errors too (#570)
  0xkarmacoma
  authored
  ba94bdc
Commits on Jul 29, 2025
- avoid solver race conditions with a lock (#569)
  0xkarmacoma
  authored
  7516619
Commits on Jul 26, 2025
- test: add regression test for issue #558 (#561)
  daejunpark
  authored
  a1fb04a
Commits on Jul 25, 2025
- add option to download bitwuzla's static binaries (#566)
  0xkarmacoma
  authored
  d2365db
- temporarily avoid rich 14.1.0 (#564)
  0xkarmacoma
  authored
  72fd7a0
Commits on Jun 20, 2025
- feat: save timeout queries for offline solving (#552)
  daejunpark
  authored
  dac5018
- Fix OSError(9, 'Bad file descriptor') in solver callback after early exit (#551)
  Copilot
  authored
  9b4f241
Commits on Jun 19, 2025
- docs: add readme for invariant testing examples (#550)
  daejunpark
  authored
  acc4ab7
Commits on Jun 18, 2025
- docs: add erc20 invariant testing examples (#548)
  daejunpark
  authored
  bb41bc0
Commits on Jun 17, 2025
- ci: remove solver timeout for long and ffi tests (#547)
  daejunpark
  authored
  c6aa169
Commits on Jun 16, 2025
- Fix config precedence: command line options now have highest precedence (#544)
  Copilot
  authored
  9118199
Commits on Jun 14, 2025
- Fix solver resolution precedence to preserve original config source priority (#539)
  Copilot
  authored
  92f02d7
Commits on Jun 11, 2025
- feat: handle assertion violations from non-testing functions (#532)
  daejunpark
  authored
  275cbb4
- skip reserved function afterInvariant()
  0xkarmacoma
  committed
  5b055f0
Commits on Jun 10, 2025
- chore: cleanup for #526 (#536)
  daejunpark
  authored
  a47ec3f
- allow targetContract(address(this)), exclude special functions automa… (#535)
  
  0xkarmacoma
  and
  daejunpark
  authored
  41f47aa
- Enhancement#54 (#526)
  
  Jayakumar2812
  and
  0xkarmacoma
  authored
  fe3d559
Commits on Jun 9, 2025
- Add --dump-smt-directory flag to specify custom SMT dump location (#533)
  Copilot
  authored
  64a854f
Commits on Jun 7, 2025
- provide copilot instructions (#534)
  0xkarmacoma
  authored
  b4266cf
Commits on Jun 4, 2025
- implement explicit config source precedence (#531)
  0xkarmacoma
  authored
  6158353
- fix: force fresh build when coverage reporting enabled (#529)
  daejunpark
  authored
  229705d
Commits on Jun 3, 2025
- simplify solver config in test-external (#530)
  0xkarmacoma
  authored
  6e9960e
- use more explicit yices-solver version (#528)
  0xkarmacoma
  authored
  c77cfc7
Commits on Jun 2, 2025
- fix: too many open files (#527)
  daejunpark
  authored
  f0d7be4
Commits on May 31, 2025
- switch to yices by default (#525)
  0xkarmacoma
  authored
  76e79fb
Commits on May 27, 2025
- feat: instruction coverage reporting (#521)
  daejunpark
  authored
  9444ca8
Commits on May 19, 2025
- refactor: extract_bytes(x, y, 32) => x.get_word(y) (#519)
  
  daejunpark
  and
  0xkarmacoma
  authored
  dfca716
- fix: Exec.dump error (#522)
  daejunpark
  authored
  c05179f
- refactor: move Contract and Instruction to separate module (#520)
  daejunpark
  authored
  8042a5b
Commits on May 16, 2025
- feat: add createCalldata with address (#517)
  daejunpark
  authored
  5671f5c
Commits on May 14, 2025
- chore: set up Trusted Publishing for publish-pypi.yml (#518)
  0xkarmacoma
  authored
  9829484

Branch selector

User selector

Datepicker

Commit history

Commits on Aug 6, 2025

Commits on Aug 4, 2025

Commits on Aug 1, 2025

Commits on Jul 31, 2025

Commits on Jul 29, 2025

Commits on Jul 26, 2025

Commits on Jul 25, 2025

Commits on Jun 20, 2025

Commits on Jun 19, 2025

Commits on Jun 18, 2025

Commits on Jun 17, 2025

Commits on Jun 16, 2025

Commits on Jun 14, 2025

Commits on Jun 11, 2025

Commits on Jun 10, 2025

Commits on Jun 9, 2025

Commits on Jun 7, 2025

Commits on Jun 4, 2025

Commits on Jun 3, 2025

Commits on Jun 2, 2025

Commits on May 31, 2025

Commits on May 27, 2025

Commits on May 19, 2025

Commits on May 16, 2025

Commits on May 14, 2025