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

Extend the invariant filter to specify particular invariants #2034

Merged
merged 11 commits into from
Aug 5, 2022
Merged

Extend the invariant filter to specify particular invariants #2034

merged 11 commits into from
Aug 5, 2022

Commits on Aug 4, 2022

  1. Use static representation of invariant kinds

    @thpani
    thpani committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    9e8f6e2 View commit details
    Browse the repository at this point in the history

  2. Rephrase comment

    @thpani
    thpani committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    ab7a624 View commit details
    Browse the repository at this point in the history

  3. Extend invariant filter syntax 

    From words `$stepNo` to words
`${stepNo}->${invariantKind}${invariantNo}`.
    @thpani
    thpani committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    6c48e08 View commit details
    Browse the repository at this point in the history

  4. Add tests

    @thpani
    thpani committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    11ac49b View commit details
    Browse the repository at this point in the history

  5. Update docs

    @thpani
    thpani committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    a8ce3c6 View commit details
    Browse the repository at this point in the history

  6. Add changelog entry

    @thpani
    thpani committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    9925e76 View commit details
    Browse the repository at this point in the history

  7. Use new invariant filter syntax in test command

    @thpani
    thpani committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    de32679 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2022

  1. Small language tweaks 

    Co-authored-by: Shon Feder <shon@informal.systems>
    @thpani
    thpani and Shon Feder committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    a517df1 View commit details
    Browse the repository at this point in the history

  2. Explain how to find VC/invariant indices

    @thpani
    thpani committed Aug 5, 2022
    1 Configuration menu
    Copy the full SHA
    b83bf3e View commit details
    Browse the repository at this point in the history

  3. Add usecase

    @thpani
    thpani committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    7ef9a93 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into th/invfilter

    @thpani
    thpani committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    444583b View commit details
    Browse the repository at this point in the history