Skip to content

feat(utils): add implementation of BitSet#484

Draft
MichalHe wants to merge 2 commits into
VeriFIT:develfrom
MichalHe:implement_dynamic_bit_set
Draft

feat(utils): add implementation of BitSet#484
MichalHe wants to merge 2 commits into
VeriFIT:develfrom
MichalHe:implement_dynamic_bit_set

Conversation

@MichalHe

@MichalHe MichalHe commented Feb 7, 2025

Copy link
Copy Markdown

This PR is work in progress.

Adds implementation of bit sets that can be used to accelerate (hopefully) operations that perform a lot of set manipulations (union, intersection).

@Adda0
Adda0 deleted the branch VeriFIT:devel June 10, 2026 10:51
@Adda0 Adda0 closed this Jun 10, 2026
@Adda0 Adda0 reopened this Jun 10, 2026
@codecov

codecov Bot commented Jun 10, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 75.27%. Comparing base (094ad6a) to head (4a24a69).
⚠️ Report is 558 commits behind head on devel.

Additional details and impacted files
@@            Coverage Diff             @@
##            devel     #484      +/-   ##
==========================================
+ Coverage   74.46%   75.27%   +0.80%     
==========================================
  Files          30       43      +13     
  Lines        4413     6179    +1766     
  Branches     1003     1371     +368     
==========================================
+ Hits         3286     4651    +1365     
- Misses        772     1015     +243     
- Partials      355      513     +158     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants