Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

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

• provide copilot instructions (#534)

  0xkarmacoma

  authored
  b4266cf

  Copy full SHA for b4266cf

Commits on Jun 3, 2025

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

  0xkarmacoma

  authored
  6e9960e

  Copy full SHA for 6e9960e

Commits on May 14, 2025

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

  0xkarmacoma

  authored
  9829484

  Copy full SHA for 9829484

Commits on Apr 4, 2025

• feat: add --solver <name> command, download on demand (#491)

  0xkarmacoma

  authored
  703d226

  Copy full SHA for 703d226

• test: add pectra external test (#494)

  daejunpark

  authored
  c8063d8

  Copy full SHA for c8063d8

Commits on Feb 15, 2025

• test: disable gc for morpho test (#460)

  daejunpark

  authored
  5c5ca39

  Copy full SHA for 5c5ca39

Commits on Jan 28, 2025

• fix --early-exit (#437)

  Show description for b0dead0
  

  0xkarmacoma

  and

  daejunpark

  authored
  b0dead0

  Copy full SHA for b0dead0

Commits on Jan 22, 2025

• fix: check infeasible errors (#445)

  daejunpark

  authored
  028d726

  Copy full SHA for 028d726

Commits on Jan 16, 2025

• fix: avoid raising internal python error on large memory access (#442)

  Show description for 6163a6c
  

  0xkarmacoma

  and

  daejunpark

  authored
  6163a6c

  Copy full SHA for 6163a6c

Commits on Dec 4, 2024

• embrace uv (#422)

  0xkarmacoma

  authored
  2b68913

  Copy full SHA for 2b68913

Commits on Dec 3, 2024

• ci: add python 3.13 to test.yml (#421)

  0xkarmacoma

  authored
  b3f8d52

  Copy full SHA for b3f8d52

Commits on Nov 16, 2024

• ci: use jsi for snekmate test (#415)

  daejunpark

  authored
  d4cac2e

  Copy full SHA for d4cac2e

Commits on Nov 8, 2024

• more docker workflow tweaks (#405)

  0xkarmacoma

  authored
  4e82a90

  Copy full SHA for 4e82a90

• update solvers and halmos-builder dockerfiles (#404)

  Show description for 29d9484
  

  0xkarmacoma

  and

  daejunpark

  authored
  29d9484

  Copy full SHA for 29d9484

Commits on Oct 15, 2024

• 👷 Pin Vyper Version to Latest Commit (Again) (#396)

  pcaversaccio

  authored
  1502e46

  Copy full SHA for 1502e46

Commits on Oct 14, 2024

• 👷 Pin Vyper Temporarily to Specific Commit (#395)

  pcaversaccio

  authored
  07c82f5

  Copy full SHA for 07c82f5

• update actions/setup-python to v5 (#394)

  0xkarmacoma

  authored
  5e9cafb

  Copy full SHA for 5e9cafb

Commits on Oct 10, 2024

• fix: reset z3 solver objects (#389)

  daejunpark

  authored
  755f3f2

  Copy full SHA for 755f3f2

Commits on Sep 30, 2024

• ci: add morpho blue external test (#379)

  daejunpark

  authored
  049a213

  Copy full SHA for 049a213

Commits on Sep 26, 2024

• ci: update morpho test (#377)

  daejunpark

  authored
  8235b27

  Copy full SHA for 8235b27

Commits on Sep 23, 2024

• ci: parallelize snekmate tests (#370)

  daejunpark

  authored
  6a29824

  Copy full SHA for 6a29824

Commits on Aug 27, 2024

• ci: use temp forked repo for updated tests (#357)

  daejunpark

  authored
  d435211

  Copy full SHA for d435211

• feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode (#355)

  Show description for 5515db7
  

  daejunpark

  and

  0xkarmacoma

  authored
  5515db7

  Copy full SHA for 5515db7

Commits on Aug 26, 2024

• feat: empty initial network state (#352)

  daejunpark

  authored
  998b282

  Copy full SHA for 998b282

• ci: add ruff to pre-commit and replace black action with pre-commit (#354)

  0xkarmacoma

  authored
  7ffe5e0

  Copy full SHA for 7ffe5e0

Commits on Aug 22, 2024

• feat: branching over symbolic call addresses (#349)

  Show description for d541a0f
  

  daejunpark

  and

  0xkarmacoma

  authored
  d541a0f

  Copy full SHA for d541a0f

Commits on Aug 14, 2024

• ci: disable pytest-xdist (#345)

  daejunpark

  authored
  c3f45dd

  Copy full SHA for c3f45dd

Commits on Aug 13, 2024

• ci: use yices2 for test-external (#341)

  Show description for 96bf260
  

  daejunpark

  and

  0xkarmacoma

  authored
  96bf260

  Copy full SHA for 96bf260

• add support for prank(sender, origin) and startPrank(sender, origin) cheatcodes (#336)

  0xkarmacoma

  authored
  f029418

  Copy full SHA for f029418

Commits on Jul 26, 2024

• fix workflows (#330)

  0xkarmacoma

  authored
  d4c0124

  Copy full SHA for d4c0124

Commits on Jul 19, 2024

• add intermediary halmos-builder image and dockerize more workflows (#308)

  Show description for fcadd92
  

  0xkarmacoma

  and

  daejunpark

  authored
  fcadd92

  Copy full SHA for fcadd92

Commits on Jun 26, 2024

• ci: pin yices2=2.6.4 (#320)

  daejunpark

  authored
  854eab2

  Copy full SHA for 854eab2