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

dev #215

Merged
merged 43 commits into from
Nov 23, 2023
Merged

dev #215

merged 43 commits into from
Nov 23, 2023

Conversation

ngtkana
Copy link
Owner

@ngtkana ngtkana commented Oct 27, 2023 •
edited
Loading

Add rb

@ngtkana ngtkana self-assigned this Oct 27, 2023
ngtkana added 27 commits October 27, 2023 23:00
@ngtkana
Fasten from_iter(); It seems we shouldn't distingish the leaf and beef
100aac5 
in tree.rs
@ngtkana
Stop distinguishing leaf and beaf, and value and acc.
cfabd1a
@ngtkana
remove a todo comment
2d57b2f
@ngtkana
remove recursion in from_slice_of_leaves
c939b14
@ngtkana
refactor new_red_beef to new_beef
85cb950
@ngtkana
Tested with non-Copy types, and fixed the double-free bugs.
66dcdbb
@ngtkana
Add split_off and its tests. it passes.
de3136f
@ngtkana
Add max_right, min_left and their tests
4bdb2c1
@ngtkana
Rename list -> seg
4ae6ff1
@ngtkana
Add iterators, and fix min_left
5d2bada
@ngtkana
Test max_right/min_left by saturating_affine
c20b061
@ngtkana
Add soc (sorted vec) for CF443 C. Tournament
11b4de0
@ngtkana
Rename soc -> seg_map
12112bb
@ngtkana
Fix a bug that we fogot to update the linked list of nodes.
7d26b68
@ngtkana
Add sorted_set
6f6aaa4
@ngtkana
Newly start balance.rs.
23b3eee
@ngtkana
Add generator of random valid or red-violating tree.
d56b565
@ngtkana
Change the root-color violation not be red-violation nor black-violation
dcdf82e
@ngtkana
Refactor tests of balance.rs, and add black_vio to the generator.
bc80b05
@ngtkana
Implement fix_red
e057967
@ngtkana
Implement fix_black
daada9f
@ngtkana
delete old rb
1b84b30
@ngtkana
Add insert/remove of Multiset
b61082b
@ngtkana
fix
f863134
@ngtkana
Use update in fix_{red,black}
516784b
@ngtkana
Add nth
c042c7b
@ngtkana
lint
010b8b1
@ngtkana ngtkana marked this pull request as ready for review November 23, 2023 05:10
@ngtkana ngtkana merged commit 5cd7716 into main Nov 23, 2023
@ngtkana ngtkana deleted the dev branch November 23, 2023 05:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@ngtkana ngtkana

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ngtkana