Skip to content

Conversation

@DrMichaelPetter
Copy link
Collaborator

This is intended to become a proposal PR for #1459 , exploring if we can come up with performance improvements by switching to sparse representations for affine equalities.

@DrMichaelPetter DrMichaelPetter self-assigned this May 14, 2024
@sim642 sim642 added performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var) labels May 14, 2024
@sim642
Copy link
Member

sim642 commented Nov 12, 2024

Can this be closed in favor of #1625? This only collects the stats anyway without really implementing it.

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

Labels

performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Affine Equalities Mostly Contain Only Small Portions of Actual Information

2 participants