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

Add new WitnessScope: Rules #2622

Merged
merged 11 commits into from
Nov 9, 2021
Merged

Add new WitnessScope: Rules #2622

merged 11 commits into from
Nov 9, 2021

Commits on Nov 7, 2021

  1. Configuration menu
    Copy the full SHA
    156a598 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2021

  1. Liaojinghui's suggestion

    erikzhang committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    f1a8745 View commit details
    Browse the repository at this point in the history
  2. Move namespace

    erikzhang committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    0dd9e30 View commit details
    Browse the repository at this point in the history
  3. Fix UT

    erikzhang committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    6ec439d View commit details
    Browse the repository at this point in the history
  4. Fix @Ashuaidehao

    shargon committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    d2aa279 View commit details
    Browse the repository at this point in the history
  5. Another equal

    shargon committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    1f3d315 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2021

  1. Rename

    erikzhang committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    96831a8 View commit details
    Browse the repository at this point in the history
  2. Add MaxNestingDepth

    erikzhang committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    a89ce6f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    45a4493 View commit details
    Browse the repository at this point in the history
  4. Add nested UT

    shargon committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    5f0da7a View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    a0694c2 View commit details
    Browse the repository at this point in the history