Upgrade Rust toolchain to nightly-2024-01-23 - #2983

Merged

feliperodri merged 17 commits into

model-checking:mainfrom

celinval:toolchain-2024-01-22

Feb 8, 2024

Commits on Jan 24, 2024

Commits on Jan 26, 2024

Automatic cargo update to 2024-01-22 (#2980)

authored and
qinheping
committed
20bbb51
Bump Kani version to 0.45.0 (#2984)
qinheping
committed
68fba17
Make __kani__workaround_core_assert pub in lib.rs
qinheping
committed
58e919b
Update align of u128 to 16
qinheping
committed
0a7b269
Merge pull request #26 from qinheping/toolchain
celinval
authored
c4ff060
Merge branch 'main' into toolchain-2024-01-22
celinval
authored
622d002

Commits on Feb 1, 2024

Merge branch 'main' into toolchain-2024-01-22
tautschnig
authored
68d1e20

Commits on Feb 2, 2024

Merge branch 'main' into toolchain-2024-01-22
tautschnig
authored
865b055

Commits on Feb 6, 2024

Commits on Feb 8, 2024

Move check_insert_two_concrete to list of slow tests
feliperodri
committed
15999c2
Resolve merging conflicts
feliperodri
committed
cbcaa32
Update expected perf/hashset result
feliperodri
committed
5537c02