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

Delay smt-solving until it is absolutely necessary in EVM #2425

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

Delay smt-solving until it is absolutely necessary in EVM #2425

wants to merge 27 commits into from

Commits on Apr 6, 2021

  1. delay smt-solving until it is absolutely necessary

    @ggrieco-tob
    ggrieco-tob committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    2d04217 View commit details
    Browse the repository at this point in the history

  2. linted

    @ggrieco-tob
    ggrieco-tob committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    9aa2f87 View commit details
    Browse the repository at this point in the history

  3. force finalization in the VMTests

    @ggrieco-tob
    ggrieco-tob committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    709d1d7 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2021

  1. fixed unsoundness tests

    @ggrieco-tob
    ggrieco-tob committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    4b2b0ce View commit details
    Browse the repository at this point in the history

  2. fix

    @ggrieco-tob
    ggrieco-tob committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    8c082d9 View commit details
    Browse the repository at this point in the history

  3. merge

    @ggrieco-tob
    ggrieco-tob committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    c6ff8fd View commit details
    Browse the repository at this point in the history

  4. lint

    @ggrieco-tob
    ggrieco-tob committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    8aa776e View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2021

  1. fixes

    @ggrieco-tob
    ggrieco-tob committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    d2dfcc4 View commit details
    Browse the repository at this point in the history

  2. fixes

    @ggrieco-tob
    ggrieco-tob committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    830fe62 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2021

  1. disable lazy evaluation for verifier

    @ggrieco-tob
    ggrieco-tob committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    2a307d7 View commit details
    Browse the repository at this point in the history

  2. fixed more tests

    @ggrieco-tob
    ggrieco-tob committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    834da35 View commit details
    Browse the repository at this point in the history

  3. more fixes

    @ggrieco-tob
    ggrieco-tob committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    2b13cc5 View commit details
    Browse the repository at this point in the history

  4. fix

    @ggrieco-tob
    ggrieco-tob committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    df9db1d View commit details
    Browse the repository at this point in the history

Commits on May 4, 2021

  1. fixes

    @ggrieco-tob
    ggrieco-tob committed May 4, 2021
    Configuration menu
    Copy the full SHA
    705c877 View commit details
    Browse the repository at this point in the history

  2. fixes

    @ggrieco-tob
    ggrieco-tob committed May 4, 2021
    Configuration menu
    Copy the full SHA
    fe62c97 View commit details
    Browse the repository at this point in the history

  3. more fixes

    @ggrieco-tob
    ggrieco-tob committed May 4, 2021
    Configuration menu
    Copy the full SHA
    9cba8ce View commit details
    Browse the repository at this point in the history

  4. fix

    @ggrieco-tob
    ggrieco-tob committed May 4, 2021
    Configuration menu
    Copy the full SHA
    f257187 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2021

  1. Tweak typing

    Eric Hennenfent committed May 21, 2021
    Configuration menu
    Copy the full SHA
    6049aa0 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2021

  1. Disable lazy evaluation by default

    Eric Hennenfent committed May 26, 2021
    Configuration menu
    Copy the full SHA
    0076497 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into dev-lazy-mode

    Eric Hennenfent committed May 26, 2021
    Configuration menu
    Copy the full SHA
    b1a4db8 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2021

  1. Merge branch 'master' of ssh://github.com/trailofbits/manticore into … 

    …dev-lazy-mode
    @ggrieco-tob
    ggrieco-tob committed Jun 8, 2021
    Configuration menu
    Copy the full SHA
    8581f01 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev-lazy-mode' of ssh://github.com/trailofbits/manticor… 

    …e into dev-lazy-mode
    @ggrieco-tob
    ggrieco-tob committed Jun 8, 2021
    Configuration menu
    Copy the full SHA
    04101f2 View commit details
    Browse the repository at this point in the history

  3. fix

    @ggrieco-tob
    ggrieco-tob committed Jun 8, 2021
    Configuration menu
    Copy the full SHA
    d04aea3 View commit details
    Browse the repository at this point in the history

  4. test fix

    @ggrieco-tob
    ggrieco-tob committed Jun 8, 2021
    Configuration menu
    Copy the full SHA
    181aea8 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2021

  1. Remove disable_lazy_evaluation calls 

    It's already disabled and we want to look at these tests again if we enable it by default in the future.
    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    8895028 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into dev-lazy-mode

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    0ebce02 View commit details
    Browse the repository at this point in the history

  3. Re-enable jumpdest check

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    97d95f2 View commit details
    Browse the repository at this point in the history