search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
134 stars 15 forks source link

Fix building with recent versions of souffle #140

Closed mingodad closed 1 year ago

mingodad commented 1 year ago

See here https://github.com/souffle-lang/souffle/issues/2079#issuecomment-924605121

langston-barrett commented 1 year ago

Thanks for the contribution!