Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[pull] main from a16z:main #34

Open
wants to merge 95 commits into
base: main
Choose a base branch
from
Open

[pull] main from a16z:main #34

wants to merge 95 commits into from

Commits on Apr 17, 2024

  1. unpin z3 version 

    4.12.2.0 does not work out of the box on python 3.12 because of a missing transitive dependency on setuptools, no longer included by default. Later z3 versions address that problem.

(int-blast and other goodies are also available)

Fixes #273
    @karmacoma-eth
    karmacoma-eth committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    81a271d View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. dep: unpin z3 version (cont'd) (#276)

    @daejunpark
    daejunpark authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    abe353d View commit details
    Browse the repository at this point in the history

  2. chore: remove requirements.txt 

    Let's standardize on:

- pyproject.toml for halmos and its runtime dependencies (for users + devs)
- requirements-dev.txt for the dev dependencies (for devs only)
    @karmacoma-eth
    karmacoma-eth committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    1e7b91c View commit details
    Browse the repository at this point in the history

  3. chore: bump default python version to 3.12 (#278)

    @daejunpark
    daejunpark authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    3f5d10c View commit details
    Browse the repository at this point in the history

  4. Add GitHub Codespaces dev container config (#274) 

    Co-authored-by: Cosmin Radoi <[email protected]>
Co-authored-by: karmacoma <[email protected]>
    @cos @karmacoma-eth
    cos and karmacoma-eth authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    a617814 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. fix: concrete exitcode for precompile (#286)

    @daejunpark
    daejunpark authored May 13, 2024
    Configuration menu
    Copy the full SHA
    5a7bedc View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. fix: use --ast to enable foundry build cache (#289)

    @daejunpark
    daejunpark authored May 14, 2024
    Configuration menu
    Copy the full SHA
    e48d0ce View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Add ERC-1155 token receiver hooks as defaults in unknown call resolut… 

    …ion (#291)
    @pcaversaccio
    pcaversaccio authored May 21, 2024
    Configuration menu
    Copy the full SHA
    36bba54 View commit details
    Browse the repository at this point in the history

  2. feat: chunk based memory model (#288) 

    Co-authored-by: Daejun Park <[email protected]>
    @karmacoma-eth @daejunpark
    karmacoma-eth and daejunpark authored May 21, 2024
    Configuration menu
    Copy the full SHA
    bf78f3e View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. Optimize execution loop (#293)

    @karmacoma-eth
    karmacoma-eth authored May 23, 2024
    Configuration menu
    Copy the full SHA
    337adba View commit details
    Browse the repository at this point in the history

  2. feat: use docker image to load solvers and setup the testing environm… 

    …ent (#295)

Co-authored-by: karmacoma <[email protected]>
    @EmperorOrokuSaki @karmacoma-eth
    EmperorOrokuSaki and karmacoma-eth authored May 23, 2024
    Configuration menu
    Copy the full SHA
    b5bef1f View commit details
    Browse the repository at this point in the history

  3. [Feature/#125] Enhance configuration management by using toml configu… 

    …ration file (#296)

Co-authored-by: karmacoma <[email protected]>
    @pillip @karmacoma-eth
    pillip and karmacoma-eth authored May 23, 2024
    Configuration menu
    Copy the full SHA
    4037b2f View commit details
    Browse the repository at this point in the history

  4. unpin solc from cicada in test-external

    @karmacoma-eth
    karmacoma-eth committed May 23, 2024
    Configuration menu
    Copy the full SHA
    a753af5 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. toml config, take 2 (#298)

    @karmacoma-eth
    karmacoma-eth authored May 31, 2024
    Configuration menu
    Copy the full SHA
    c101af3 View commit details
    Browse the repository at this point in the history

  2. test-long.yml: install halmos

    @karmacoma-eth
    karmacoma-eth committed May 31, 2024
    Configuration menu
    Copy the full SHA
    007c62c View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. 🔨 Add Missing Error Code in parse_build_out Warning (#300) 

    Signed-off-by: Pascal Marco Caversaccio <[email protected]>
Co-authored-by: karmacoma <[email protected]>
    @pcaversaccio @karmacoma-eth
    pcaversaccio and karmacoma-eth authored Jun 1, 2024
    Configuration menu
    Copy the full SHA
    f7216ee View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. example halmos.toml (#299) 

    Co-authored-by: Daejun Park <[email protected]>
    @karmacoma-eth @daejunpark
    karmacoma-eth and daejunpark authored Jun 3, 2024
    Configuration menu
    Copy the full SHA
    cf9c2b2 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. feat: solvers package (#302) 

    Co-authored-by: PILLIP YOUN <[email protected]>
    @karmacoma-eth @pillip
    karmacoma-eth and pillip authored Jun 6, 2024
    Configuration menu
    Copy the full SHA
    338b8ea View commit details
    Browse the repository at this point in the history

  2. remove feat-packages trigger from solvers-publish.yml

    @karmacoma-eth
    karmacoma-eth committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    14495d8 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. run workflow using solvers as a base image (#307)

    @karmacoma-eth
    karmacoma-eth authored Jun 7, 2024
    Configuration menu
    Copy the full SHA
    4d2161f View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2024

  1. refactor: data structure of path conditions (#310)

    @daejunpark
    daejunpark authored Jun 23, 2024
    Configuration menu
    Copy the full SHA
    060a6d8 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. ci: add workflow dispatch inputs + fix test-external outdated image (#… 

    …312)
    @daejunpark
    daejunpark authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    80f656f View commit details
    Browse the repository at this point in the history

  2. refactor: common prefix for uninterpreted function names (#313)

    @daejunpark
    daejunpark authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    2283ad4 View commit details
    Browse the repository at this point in the history

  3. cli: deprecated --solver-parallel (#314)

    @daejunpark
    daejunpark authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    f178dfb View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. feat: cache unsat queries using unsat core (#311)

    @daejunpark
    daejunpark authored Jun 25, 2024
    Configuration menu
    Copy the full SHA
    96aa5ec View commit details
    Browse the repository at this point in the history

  2. ci: add snekmate to external test suites (#315)

    @daejunpark
    daejunpark authored Jun 25, 2024
    Configuration menu
    Copy the full SHA
    367b891 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. chore: improve debugging output (#317)

    @daejunpark
    daejunpark authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    bf2b77a View commit details
    Browse the repository at this point in the history

  2. chore: update evm version to cancun (#318)

    @daejunpark
    daejunpark authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    de2863f View commit details
    Browse the repository at this point in the history

  3. perf: prune infeasible paths early (#319)

    @daejunpark
    daejunpark authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    442b43b View commit details
    Browse the repository at this point in the history

  4. ci: pin yices2=2.6.4 (#320)

    @daejunpark
    daejunpark authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    854eab2 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. feat: parse symbols from build to print readable traces (#309) 

    Co-authored-by: karmacoma <[email protected]>
Co-authored-by: Daejun Park <[email protected]>
    @pillip @karmacoma-eth @daejunpark
    3 people authored Jul 17, 2024
    Configuration menu
    Copy the full SHA
    7ba5a74 View commit details
    Browse the repository at this point in the history

  2. perf: early exit for fail() (#322) 

    Co-authored-by: karmacoma <[email protected]>
    @daejunpark @karmacoma-eth
    daejunpark and karmacoma-eth authored Jul 17, 2024
    Configuration menu
    Copy the full SHA
    40cf25a View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. feat: support for forge-std assert cheatcodes (#323) 

    Co-authored-by: EmperorOrokuSaki <[email protected]>
    @daejunpark @EmperorOrokuSaki
    daejunpark and EmperorOrokuSaki authored Jul 18, 2024
    Configuration menu
    Copy the full SHA
    486f381 View commit details
    Browse the repository at this point in the history

  2. feat: support vm.getBlockNumber cheatcode (#325)

    @pillip
    pillip authored Jul 18, 2024
    Configuration menu
    Copy the full SHA
    8ae5902 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. add intermediary halmos-builder image and dockerize more workflows (#308 

    )

Co-authored-by: Daejun Park <[email protected]>
    @karmacoma-eth @daejunpark
    karmacoma-eth and daejunpark authored Jul 19, 2024
    Configuration menu
    Copy the full SHA
    fcadd92 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. fix bad abi encoding in createBytes4 (#329)

    @karmacoma-eth
    karmacoma-eth authored Jul 23, 2024
    Configuration menu
    Copy the full SHA
    32b81ed View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. feat: functional implementation of EXTCODEHASH and EXTCODECOPY (#328)

    @karmacoma-eth
    karmacoma-eth authored Jul 26, 2024
    Configuration menu
    Copy the full SHA
    c969bcd View commit details
    Browse the repository at this point in the history

  2. Update packages/solvers/README.md (#332)

    @karmacoma-eth
    karmacoma-eth authored Jul 26, 2024
    Configuration menu
    Copy the full SHA
    29827c4 View commit details
    Browse the repository at this point in the history

  3. fix workflows (#330)

    @karmacoma-eth
    karmacoma-eth authored Jul 26, 2024
    Configuration menu
    Copy the full SHA
    d4c0124 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. handle solidity files with no contracts (#333)

    @karmacoma-eth
    karmacoma-eth authored Jul 29, 2024
    Configuration menu
    Copy the full SHA
    31bb794 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. fix: simplify symbol parsing (#334)

    @karmacoma-eth
    karmacoma-eth authored Aug 1, 2024
    Configuration menu
    Copy the full SHA
    954ed59 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. fix: parsing unsat core output variants (#337)

    @daejunpark
    daejunpark authored Aug 2, 2024
    Configuration menu
    Copy the full SHA
    f7ff1f8 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. trace rendering: extract selector from calldata (#339)

    @karmacoma-eth
    karmacoma-eth authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    5292bd2 View commit details
    Browse the repository at this point in the history

  2. add support for prank(sender, origin) and startPrank(sender, origin) … 

    …cheatcodes (#336)
    @karmacoma-eth
    karmacoma-eth authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f029418 View commit details
    Browse the repository at this point in the history

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

    Co-authored-by: karmacoma <[email protected]>
    @daejunpark @karmacoma-eth
    daejunpark and karmacoma-eth authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    96bf260 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. examples/simple: fix openzeppelin remappings and fix OZ ERC721 transf… 

    …erFrom test (#344)
    @karmacoma-eth
    karmacoma-eth authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    96a44a7 View commit details
    Browse the repository at this point in the history

  2. smt: abstract multiplication (#340)

    @daejunpark
    daejunpark authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    d790f72 View commit details
    Browse the repository at this point in the history

  3. fix: smt encoding for evm div-by-zero (#271)

    @daejunpark
    daejunpark authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    f5acded View commit details
    Browse the repository at this point in the history

  4. Update README.md

    @karmacoma-eth
    karmacoma-eth authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    4a31b9a View commit details
    Browse the repository at this point in the history

  5. ci: disable pytest-xdist (#345)

    @daejunpark
    daejunpark authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    c3f45dd View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. perf: code fastpath scanning for valid jump destinations (#348)

    @karmacoma-eth
    karmacoma-eth authored Aug 22, 2024
    Configuration menu
    Copy the full SHA
    536299a View commit details
    Browse the repository at this point in the history

  2. feat: branching over symbolic call addresses (#349) 

    Co-authored-by: karmacoma <[email protected]>
    @daejunpark @karmacoma-eth
    daejunpark and karmacoma-eth authored Aug 22, 2024
    Configuration menu
    Copy the full SHA
    d541a0f View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2024

  1. feat: deprecate --bytecode and --reset-bytecode (#350)

    @daejunpark
    daejunpark authored Aug 24, 2024
    Configuration menu
    Copy the full SHA
    a425da9 View commit details
    Browse the repository at this point in the history

  2. feat: reject multiple setup paths (#351)

    @daejunpark
    daejunpark authored Aug 24, 2024
    Configuration menu
    Copy the full SHA
    23f2140 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. fix errors reported by ruff (#353)

    @karmacoma-eth
    karmacoma-eth authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    8e348b2 View commit details
    Browse the repository at this point in the history

  2. ci: add ruff to pre-commit and replace black action with pre-commit (#… 

    …354)
    @karmacoma-eth
    karmacoma-eth authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    7ffe5e0 View commit details
    Browse the repository at this point in the history

  3. feat: empty initial network state (#352)

    @daejunpark
    daejunpark authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    998b282 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. feat: replace --symbolic-storage with enableSymbolicStorage(address) … 

    …cheatcode (#355)

Co-authored-by: karmacoma <[email protected]>
    @daejunpark @karmacoma-eth
    daejunpark and karmacoma-eth authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    5515db7 View commit details
    Browse the repository at this point in the history

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

    @daejunpark
    daejunpark authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    d435211 View commit details
    Browse the repository at this point in the history

  3. refactor: use defaultdict for storage model (#356)

    @daejunpark
    daejunpark authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    060a184 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. fix failed() cheatcode error (#359)

    @daejunpark
    daejunpark authored Aug 28, 2024
    Configuration menu
    Copy the full SHA
    7e1900d View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. feat: support for new cheatcode of generating calldata (#360) 

    Co-authored-by: karmacoma <[email protected]>
    @daejunpark @karmacoma-eth
    daejunpark and karmacoma-eth authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    d1dea3f View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. perf: support for custom action in config parser (#361)

    @daejunpark
    daejunpark authored Sep 16, 2024
    Configuration menu
    Copy the full SHA
    1e850a6 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. fix: vm.etch() leaves storage uninitialized (#363)

    @karmacoma-eth
    karmacoma-eth authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    115e66d View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. fix: concretize calldatacopy (#364) 

    Co-authored-by: karmacoma <[email protected]>
    @daejunpark @karmacoma-eth
    daejunpark and karmacoma-eth authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    e4a4ef7 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. Update README.md (#367)

    @karmacoma-eth
    karmacoma-eth authored Sep 20, 2024
    Configuration menu
    Copy the full SHA
    fb2160c View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. ci: parallelize snekmate tests (#370)

    @daejunpark
    daejunpark authored Sep 23, 2024
    Configuration menu
    Copy the full SHA
    6a29824 View commit details
    Browse the repository at this point in the history

  2. perf: increase default assertion solving timeout from 1s to 1m (#368)

    @daejunpark
    daejunpark authored Sep 23, 2024
    Configuration menu
    Copy the full SHA
    3e66a60 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. chore: update halmos.toml example + add missing tests (#371)

    @daejunpark
    daejunpark authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d9eaad9 View commit details
    Browse the repository at this point in the history

  2. fix: manually solve dynamic array overflow conditions (#366)

    @daejunpark
    daejunpark authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    20cd93a View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. ci: update morpho test (#377)

    @daejunpark
    daejunpark authored Sep 26, 2024
    Configuration menu
    Copy the full SHA
    8235b27 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. feat: added uv install method to readme (#378)

    @PatrickAlphaC
    PatrickAlphaC authored Sep 27, 2024
    Configuration menu
    Copy the full SHA
    5d76736 View commit details
    Browse the repository at this point in the history

  2. test: add backdoor erc20 examples using createCalldata cheatcode (#376)

    @daejunpark
    daejunpark authored Sep 27, 2024
    Configuration menu
    Copy the full SHA
    52600ef View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. ci: add morpho blue external test (#379)

    @daejunpark
    daejunpark authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    049a213 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. feat: target Panic(k) for any k specified in --panic-error-codes (#382)

    @daejunpark
    daejunpark authored Oct 1, 2024
    Configuration menu
    Copy the full SHA
    c20fbb7 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. debug: add --print-success-states flag (#380)

    @daejunpark
    daejunpark authored Oct 2, 2024
    Configuration menu
    Copy the full SHA
    e2bd1fd View commit details
    Browse the repository at this point in the history

  2. fix: unparse config value to generate toml file (#383)

    @daejunpark
    daejunpark authored Oct 2, 2024
    Configuration menu
    Copy the full SHA
    4cd642b View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. feat: consider various lengths for dynamic-sized parameters (#384)

    @daejunpark
    daejunpark authored Oct 4, 2024
    Configuration menu
    Copy the full SHA
    588744e View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. fix: reset z3 solver objects (#389)

    @daejunpark
    daejunpark authored Oct 10, 2024
    Configuration menu
    Copy the full SHA
    755f3f2 View commit details
    Browse the repository at this point in the history

  2. Update examples/README.md (#387)

    @daejunpark
    daejunpark authored Oct 10, 2024
    Configuration menu
    Copy the full SHA
    1049fb9 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. fix: exclude test contract from symbolic calls (#388)

    @daejunpark
    daejunpark authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    74a54fb View commit details
    Browse the repository at this point in the history

  2. feat: lazy concretization (#392)

    @daejunpark
    daejunpark authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    eed8f93 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. feat: handle concrete keccaks concretely (WIP) (#391) 

    Co-authored-by: Daejun Park <[email protected]>
    @karmacoma-eth @daejunpark
    karmacoma-eth and daejunpark authored Oct 14, 2024
    Configuration menu
    Copy the full SHA
    9a83860 View commit details
    Browse the repository at this point in the history

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

    @karmacoma-eth
    karmacoma-eth authored Oct 14, 2024
    Configuration menu
    Copy the full SHA
    5e9cafb View commit details
    Browse the repository at this point in the history

  3. 👷 Pin Vyper Temporarily to Specific Commit (#395)

    @pcaversaccio
    pcaversaccio authored Oct 14, 2024
    Configuration menu
    Copy the full SHA
    07c82f5 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

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

    @pcaversaccio
    pcaversaccio authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    1502e46 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. fix: improve error-handling for unsupported symbolic names in cheatco… 

    …des (#401)
    @daejunpark
    daejunpark authored Nov 6, 2024
    Configuration menu
    Copy the full SHA
    10892d2 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2024

  1. update solvers and halmos-builder dockerfiles (#404) 

    Co-authored-by: Daejun Park <[email protected]>
    @karmacoma-eth @daejunpark
    karmacoma-eth and daejunpark authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    29d9484 View commit details
    Browse the repository at this point in the history

  2. more docker workflow tweaks (#405)

    @karmacoma-eth
    karmacoma-eth authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    4e82a90 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. perf: improve hash injectivity constraints (#406)

    @daejunpark
    daejunpark authored Nov 13, 2024
    Configuration menu
    Copy the full SHA
    12232f8 View commit details
    Browse the repository at this point in the history

  2. customize bash prompt in our docker images (#407)

    @karmacoma-eth
    karmacoma-eth authored Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4fd369f View commit details
    Browse the repository at this point in the history

  3. feat: injectivity for truncated hashes (#408)

    @daejunpark
    daejunpark authored Nov 13, 2024
    Configuration menu
    Copy the full SHA
    c136108 View commit details
    Browse the repository at this point in the history

  4. test: add check_etch_then_load (#410)

    @karmacoma-eth
    karmacoma-eth authored Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ac55454 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

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

    @daejunpark
    daejunpark authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    ce13a9f View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2024

  1. ci: use jsi for snekmate test (#415)

    @daejunpark
    daejunpark authored Nov 16, 2024
    Configuration menu
    Copy the full SHA
    d4cac2e View commit details
    Browse the repository at this point in the history