steakhal wrote: I'm sorry but I don't really have time for Z3 reviews right now. Maybe in 2-3 weeks. Ping me next week and I'll try to find someone for the review unless somebody picks this up in the mean time. https://github.com/llvm/llvm-project/pull/215240