meltq wrote: All suggested changes have been made except for 1 formatting changed not allowed by clang-format and the logic regarding the Sollya which requires further clarification. https://github.com/llvm/llvm-project/pull/131351