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.

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

feat: SMT support in trace_decoder ignores storage #693

Merged
merged 14 commits into from
Oct 16, 2024
Merged

Commits on Oct 2, 2024

  1. mark: 0xaatif/messy-smt2

    0xaatif committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    da7fea8 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. wip: initial implementation

    0xaatif committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    5c57657 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. wip

    0xaatif committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    81b3b45 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. refactor: TrieKey -> MptKey

    0xaatif committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    8fc28d5 View commit details
    Browse the repository at this point in the history
  2. wip

    0xaatif committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    98690cc View commit details
    Browse the repository at this point in the history
  3. getting happier

    0xaatif committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    d5d2aed View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. rewrite type2

    0xaatif committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    f27bbdf View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    29aaa1e View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. progress

    0xaatif committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    847c37d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    96d2748 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    13f03ad View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. ci: private rustdoc

    0xaatif committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    adeaa4e View commit details
    Browse the repository at this point in the history
  2. review: markups

    0xaatif committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    512b693 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2024

  1. doc: endianness

    0xaatif committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    6b822b4 View commit details
    Browse the repository at this point in the history