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

Sync dead nodes #24

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Sync dead nodes #24

wants to merge 2 commits into from

Commits on Jul 17, 2024

  1. MergeDB with dead nodes

    @peterlimg
    peterlimg committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    724fe80 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Merge branch 'main' into fix/sync-delete-nodes 

    * main: (25 commits)
  Clean up debug logs
  Clean debug logs
  Strict dex/full with fix
  Revert on ext and full node
  Do on value node [all]
  Do on leaf node
  Do on full
  Do on ext
  Revert ext
  Do ext with compare
  Do ext with logs
  Revert ext
  Do strict on ext node
  Revert all nodes
  Revert value and leaf node
  Revert full node
  Revert node_outside_tree
  Revert extension node only
  Revert node clone
  Comment out for testing
  ...
    @peterlimg
    peterlimg committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    cbf5bf9 View commit details
    Browse the repository at this point in the history