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

increase compatibility between BatMap, BatSplay and stdlib.Map #1008

Merged
merged 22 commits into from
Feb 1, 2021
Merged

increase compatibility between BatMap, BatSplay and stdlib.Map #1008

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
2bd2865
start compat work on map & splay
Jan 22, 2021
20aacb5
faster implementations
Jan 22, 2021
02968ad
fix documentation
Jan 22, 2021
d34ba91
some implementation work
Jan 23, 2021
ca88bcd
more testing
Jan 23, 2021
145f14a
fix compile errors & tests
Jan 24, 2021
02bdbef
more tests
Jan 24, 2021
a34090e
merge master
Jan 24, 2021
a6ca863
bugfix
Jan 24, 2021
560f2e0
some more tests
Jan 24, 2021
d8895a7
fix bug & tests
Jan 25, 2021
7f853c8
some explanation on splay trees
Jan 29, 2021
435fe08
optimize update_stdlib
Jan 30, 2021
1050ffe
merge & add compat test BatSplay vs stdlib.Map
Jan 30, 2021
3521a66
merge & add compat test BatSplay vs stdlib.Map
Jan 30, 2021
7564cdd
small fixes
Jan 30, 2021
9b157fe
improve BatSplay.to_seq and to_seq_from
Jan 30, 2021
61c0fc0
rewrote to_seq and to_seq_from to reuse existing iterator
Jan 30, 2021
959b9cb
re-insert 'assert(false)' on impossible branches
Jan 30, 2021
bab9dcb
refactoring of to_seq
Jan 31, 2021
b0d5688
fix compatibility with older ocaml versions where stdlib.Seq is missing
Jan 31, 2021
a39bbce
fix union_stdlib and is_empty
Jan 31, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading