fact-gen: support fneg and freeze instructions

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

Closed adrianherrera closed 1 year ago

adrianherrera commented 1 year ago

Hey @langston-barrett! I've added rudimentary support for the fneg and freeze instructions. Let me know what you think!