search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Making Affine-equalities Sparse #1460

Open DrMichaelPetter opened 1 month ago

DrMichaelPetter commented 1 month ago

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.