Update toolchain to 2025-03-02#3911

Merged

remi-delmas-3000 merged 11 commits intomodel-checking:mainfrom

remi-delmas-3000:update-toolchain-2025-02-26

Mar 5, 2025

Commits on Feb 27, 2025

Update toolchain to 2025-02-27
Remi Delmas
committed
Intrinsics `rint`, `roundeven`, `nearbyint` replaced by `round_ties_even`.
Remi Delmas
committed
Rename `sub_ptr` to `offset_from_unsigned`.
Remi Delmas
committed

Commits on Mar 3, 2025

Dump toolchain to 2025-03-02
Remi Delmas
committed

Commits on Mar 4, 2025