Skip to content

[AbsInt] Optimize performance of absint visitor for evaluation#2285

Merged
EagleoutIce merged 7 commits intomainfrom
2282-absint-optimize-performance-of-absint-visitor-for-evaluation
Feb 6, 2026
Merged

[AbsInt] Optimize performance of absint visitor for evaluation#2285
EagleoutIce merged 7 commits intomainfrom
2282-absint-optimize-performance-of-absint-visitor-for-evaluation

Conversation

@OliverGerstl
Copy link
Collaborator

No description provided.

@OliverGerstl OliverGerstl self-assigned this Jan 30, 2026
@OliverGerstl OliverGerstl linked an issue Jan 30, 2026 that may be closed by this pull request
@EagleoutIce EagleoutIce marked this pull request as ready for review February 6, 2026 13:52
@EagleoutIce
Copy link
Member

@EagleoutIce -check merge conflicts + invertCfg elicitation (+docs)

@EagleoutIce EagleoutIce merged commit ceaefd2 into main Feb 6, 2026
19 of 27 checks passed
@EagleoutIce EagleoutIce deleted the 2282-absint-optimize-performance-of-absint-visitor-for-evaluation branch February 6, 2026 22:28
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.

[AbsInt] Optimize performance of absint visitor for evaluation

2 participants