comparator #1

Closed

mfocko wants to merge 0 commits from comparator into main

pull from: comparator

merge into: wavl:main

wavl:main

wavl:ci

Conversation 0 Commits - Files changed -

mfocko commented 2022-02-03 11:35:41 +01:00

Owner

Copy link

No description provided.

mfocko added 2 commits 2022-02-03 11:35:41 +01:00

refactor(tree): split dot generation ... a4c896edbf

Signed-off-by: Matej Focko <mfocko@redhat.com>

feat: implement comparator for trees ... db35a07738

Signed-off-by: Matej Focko <mfocko@redhat.com>

mfocko added 9 commits 2022-05-07 15:43:20 +02:00

chore: update makefile ... 93ac86366b

Signed-off-by: Matej Focko <mfocko@redhat.com>

fix(avl): be more explicit in is_correct ... 6bde21f85c

Signed-off-by: Matej Focko <mfocko@redhat.com>

fix(comparator): propagate similarity ... d8a746268b

Signed-off-by: Matej Focko <mfocko@redhat.com>

fix(ranked_tree): transplant by double-delete ... f67468b637

Signed-off-by: Matej Focko <mfocko@redhat.com>

tests: extend AVL and change parameters of WAVL ... f05aa87f4b

Signed-off-by: Matej Focko <mfocko@redhat.com>

tests: generate AVL vs WAVL difference by contradiction ... e50cca7a14

Signed-off-by: Matej Focko <mfocko@redhat.com>

feat: add example usage of comparator ... 457ab180d0

Signed-off-by: Matej Focko <mfocko@redhat.com>

fix(wavl): propagate root rotation to the helper functions for delete ... 2433928d36

Signed-off-by: Matej Focko <mfocko@redhat.com>

fix(wavl): do not recursively fixup after delete ... 0882e6575d

Signed-off-by: Matej Focko <mfocko@redhat.com>

mfocko closed this pull request 2022-05-12 12:21:50 +02:00

mfocko deleted branch comparator 2022-05-12 12:21:54 +02:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

Done

Ship it!

  

In Progress

Currently being worked on

  

In Review

Being judged

  

Ready For Review

Ready to be opposed

  

Refined

Ready for work

  

Refinement

Needs to be evaluated or broken down

  

Tracking

Something is blocked

No labels

Done

In Progress

In Review

Ready For Review

Refined

Refinement

Tracking

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

wavl/python!1

No description provided.