Performance issues with pts_to_mask
Open
- Dominant language
- Rust
- Stars
- 11
- Forks
- 1
- Avg merge
- 2d 3h
- Merged PRs (30d)
- 47
Description
The last switch to pts_to_mask (#81) made array operations a lot slower. For DPE I had to bump the z3rlimit to 20.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by examining the pts_to_mask implementation and the change in issue #81, then reproduce the reported slowdown in array operations. Use the DPE case and its z3rlimit increase to identify the regression; done means restoring acceptable performance without requiring that workaround.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- performance
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100