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

docs: discuss removal of unsupported instructions #153

Closed adrianherrera closed 1 year ago

adrianherrera commented 1 year ago

Per issue #152

langston-barrett commented 1 year ago

Love it, thanks!

langston-barrett commented 1 year ago

CI failure is #154