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

Improve the tmp node deletion #62

Merged
merged 6 commits into from
Jan 16, 2024
Merged

Improve the tmp node deletion #62

merged 6 commits into from
Jan 16, 2024

Commits on Jan 16, 2024

  1. try to improve the node deletion but there may be a bug, needs more t… 

    …esting
    @irevoire
    irevoire committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    c9424b7 View commit details
    Browse the repository at this point in the history

  2. assert validity of the indexes

    @irevoire
    irevoire committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    429a5ed View commit details
    Browse the repository at this point in the history

  3. configure the fuzzer to check the validity of the indexes

    @irevoire
    irevoire committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    f736902 View commit details
    Browse the repository at this point in the history

  4. makes clippy happy

    @irevoire
    irevoire committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    2aab22f View commit details
    Browse the repository at this point in the history

  5. ensure that we effectively generated trees and not graph

    @irevoire
    irevoire committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    f12a7ce View commit details
    Browse the repository at this point in the history

  6. Rename the features

    @irevoire
    irevoire committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    9ecaa95 View commit details
    Browse the repository at this point in the history