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

Bump nixpkgs and hevm dependencies #938

Open
wants to merge 34 commits into
base: master
Choose a base branch
from
Open

Bump nixpkgs and hevm dependencies #938

wants to merge 34 commits into from

Commits on Apr 19, 2022

  1. Bump nixpkgs and hevm dependencies

    @arcz
    arcz committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    7bb2456 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2022

  1. nix: bump nixpkgs to latest unstable

    @d-xo
    d-xo committed May 6, 2022
    Configuration menu
    Copy the full SHA
    0e749f5 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2022

  1. nix: add libcxx to extra-lib-dirs

    @d-xo
    d-xo committed May 10, 2022
    Configuration menu
    Copy the full SHA
    3f764d4 View commit details
    Browse the repository at this point in the history

  2. nix: hevm: depend on libc++

    @d-xo
    d-xo committed May 10, 2022
    Configuration menu
    Copy the full SHA
    f517e92 View commit details
    Browse the repository at this point in the history

  3. nix: hevm: rm libcxx

    @d-xo
    d-xo committed May 10, 2022
    Configuration menu
    Copy the full SHA
    0078ccf View commit details
    Browse the repository at this point in the history

  4. hevm: cabal: link against correct libc++ impl

    @d-xo
    d-xo committed May 10, 2022
    Configuration menu
    Copy the full SHA
    f84fb76 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2022

  1. 🖖 add solc 0.8.14 and keep dapptools up-to-date 

    Signed-off-by: Pascal Marco Caversaccio <[email protected]>
    @pcaversaccio
    pcaversaccio committed May 17, 2022
    Configuration menu
    Copy the full SHA
    fa44d7e View commit details
    Browse the repository at this point in the history

Commits on May 18, 2022

  1. Merge pull request dapphub#939 from pcaversaccio/solc-0.8.14 

    🖖 add solc 0.8.14 and keep dapptools up-to-date
    @d-xo
    d-xo authored May 18, 2022
    Configuration menu
    Copy the full SHA
    923d6fe View commit details
    Browse the repository at this point in the history

Commits on May 31, 2022

  1. Update README.md 

    Fix a small typo.
    @moodmosaic
    moodmosaic authored May 31, 2022
    Configuration menu
    Copy the full SHA
    826ae1b View commit details
    Browse the repository at this point in the history

  2. Merge pull request dapphub#942 from moodmosaic/patch-1 

    Update README.md
    @d-xo
    d-xo authored May 31, 2022
    Configuration menu
    Copy the full SHA
    9ff53fe View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2022

  1. 🖖 add solc 0.8.15 and keep dapptools up-to-date 

    Signed-off-by: Pascal Marco Caversaccio <[email protected]>
    @pcaversaccio
    pcaversaccio committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    d37c0d8 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2022

  1. Merge pull request dapphub#945 from pcaversaccio/solc-support-0.8.15 

    🖖 add solc 0.8.15 and keep dapptools up-to-date
    @d-xo
    d-xo authored Jun 20, 2022
    Configuration menu
    Copy the full SHA
    d140ba0 View commit details
    Browse the repository at this point in the history

  2. dapp: readme: fixup tutorial

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    0660842 View commit details
    Browse the repository at this point in the history

  3. hevm: unit tests: handle concrete returndata for symbolic tests

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    75e0249 View commit details
    Browse the repository at this point in the history

  4. hevm: tests: add testcase for symbolic test with concrete returndata

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    94c2e03 View commit details
    Browse the repository at this point in the history

  5. hevm: changelog: update

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    36dc24a View commit details
    Browse the repository at this point in the history

  6. nix: bump to 22.05

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    317f50a View commit details
    Browse the repository at this point in the history

  7. hevm: scrap static binaries

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    e4d1468 View commit details
    Browse the repository at this point in the history

  8. dapp-tests: bump testnet timeout to 30 mins

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    0c92831 View commit details
    Browse the repository at this point in the history

  9. Merge pull request dapphub#946 from dapphub/symexec-tutorial

    @d-xo
    d-xo authored Jun 20, 2022
    Configuration menu
    Copy the full SHA
    6f33001 View commit details
    Browse the repository at this point in the history

  10. dapp-tests: bump testnet sleep in ci

    @d-xo
    d-xo committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    dfce866 View commit details
    Browse the repository at this point in the history

  11. Add support for compilation via Yul IR

    @CodeSandwich
    CodeSandwich committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    5a4cc7d View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2022

  1. dapp: nix-run: fixup nix invocation for nix 2.4 compat

    @d-xo
    d-xo committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    da2da6e View commit details
    Browse the repository at this point in the history

  2. Merge pull request dapphub#943 from CodeSandwich/via-ir 

    Add support for compilation via Yul IR
    @d-xo
    d-xo authored Jun 21, 2022
    Configuration menu
    Copy the full SHA
    e84ae75 View commit details
    Browse the repository at this point in the history

  3. dapp: testnet-launch: fixup args to geth

    @d-xo
    d-xo committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    1822ffd View commit details
    Browse the repository at this point in the history

  4. dapp-tests: drop sleep time to 90s in ci

    @d-xo
    d-xo committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    51b3aa2 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2022

  1. nix: revert to nix 2.3

    @d-xo
    d-xo committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    589b350 View commit details
    Browse the repository at this point in the history

  2. nix: geth: bump to latest

    @d-xo
    d-xo committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    82be468 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2022

  1. hevm: bump version

    @d-xo
    d-xo committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    97f73ec View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2022

  1. hevm: fix prove tests for latest ds-test 

    Since dapphub/ds-test#30 calls to `failed()` can
contain reverting branches due to the call into abi.decode().

This meant that using prove tests with the latest ds-test version would
always fail with a hard error.

This change updates the symbolic test stepper to correctly report
`bailed` as true for branches that reverted during the call to
`failed()`.
    @d-xo
    d-xo committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    51f68a4 View commit details
    Browse the repository at this point in the history

  2. Merge pull request dapphub#948 from dapphub/fix-prove-tests-for-globa… 

    …l-fail

hevm: fix prove tests for latest ds-test
    @d-xo
    d-xo authored Jun 29, 2022
    Configuration menu
    Copy the full SHA
    cb2e4ca View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2022

  1. Bump nixpkgs and hevm dependencies

    @arcz
    arcz committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    24fd076 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2022

  1. Merge remote-tracking branch 'upstream/bump-nixpkgs' into nixpkgs-22.05

    @arcz
    arcz committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    3b52f0b View commit details
    Browse the repository at this point in the history

  2. Fix nonce comparisons in dapp address

    @arcz
    arcz committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    b673211 View commit details
    Browse the repository at this point in the history