Labels

Port code from one LLVM version to the next one

Translation from LLVM IR to Crab IR

New crab abstract domain

To remember cases where the non-monotonic widening or narrowing causes unexpected precision losses