Upgrade toolchain to 07/02#4195

Merged

tautschnig merged 5 commits intomodel-checking:mainfrom

carolynzech:toolchain-07-02

Jul 3, 2025

Commits on Jul 2, 2025

handle nullary intrinsics
Carolyn Zech
committed
align_of is also a nullary intrinsic
Carolyn Zech
committed
rename MinAlignOfVal to AlignOfVal
Carolyn Zech
committed
tweak unreachable msg (remove passive voice)
Carolyn Zech
committed
Statement and BasicBlockData are non-exhaustive
Carolyn Zech
committed