Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 20, 2023

• test: add weights example

  QGarchery

  committed
  9b3dccc

  Copy full SHA for 9b3dccc

Commits on May 18, 2023

• feat: add --statistics option (#80)

  daejunpark

  authored
  f56d5e5

  Copy full SHA for f56d5e5

• fix: argparse issue with optional argument (#79)

  daejunpark

  authored
  d670932

  Copy full SHA for d670932

Commits on May 17, 2023

• feat: add a new option that allows overwrite bytecode after setup (#75)

  daejunpark

  authored
  b59131b

  Copy full SHA for b59131b

• feat: hide crytic-compile options by default (#77)

  0xkarmacoma

  authored
  097d536

  Copy full SHA for 097d536

Commits on May 13, 2023

• feat: improve support for precomputed storage array slots (#74)

  daejunpark

  authored
  3f35e3c

  Copy full SHA for 3f35e3c

• feat: add support for vm.etch (#72)

  0xkarmacoma

  authored
  015bbe4

  Copy full SHA for 015bbe4

Commits on May 12, 2023

• feat: add vm.store() and load() cheatcode (#71)

  daejunpark

  authored
  8445649

  Copy full SHA for 8445649

• feat: improve exception handling (#70)

  daejunpark

  authored
  b64e268

  Copy full SHA for b64e268

Commits on May 11, 2023

• feat: change default prefix of tests from `test` to `check` (#69)

  daejunpark

  authored
  52ab978

  Copy full SHA for 52ab978

Commits on May 10, 2023

• feat: add support for PUSH0 (#68)

  0xkarmacoma

  authored
  9c0f48c

  Copy full SHA for 9c0f48c

• feat: no longer set default storage values to symbolic (#67)

  daejunpark

  authored
  7303f45

  Copy full SHA for 7303f45

Commits on May 9, 2023

• perf: inline quantifier-free axioms (#66)

  daejunpark

  authored
  b459bd4

  Copy full SHA for b459bd4

• feat: add option for printing potentially invalid counterexamples (#65)

  daejunpark

  authored
  0a31f54

  Copy full SHA for 0a31f54

Commits on May 6, 2023

• feat: add fee/chainId/coinbase/difficulty/roll/warp() cheatcode (#64)

  daejunpark

  authored
  4dc3e38

  Copy full SHA for 4dc3e38

Commits on May 5, 2023

• feat: add vm.deal() cheatcode (#63)

  daejunpark

  authored
  e395131

  Copy full SHA for e395131

• feat: add vm.prank() cheatcode (#62)

  daejunpark

  authored
  97a4343

  Copy full SHA for 97a4343

• test: add pc test (#61)

  daejunpark

  authored
  e8ac436

  Copy full SHA for e8ac436

• feat: add pc opcode (#56)

  plotchy

  authored
  07f3af9

  Copy full SHA for 07f3af9

• feat: add invalid opcode (#60)

  daejunpark

  authored
  2225ef4

  Copy full SHA for 2225ef4

• fix: ether balance tracking (#53)

  daejunpark

  authored
  6c9fdff

  Copy full SHA for 6c9fdff

Commits on May 3, 2023

• fix: opcode debugging output error (#59)

  daejunpark

  authored
  a409bad

  Copy full SHA for a409bad

• feat: add basefee opcode support (#58)

  daejunpark

  authored
  83c7135

  Copy full SHA for 83c7135

Commits on Mar 22, 2023

• check python version for sys.set_int_max_str_digits (#51)

  daejunpark

  authored
  1cbfb7a

  Copy full SHA for 1cbfb7a

Commits on Mar 18, 2023

• fix opcode printing (#49)

  daejunpark

  authored
  0f694da

  Copy full SHA for 0f694da

Commits on Mar 17, 2023

• Symbolic jump (#48)

  Show description for 26e38b7
  

  daejunpark

  and

  0xkarmacoma

  authored
  26e38b7

  Copy full SHA for 26e38b7

• Cleanup (#47)

  daejunpark

  authored
  8806494

  Copy full SHA for 8806494

• Add setUpPlus (#46)

  daejunpark

  authored
  c6dca7f

  Copy full SHA for c6dca7f

Commits on Mar 16, 2023

• feat: add getCode cheatcode (#45)

  ncitron

  authored
  8ebfc08

  Copy full SHA for 8ebfc08

Commits on Mar 11, 2023

• Setup Github CI (#44)

  daejunpark

  authored
  1bcbe59

  Copy full SHA for 1bcbe59

• Comment out unsupported tests (#43)

  daejunpark

  authored
  ff4a145

  Copy full SHA for ff4a145

Commits on Mar 10, 2023

• Update README.md

  daejunpark

  authored
  2049e03

  Copy full SHA for 2049e03

Commits on Mar 9, 2023

• Update .gitignore (#42)

  daejunpark

  authored
  8468235

  Copy full SHA for 8468235

• [feat] add SIGNEXTEND op code (#41)

  zobront

  authored
  e75ed65

  Copy full SHA for e75ed65

Commits on Mar 7, 2023

• Improve nonlinear arithmetic reasoning (#38)

  daejunpark

  authored
  9ec815a

  Copy full SHA for 9ec815a

Pagination

Previous

Next