Update toolchain to 2025-03-02 - #3911

Merged

remi-delmas-3000 merged 11 commits into

model-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
26706b4
Intrinsics `rint`, `roundeven`, `nearbyint` replaced by `round_ties_even`.
Remi Delmas
committed
d9ad6e1
Rename `sub_ptr` to `offset_from_unsigned`.
Remi Delmas
committed
80fd315

Commits on Mar 3, 2025

Dump toolchain to 2025-03-02
Remi Delmas
committed
15fb14d

Commits on Mar 4, 2025

Commits on Mar 5, 2025