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

feat: stable certified sequence #88

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

feat: stable certified sequence #88

wants to merge 9 commits into from

Commits on Jun 2, 2023

  1. experiment: certified sequences

    @roman-kashitsyn
    roman-kashitsyn committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    19cdf95 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2023

  1. Merge remote-tracking branch 'origin/main' into roman-certified-seq

    @roman-kashitsyn
    roman-kashitsyn committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    3cb9f7c View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. implement witness generation

    @roman-kashitsyn
    roman-kashitsyn committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    4addddf View commit details
    Browse the repository at this point in the history

  2. remove the lock file

    @roman-kashitsyn
    roman-kashitsyn committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    b12ff96 View commit details
    Browse the repository at this point in the history

  3. revive the lock file

    @roman-kashitsyn
    roman-kashitsyn committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    9aaa61d View commit details
    Browse the repository at this point in the history

  4. move tree navigation tests into a separate file

    @roman-kashitsyn
    roman-kashitsyn committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    527d4df View commit details
    Browse the repository at this point in the history

  5. fix empty sequence witness

    @roman-kashitsyn
    roman-kashitsyn committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    55f8c1f View commit details
    Browse the repository at this point in the history

  6. clippy

    @roman-kashitsyn
    roman-kashitsyn committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    5d4fe2e View commit details
    Browse the repository at this point in the history

  7. clippy tests

    @roman-kashitsyn
    roman-kashitsyn committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    b2c0752 View commit details
    Browse the repository at this point in the history