bumping up LLVM 15 -> 16?

Stream: lean4 dev

[Siddharth Bhat]

I'd like to keep Lean up to date with the new LLVM 16 release.

I am unsure if this is the best time to send patches to bump up the LLVM version, as we would need to go through the release process for lean-llvm.

Would we like to wait for LLVM 17 and bump up to that directly instead, as I sense that we would have more bandwidth in a couple of months?

[Sebastian Ullrich]

If there is no immediate need, waiting seems reasonable to me. The only annoying step is the ARM releases.