Upgrade stable branch to Rust 1.86.0#3985

Merged

zhassan-aws merged 29 commits into

model-checking:stablefrom

zhassan-aws:1.86.0

Apr 4, 2025

Commits on Jan 28, 2025

Commits on Jan 29, 2025

Commits on Jan 30, 2025

Remove symtab2gb from bundle (#3865)
zhassan-aws
authored

Commits on Jan 31, 2025

Update the rustc hack for CLion / RustRover (#3868)
celinval
authored

Commits on Feb 3, 2025

Bump tests/perf/s2n-quic from `4500593` to `82dd0b5` (#3872)
dependabot[bot]
authored
Automatic cargo update to 2025-02-03 (#3869)

github-actions[bot]
and
tautschnig
authored

Commits on Feb 4, 2025

Add reference for loop contracts (#3849)

qinheping
and
zhassan-aws
authored

Commits on Feb 5, 2025

remove flag float-overflow-check (#3873)
rajath-mk
authored
Bump Kani version to 0.59.0 (#3876)

Carolyn Zech
and
zhassan-aws
authored

Commits on Feb 6, 2025

Add missing version number to changelog (#3877)
Carolyn Zech
authored

Commits on Feb 10, 2025

Commits on Feb 11, 2025

Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up (#3879)

rajath-mk
and
zhassan-aws
authored
Autoharness Subcommand (#3874)
Carolyn Zech
authored
Upgrade toolchain to 2/10 (#3883)
Carolyn Zech
authored

Commits on Feb 12, 2025

Add loop-contracts doc to SUMMARY (#3886)
qinheping
authored

Commits on Feb 14, 2025

Support concrete playback for arrays of length 65 or greater (#3888)
Carolyn Zech
authored

Commits on Feb 17, 2025

Commits on Feb 18, 2025

Adjust PropertyClass of assertions to identify UB (#3860)

tautschnig
and
Carolyn Zech
authored

Commits on Feb 19, 2025

Fix: regression test from #3888 has version control change (#3892)

Carolyn Zech
and
tautschnig
authored

Commits on Feb 21, 2025

Commits on Apr 3, 2025