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

Refactor the Quint specification after #144 #146

Merged
merged 20 commits into from
Aug 8, 2024
Merged

Refactor the Quint specification after #144 #146

merged 20 commits into from
Aug 8, 2024

Commits on Jul 4, 2024

  1. update the protocol according to #144

    @konnov
    konnov committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    1414976 View commit details
    Browse the repository at this point in the history

  2. fix aux_timeout_qc_inv

    @konnov
    konnov committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    3b531f7 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. critical bugfix

    @konnov
    konnov committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    660672e View commit details
    Browse the repository at this point in the history

  2. fix unit tests

    @konnov
    konnov committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    7055160 View commit details
    Browse the repository at this point in the history

  3. refactor tests_n6f1b0

    @konnov
    konnov committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    e0befdc View commit details
    Browse the repository at this point in the history

  4. refactor tests_n6f1b1

    @konnov
    konnov committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    a44d3c2 View commit details
    Browse the repository at this point in the history

  5. refactor tests_n6f1b2

    @konnov
    konnov committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    3595480 View commit details
    Browse the repository at this point in the history

  6. fix state_monitor

    @konnov
    konnov committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    5f466d8 View commit details
    Browse the repository at this point in the history

  7. fix all_replicas_high_timeout_qc_inv

    @konnov
    konnov committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    864bdff View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. Merge branch 'main' into igor/quint-timeout-qc-refactor

    @brunoffranca
    brunoffranca authored Jul 8, 2024
    Configuration menu
    Copy the full SHA
    b128bea View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. fix committed_blocks_have_justification_inv

    @konnov
    konnov committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    4b86806 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into igor/quint-timeout-qc-refactor

    @konnov
    konnov authored Jul 17, 2024
    Configuration menu
    Copy the full SHA
    afadd59 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. fix n7f1b0, add n7f1b1

    @konnov
    konnov committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    6bd71a0 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2024

  1. Merge branch 'main' into igor/quint-timeout-qc-refactor

    @konnov
    konnov authored Jul 27, 2024
    Configuration menu
    Copy the full SHA
    c07f3ea View commit details
    Browse the repository at this point in the history

  2. add syntax highlighting

    @konnov
    konnov committed Jul 27, 2024
    Configuration menu
    Copy the full SHA
    82578a7 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. Merge branch 'main' into igor/quint-timeout-qc-refactor

    @konnov
    konnov authored Jul 30, 2024
    Configuration menu
    Copy the full SHA
    6154776 View commit details
    Browse the repository at this point in the history

  2. pin the version of quint

    @konnov
    konnov committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    445e273 View commit details
    Browse the repository at this point in the history

  3. downgrade node to v20

    @konnov
    konnov committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    4fbda61 View commit details
    Browse the repository at this point in the history

  4. try quint 0.21.0 with node 20

    @konnov
    konnov committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    5191830 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Merge branch 'main' into igor/quint-timeout-qc-refactor

    @konnov
    konnov authored Aug 8, 2024
    Configuration menu
    Copy the full SHA
    79f7eb6 View commit details
    Browse the repository at this point in the history