search

arcana-lab / noelle

NOELLE Offers Empowering LLVM Extensions
MIT License
75 stars 36 forks source link

[svf] integration with SVF-2.9 #139

Closed yiansu closed 4 months ago

yiansu commented 4 months ago

Changes to integrate with the latest SVF (tag: SVF-2.9), which builds upon LLVM14.

SVF-2.9's own patch has been pushed here.