nightly-2023-12-30

[hermanventer]

Description

Update toolchain to nightly-2023-12-30 and deal with changes. Also update dependencies.

Type of change

• Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

./validate.sh vcpkg

[gal1ium]

Hi! I found that, in standard_contracts/src/foreign_contracts.rs, some std contracts are not updated according to the nightly-2023-12-30's std. For example, in

MIRAI/standard_contracts/src/foreign_contracts.rs

Line 125 in 41887ea

cap: usize,

cap in nightly-2023-12-30 is an Enum Cap, not a usize, which leads to some wrong analysis results.
May I ask if the only way to fix such issues is to compare the current foreign_contracts with the std source one by one?

[hermanventer]

Sadly, yes. At some point it would be great if we can build MIRAI in such a way that the full sources of the standard libraries are available to MIRAI at runtime. Perhaps this is feasible now, but when I had a lot more time to work on this, it was not possible.