-
Notifications
You must be signed in to change notification settings - Fork 212
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.
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
feat: add some basic primitives for working with repdef data #2908
base: main
Are you sure you want to change the base?
Conversation
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #2908 +/- ##
==========================================
+ Coverage 77.93% 78.03% +0.10%
==========================================
Files 231 232 +1
Lines 70641 71044 +403
Branches 70641 71044 +403
==========================================
+ Hits 55051 55439 +388
- Misses 12439 12473 +34
+ Partials 3151 3132 -19
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
//! | - | 1 | // Start of new inner-most list (empty list) | ||
//! | 2 | 1 | // Start of new inner-most list | ||
//! | 3 | 2 | // Start of new middle list | ||
//! | - | 2 | // Start of new inner-most list (empty list) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Start of new middle list?
//! | ||
//! Definition levels are simpler. We can think of them as zipping together various validity (from | ||
//! different levels of nesting) into a single buffer. For example, we could zip the arrays | ||
//! [1, 1, 0, 0] and [1, 0, 1, 0] into [11, 10, 01, 00]. However, 00 and 01 are redundant. If the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
//! [1, 1, 0, 0] and [1, 0, 1, 0] into [11, 10, 01, 00]. However, 00 and 01 are redundant. If the | |
//! [1, 1, 0, 0] and [1, 0, 1, 0] into [11, 10, 01, 00]. However, 00 and 01 have redundancy in them. If the |
//! [1, 1, 0, 0] and [1, 0, 1, 0] into [11, 10, 01, 00]. However, 00 and 01 are redundant. If the | |
//! [1, 1, 0, 0] and [1, 0, 1, 0] into [11, 10, 01, 00]. However, 00 and 01 are redundant. If the |
695b2d5
to
af549ce
Compare
This adds builders for repetition and definition levels and also adds a miniblock concept for zipping together multiple buffers.