Upgrade to Souffle 2.4 - Githubissues

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

137 stars 14 forks source link

Upgrade to Souffle 2.4 #159

Open langston-barrett opened 1 year ago

langston-barrett commented 1 year ago

https://github.com/souffle-lang/souffle/releases/tag/2.4