Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Feb 19, 2025

• feat: support for TLOAD/TSTORE (#463)

  daejunpark

  authored
  e0a4de6

  Copy full SHA for e0a4de6

Commits on Feb 15, 2025

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

  daejunpark

  authored
  5c5ca39

  Copy full SHA for 5c5ca39

Commits on Feb 14, 2025

• update tests/expected/simple.json (#459)

  0xkarmacoma

  authored
  a233ff3

  Copy full SHA for a233ff3

Commits on Feb 13, 2025

• add EIP-2098 (compact signatures) example to BadElections (#458)

  0xkarmacoma

  authored
  a6456f1

  Copy full SHA for a6456f1

• add SSTORE and SLOAD to traces (#456)

  0xkarmacoma

  authored
  a307d06

  Copy full SHA for a307d06

• fix Z3 parser error in ecrecover (#457)

  0xkarmacoma

  authored
  e65bc04

  Copy full SHA for e65bc04

Commits on Jan 31, 2025

• fix: avoid sort mismatches bv <> bool (#452)

  0xkarmacoma

  authored
  c19ffac

  Copy full SHA for c19ffac

Commits on Jan 30, 2025

• Update README.md

  0xkarmacoma

  authored
  e6f0826

  Copy full SHA for e6f0826

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

• fix: hexify for extract and const terms (#440)

  daejunpark

  authored
  3ba7ed2

  Copy full SHA for 3ba7ed2

Commits on Jan 10, 2025

• fix: handle stack underflows in DUPn/SWAPn instructions

  Show description for 606ac51
  0xkarmacoma

  committed
  606ac51

  Copy full SHA for 606ac51

Commits on Jan 8, 2025

• Fix broken link in README.md file.

  

  zbraiterman

  authored and

  0xkarmacoma

  committed
  b276768

  Copy full SHA for b276768

Commits on Jan 7, 2025

• feat: mappings from bytecode to contract name (#429)

  daejunpark

  authored
  c705e37

  Copy full SHA for c705e37

• fix: not use context manager within generator (#434)

  daejunpark

  authored
  6fe84ee

  Copy full SHA for 6fe84ee

• fix: add warnings when --width or --depth limits reached (#433)

  daejunpark

  authored
  04cb455

  Copy full SHA for 04cb455

Commits on Jan 6, 2025

• fix: progress display race condition can result in LiveError

  0xkarmacoma

  committed
  950bd2a

  Copy full SHA for 950bd2a

Commits on Dec 17, 2024

• feat: support for snapshot cheatcodes (#427)

  daejunpark

  authored
  0ef9341

  Copy full SHA for 0ef9341

Commits on Dec 12, 2024

• fix: nested prank error message (#428)

  0xkarmacoma

  authored
  f4f3185

  Copy full SHA for f4f3185

Commits on Dec 11, 2024

• switch from result_exs to exec_cache

  Show description for 2408639
  0xkarmacoma

  committed
  2408639

  Copy full SHA for 2408639

• add --trace-memory option and halmos.memtrace module

  0xkarmacoma

  committed
  651f8e9

  Copy full SHA for 651f8e9

Commits on Dec 7, 2024

• feat: improve logging (#418)

  daejunpark

  authored
  27f620a

  Copy full SHA for 27f620a

• docs: Fix grammatical error getting-started.md (#424)

  mdqst

  authored
  c2e8661

  Copy full SHA for c2e8661

Commits on Dec 4, 2024

• embrace uv (#422)

  0xkarmacoma

  authored
  2b68913

  Copy full SHA for 2b68913

• feat: display spinning progress (#417)

  daejunpark

  authored
  d119a5e

  Copy full SHA for d119a5e

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 14, 2024

• test: add regression tests for previous issues (#412)

  daejunpark

  authored
  ce13a9f

  Copy full SHA for ce13a9f

Commits on Nov 13, 2024

• test: add check_etch_then_load (#410)

  0xkarmacoma

  authored
  ac55454

  Copy full SHA for ac55454

• feat: injectivity for truncated hashes (#408)

  daejunpark

  authored
  c136108

  Copy full SHA for c136108

• customize bash prompt in our docker images (#407)

  0xkarmacoma

  authored
  4fd369f

  Copy full SHA for 4fd369f

• perf: improve hash injectivity constraints (#406)

  daejunpark

  authored
  12232f8

  Copy full SHA for 12232f8

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

Pagination

Previous

Next