Skip to content

Conversation

sim642
Copy link
Member

@sim642 sim642 commented Jul 30, 2025

Closes #1795.

This probably isn't all of it, but hopefully is most that I quickly found with some simple searches.

@sim642 sim642 added this to the v2.7.0 Bamboozled Buffalo milestone Jul 30, 2025
@sim642 sim642 added cleanup Refactoring, clean-up bug performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var) labels Jul 30, 2025
@DrMichaelPetter DrMichaelPetter self-requested a review August 6, 2025 19:44
@sim642 sim642 marked this pull request as ready for review September 4, 2025 09:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug cleanup Refactoring, clean-up performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Avoid eager string conversions during analysis
1 participant