Automatic toolchain upgrade to nightly-2024-10-22 #3628
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
|
This is an automatically generated pull request. If any of the CI checks fail, rust-lang/rust@16b91e887a Update debuginfo test for newer lldb |
carolynzech
approved these changes
Oct 22, 2024
remi-delmas-3000
pushed a commit
to remi-delmas-3000/kani
that referenced
this pull request
Oct 22, 2024
Update Rust toolchain from nightly-2024-05-27 to nightly-2024-05-28 without any other source changes. This is an automatically generated pull request. If any of the CI checks fail, manual intervention is required. In such a case, review the changes at https://github.com/rust-lang/rust from rust-lang/rust@bdbbb6c up to rust-lang/rust@84b40fc. The log for this commit range is: rust-lang/rust@84b40fc908 Auto merge of #125628 - matthiaskrgr:rollup-3zk9v3w, r=matthiaskrgr rust-lang/rust@4966e1ae35 Rollup merge of #125625 - ChrisDenton:line-endings, r=Mark-Simulacrum rust-lang/rust@61f9d35798 Rollup merge of #125616 - RalfJung:mir-validate-downcast-projection, r=compiler-errors rust-lang/rust@e8dd585dd8 Rollup merge of #125542 - GuillaumeGomez:migrate-rustdoc-verify-output-files, r=jieyouxu rust-lang/rust@8bd15878eb Rollup merge of #125339 - tbu-:pr_tidy_ui_tests_u32, r=clubby789 rust-lang/rust@f00b02e6bb Auto merge of #125599 - camelid:clarify-stability, r=notriddle,GuillaumeGomez rust-lang/rust@7a847fc4fb Use grep to implement verify-line-endings rust-lang/rust@b0f8618938 Auto merge of #125413 - lcnr:ambig-drop-region-constraints, r=compiler-errors rust-lang/rust@7d24f87068 MIR validation: ensure that downcast projection is followed by field projection rust-lang/rust@f6e4703e91 Auto merge of #125611 - GuillaumeGomez:rollup-dfavpgg, r=GuillaumeGomez rust-lang/rust@bdf3864d51 Migrate `run-make/rustdoc-verify-output-files` to `rmake.rs` rust-lang/rust@f0ab814aec Add `Rustdoc::output_format` rust-lang/rust@1551fd1202 Add file path in case it cannot be read in `Diff::actual_file` rust-lang/rust@90fec5a087 Add `copy_dir_all` and `recursive_diff` functions to `run-make-support` rust-lang/rust@7083131c92 Rollup merge of #125607 - GuillaumeGomez:migrate-compile-stdin, r=jieyouxu rust-lang/rust@a9c125f864 Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726 rust-lang/rust@cfa7ab474f Rollup merge of #125535 - onur-ozkan:remove-deprecated-field, r=clubby789 rust-lang/rust@f50b4f5034 Rollup merge of #125530 - SparrowLii:expand2, r=petrochenkov rust-lang/rust@ad37f40355 Rollup merge of #125522 - spastorino:fix-lint-docs-edition-handling, r=Urgau,michaelwoerister rust-lang/rust@86f2fa35a2 Rollup merge of #125148 - RalfJung:codegen-sh, r=scottmcm rust-lang/rust@6dddc888fc Rollup merge of #124870 - Lokathor:update-result-docs, r=dtolnay rust-lang/rust@a59072ec4f Auto merge of #125602 - RalfJung:interpret-mir-lifetime, r=oli-obk rust-lang/rust@e4abfaeb62 Migrate `run-make/compile-stdin` to `rmake.rs` rust-lang/rust@b582f807fa Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercote rust-lang/rust@fec98b3bbc Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errors rust-lang/rust@e8379c9598 interpret: get rid of 'mir lifetime everywhere rust-lang/rust@36d36a3e1f interpret: the MIR is actually at lifetime 'tcx rust-lang/rust@699d28f968 rustdoc: Show "const" for const-unstable if also overall unstable rust-lang/rust@cdc509f7c0 Auto merge of #125580 - RalfJung:miri-sync, r=RalfJung rust-lang/rust@f92292978f Use EarlyBinder in rustc_type_ir, simplify imports rust-lang/rust@993553ceb8 Uplift EarlyBinder rust-lang/rust@529bb2573a Auto merge of #125593 - workingjubilee:rollup-67qk7di, r=workingjubilee rust-lang/rust@bbcdb4fd3e Give EarlyBinder a tcx parameter rust-lang/rust@4ff78692db Rollup merge of #125582 - scottmcm:less-from-usize, r=jieyouxu rust-lang/rust@45507e4304 Rollup merge of #125566 - camelid:notify-accepted, r=GuillaumeGomez rust-lang/rust@25b079a1cf Rollup merge of #125559 - scottmcm:simplify-shift-ubcheck, r=workingjubilee rust-lang/rust@c51fc1d02b Rollup merge of #125544 - Urgau:check-cfg-mention-cargo-specific, r=jieyouxu rust-lang/rust@b65b2b6ced Rollup merge of #125469 - compiler-errors:dont-skip-inner-const-body, r=cjgillot rust-lang/rust@09e75921f3 Rollup merge of #125466 - compiler-errors:dont-probe-for-ambig-in-sugg, r=jieyouxu rust-lang/rust@5860d43af3 Rollup merge of #125046 - bjorn3:no_mutable_static_linkage, r=cjgillot rust-lang/rust@866630d004 Rollup merge of #124048 - veera-sivarajan:bugfix-123773-c23-variadics, r=compiler-errors rust-lang/rust@0aad3f64e2 Auto merge of #125576 - lnicola:sync-from-ra, r=lnicola rust-lang/rust@d37f456b2a Avoid a `FieldIdx::from_usize` in InstSimplify rust-lang/rust@0963353634 Auto merge of model-checking#3631 - RalfJung:blocking-refactor, r=RalfJung rust-lang/rust@2e89443b93 add a macro to declare thread unblock callbacks rust-lang/rust@8e861c6c4c Auto merge of model-checking#3632 - RalfJung:readdir, r=RalfJung rust-lang/rust@350f5c88db unix/fs: a bit of cleanup in macos_fbsd_readdir_r rust-lang/rust@e09bf5694b Auto merge of model-checking#3633 - RalfJung:target, r=RalfJung rust-lang/rust@cbec1288a2 fix './miri run --dep --target _' rust-lang/rust@e6bb468b53 data_race: vector indices can be reused immediately when the thread is gone rust-lang/rust@a131243557 completely refactor how we manage blocking and unblocking threads rust-lang/rust@f7ca8a6d66 Auto merge of #17296 - mathew-horner:no-clone-target, r=Veykril rust-lang/rust@bd9cc02d10 Auto merge of #17295 - 0xJonas:fix_passing_env_vars_to_cpptools, r=Veykril rust-lang/rust@5fa30f7eaa make release_clock always work on the current thread rust-lang/rust@fa7a3f9049 rustdoc: Elide const-unstable if also unstable overall rust-lang/rust@91b3ef5b4a Notify T-rustdoc for beta-accepted and stable-accepted too rust-lang/rust@9b480da367 It seems that anchor names are implicitly all lowercase rust-lang/rust@0c84361342 Simplify the `unchecked_sh[lr]` ub-checks a bit rust-lang/rust@f8279b10c3 Fix URL target, it's in the module not the type. rust-lang/rust@2b2f83e5ff github showed that weird. rust-lang/rust@2e8f14fb37 correct for copy paste errors when fixing wrapping. rust-lang/rust@22668e83f6 Resolve rust-lang/rust#124870 (comment) rust-lang/rust@939f2671a0 revert to the inconsistent paragraph wrapping. rust-lang/rust@eb9894f3c9 Removed return rust-lang/rust@afa8dfc51f Avoid clone when constructing runnable label. rust-lang/rust@09677b03dd Formatting rust-lang/rust@78fe45e273 Semicolon rust-lang/rust@2315c6b764 Use correct format for setting environment variables when debugging with cpptools rust-lang/rust@331bb3f10d Auto merge of model-checking#3630 - rust-lang:rustup-2024-05-25, r=saethlin rust-lang/rust@bebcb4e4b8 Also mention my-self for check-cfg docs changes rust-lang/rust@c76477d909 add change entry rust-lang/rust@56dddd4c7e Remove deprecated field `dist.missing-tools` rust-lang/rust@1d0ad04993 Merge from rustc rust-lang/rust@3cfcfbf083 Preparing for merge from rustc rust-lang/rust@41d4a95fca Add "better" edition handling on lint-docs tool rust-lang/rust@278212342e cleanup dependence of `ExtCtxt` in transcribe when macro expansion rust-lang/rust@24b5466892 drop region constraints for ambiguous goals rust-lang/rust@ed8e436916 move generics_of call outside of iter rust-lang/rust@56d77b9048 Auto merge of #17275 - roife:fix-issue-17012, r=Veykril rust-lang/rust@796cb8031d Remove failing tests rust-lang/rust@f856ee357c Remove `DefId` from `EarlyParamRegion` (clippy/smir) rust-lang/rust@fe2d7794ca Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics) rust-lang/rust@bd6344d829 Remove `DefId` from `EarlyParamRegion` (type system) rust-lang/rust@b7b350cff7 docs rust-lang/rust@008f6b3a3f Auto merge of model-checking#3626 - devnexen:pthread_name_illumos, r=oli-obk rust-lang/rust@7fc41d1bdf Auto merge of model-checking#3625 - Strophox:miri-allocation-fix, r=RalfJung rust-lang/rust@b84620ff17 extend comments rust-lang/rust@88d519f718 Auto merge of model-checking#3628 - RalfJung:tokio, r=RalfJung rust-lang/rust@561bd9a5ec add back some tokio features rust-lang/rust@10d414091b Auto merge of model-checking#3627 - rust-lang:rustup-2024-05-24, r=RalfJung rust-lang/rust@4763eaf066 fmt rust-lang/rust@debf88ae1a Merge from rustc rust-lang/rust@9ce95c30b2 Preparing for merge from rustc rust-lang/rust@c58b7c9c81 Don't skip inner const when looking for body for suggestion rust-lang/rust@4bc41b91d7 Don't continue probing for method if in suggestion and autoderef hits ambiguity rust-lang/rust@7f5e0aade8 solaris add suport for threadname. rust-lang/rust@3c7a13d870 tests: update test for runnables rust-lang/rust@c10bda5577 Update docs rust-lang/rust@1a37cfb703 Use cwd from runnable.args for debugger rust-lang/rust@7b54c8231e Revert "Debug use cargo workspace root as cwd. fixes #13022" rust-lang/rust@d83b267bc1 Add cwd to CargoRunnable rust-lang/rust@6259991f04 Auto merge of #17287 - Veykril:sysroot-encode-empty, r=Veykril rust-lang/rust@f93256ca42 Allow sysroots to only consist of the source root dir rust-lang/rust@1b374dfd9b differentiate between layout and alloc_layout rust-lang/rust@56c363b43e fix alloc_bytes (always allocate at least 1B) rust-lang/rust@ecadf37df4 Auto merge of #17284 - Veykril:doc-links, r=Veykril rust-lang/rust@616fdd04bb Use correct toolchain channel when generating builtin type doc links rust-lang/rust@6e8646df8b Auto merge of #17174 - Kohei316:fix-infer-async-block-with-tail-return-expr, r=Veykril rust-lang/rust@425ed6a181 Update crates/hir-ty/src/infer/expr.rs rust-lang/rust@68fe34a4c2 Auto merge of #17140 - harrysarson:harry-unused-self, r=Veykril rust-lang/rust@6ea763b9e2 Auto merge of model-checking#3624 - rust-lang:rustup-2024-05-23, r=RalfJung rust-lang/rust@400835fd11 fmt rust-lang/rust@f1ffb8d859 Merge from rustc rust-lang/rust@807a0f8c21 Preparing for merge from rustc rust-lang/rust@37bf2d2dab Delay the construction of early lint diag structs rust-lang/rust@9f67c50128 Remove `DelayDm` rust-lang/rust@06bc4fc671 Remove `LintDiagnostic::msg` rust-lang/rust@366ef95407 Slightly clean up some lint infra code rust-lang/rust@ac2708a347 Auto merge of #17270 - davidbarsky:david/fix-completions-from-associated-types, r=Veykril rust-lang/rust@f2c3ef77b1 fix: ensure implied bounds from associated types are considered in autocomplete rust-lang/rust@04a9a1a531 Auto merge of model-checking#3614 - devnexen:illumos_time_support, r=oli-obk rust-lang/rust@0916e72a34 Auto merge of #17251 - roife:fix-issue-17057, r=Veykril rust-lang/rust@56ce7e0e06 Auto merge of #17252 - davidbarsky:david/refactor-standalone-bools-into-struct, r=Veykril rust-lang/rust@f50f8fbcb9 Simplify rust-lang/rust@7a21dff517 internal: refactor `prefer_no_std`/`prefer_prelude` bools into a struct rust-lang/rust@4e9b12870c fix: check pseudo-block by local_id instead of ModuleOrigin rust-lang/rust@ad810a51f0 Auto merge of #17277 - Veykril:find-path-fixes, r=Veykril rust-lang/rust@3f638a9291 solaris/illumos localtime_r / clock_getime support enabled. rust-lang/rust@d9dda8f84f Auto merge of #17279 - Veykril:format_args-escape, r=Veykril rust-lang/rust@2ff9bab2eb fix: Fix format_args lowering passing incorrect parameters to rustc_parse_format rust-lang/rust@39e6032445 Auto merge of #17248 - mladedav:dm/delay-clear, r=Veykril rust-lang/rust@24bf53d993 Auto merge of #17268 - Veykril:signatures, r=Veykril rust-lang/rust@b1830a5fe6 Update assists test fixtures rust-lang/rust@b29c755572 expectify find_path tests rust-lang/rust@5992af6506 fix: Fix general find-path inconsistencies rust-lang/rust@7fd1429754 Auto merge of model-checking#3623 - RalfJung:rustup, r=RalfJung rust-lang/rust@abbe244a81 clippy rust-lang/rust@a1bc030b70 Merge from rustc rust-lang/rust@24138f0034 Preparing for merge from rustc rust-lang/rust@c8b0e5b1a4 The number of tests does not depend on the architecture's pointer width rust-lang/rust@719eee2d82 test: add tests for extern preludes resolving in local mods rust-lang/rust@41c006e21a Auto merge of model-checking#3610 - marc0246:missing-error-kinds, r=RalfJung rust-lang/rust@37a37f6ab3 Use `throw_unsup_format` instead of returning `ENOTSUP` in the mmap shim rust-lang/rust@6438554bce Show fn traits in signature info for trait implementors rust-lang/rust@f42e55dfc8 Enable linked locations for closure param inlay hints rust-lang/rust@4b3d7f6039 Render closure fn trait kind in siganture help rust-lang/rust@7045044da3 Allow hir::Param to refer to other entity params aside from functions rust-lang/rust@9ff4ffb817 Update builtin tool list rust-lang/rust@ea2a16cadb fix: resolve extern prelude for local mods in block modules rust-lang/rust@1287e868e9 Clear diagnostics only after new ones were received rust-lang/rust@17bd43cb25 codegen: tweak/extend shift comments rust-lang/rust@b468f21051 Don't use `T` with both Result and Option, improve explanation. rust-lang/rust@531dae1cdf Only allow immutable statics with #[linkage] rust-lang/rust@10f8d1ffef use teletype on the attribute name rust-lang/rust@f94fa6bee3 Some Result combinations work like an Option. rust-lang/rust@dd16cbcb4e braces around {self} in UseTree are not unnecessary rust-lang/rust@39a653f632 Fix coercion of async block rust-lang/rust@f005b451c2 Support C23's Variadics Without a Named Parameter rust-lang/rust@62a104df98 Update Tests Co-authored-by: qinheping <16714939+qinheping@users.noreply.github.com>
tautschnig
added a commit
to tautschnig/kani
that referenced
this pull request
Dec 13, 2024
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml
-exec sed -i 's/version = "0.56.0"/version = "0.57.0"/' {} \;`) and ran
`cargo build-dev` to have `Cargo.lock` files updated.
GitHub generated release notes:
## What's Changed
* Remove the overflow checks for wrapping_offset by @zhassan-aws in model-checking#3589
* `kani-cov`: A coverage tool for Kani by @adpaco-aws in model-checking#3121
* Automatic toolchain upgrade to nightly-2024-10-04 by @github-actions in model-checking#3570
* Automatic toolchain upgrade to nightly-2024-10-05 by @github-actions in model-checking#3591
* Automatic toolchain upgrade to nightly-2024-10-06 by @github-actions in model-checking#3592
* Exclude Charon from workspace by @zhassan-aws in model-checking#3580
* Support fully-qualified --package arguments by @celinval in model-checking#3593
* Automatic toolchain upgrade to nightly-2024-10-07 by @github-actions in model-checking#3595
* Automatic toolchain upgrade to nightly-2024-10-08 by @github-actions in model-checking#3597
* Automatic cargo update to 2024-10-14 by @github-actions in model-checking#3598
* Bump tests/perf/s2n-quic from `17171ec` to `7752afb` by @dependabot in model-checking#3601
* Automatic toolchain upgrade to nightly-2024-10-09 by @github-actions in model-checking#3600
* Automatic toolchain upgrade to nightly-2024-10-10 by @github-actions in model-checking#3602
* Automatic toolchain upgrade to nightly-2024-10-11 by @github-actions in model-checking#3603
* Loop Contracts Annotation for While-Loop by @qinheping in model-checking#3151
* Automatic toolchain upgrade to nightly-2024-10-12 by @github-actions in model-checking#3604
* Update toolchain to 2024-10-15 by @zhassan-aws in model-checking#3605
* Automatic toolchain upgrade to nightly-2024-10-16 by @github-actions in model-checking#3607
* Implement proper function pointer handling for validity checks by @celinval in model-checking#3606
* Update toolchain to 2024-10-17 by @zhassan-aws in model-checking#3610
* Add fn that checks pointers point to same allocation by @celinval in model-checking#3583
* Automatic toolchain upgrade to nightly-2024-10-18 by @github-actions in model-checking#3613
* [aeneas] Preserve variable names by @zhassan-aws in model-checking#3560
* [Breaking change] Make `kani::check` private by @celinval in model-checking#3614
* Emit an error when proof_for_contract function is not found by @zhassan-aws in model-checking#3609
* Automatic toolchain upgrade to nightly-2024-10-19 by @github-actions in model-checking#3617
* Automatic toolchain upgrade to nightly-2024-10-20 by @github-actions in model-checking#3619
* Update test small_slice_eq by @qinheping in model-checking#3618
* Automatic toolchain upgrade to nightly-2024-10-21 by @github-actions in model-checking#3621
* Automatic cargo update to 2024-10-21 by @github-actions in model-checking#3622
* Bump tests/perf/s2n-quic from `7752afb` to `cd0314b` by @dependabot in model-checking#3625
* Update coverage flag in docs by @zhassan-aws in model-checking#3626
* Automatic toolchain upgrade to nightly-2024-10-22 by @github-actions in model-checking#3628
* Automatic toolchain upgrade to nightly-2024-10-23 by @github-actions in model-checking#3635
* Remove dead Option layer from run_piped by @zhassan-aws in model-checking#3634
* Add `free(0)` to codegen of loop contracts by @qinheping in model-checking#3637
* [Lean] Rename user-facing options from Aeneas to Lean by @zhassan-aws in model-checking#3630
* Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects by @carolynzech in model-checking#3636
* Automatic toolchain upgrade to nightly-2024-10-24 by @github-actions in model-checking#3639
* Add regular & fixme tests for function contracts by @celinval in model-checking#3371
* Call `goto-instrument` with `DFCC` only once by @qinheping in model-checking#3642
* Build and include `kani-cov` in the bundle by @adpaco-aws in model-checking#3641
* Fix loop contracts transformation when loops in branching by @qinheping in model-checking#3640
* Update toolchain to 10/25 by @carolynzech in model-checking#3648
* Automatic toolchain upgrade to nightly-2024-10-26 by @github-actions in model-checking#3651
* Automatic toolchain upgrade to nightly-2024-10-27 by @github-actions in model-checking#3652
* Bump tests/perf/s2n-quic from `cd0314b` to `ed9db08` by @dependabot in model-checking#3655
* Automatic cargo update to 2024-10-28 by @github-actions in model-checking#3654
* Automatic toolchain upgrade to nightly-2024-10-28 by @github-actions in model-checking#3653
* Reduce the number of object bits for refcell test by @zhassan-aws in model-checking#3656
* Move any_slice_from_array to kani_core by @qinheping in model-checking#3646
* Upgrade toolchain to 2024-10-29 by @zhassan-aws in model-checking#3658
* Add a timeout option by @zhassan-aws in model-checking#3649
* Upgrade toolchain to 2024-10-30 by @tautschnig in model-checking#3661
* Upgrade Rust toolchain to 2024-10-31 by @zhassan-aws in model-checking#3668
* Upgrade toolchain to 2024-11-01 by @tautschnig in model-checking#3671
* Automatic toolchain upgrade to nightly-2024-11-02 by @github-actions in model-checking#3673
* Implement `Arbitrary` for `Range*` by @c410-f3r in model-checking#3666
* Automatic toolchain upgrade to nightly-2024-11-03 by @github-actions in model-checking#3674
* codegen: Ask the layout if it is uninhabited, not its impl detail by @workingjubilee in model-checking#3675
* Automatic cargo update to 2024-11-04 by @github-actions in model-checking#3677
* Bump tests/perf/s2n-quic from `192de7d` to `65d55a4` by @dependabot in model-checking#3678
* Update dependencies following Audit workflow failure. by @remi-delmas-3000 in model-checking#3680
* Harness output individual files by @Alexander-Aghili in model-checking#3360
* Update Charon submodule to 2024-11-04 by @zhassan-aws in model-checking#3686
* Add support for float_to_int_unchecked by @zhassan-aws in model-checking#3660
* Change `same_allocation` to accept wide pointers by @celinval in model-checking#3684
* Automatic upgrade of CBMC from 6.3.1 to 6.4.0 by @github-actions in model-checking#3689
* Derive `Arbitrary` for enums with a single variant by @AlgebraicWolf in model-checking#3692
* Update cbmc-viewer to 3.10 by @remi-delmas-3000 in model-checking#3683
* Apply loop contracts only if there exists some usage by @qinheping in model-checking#3694
* Remove symtab json support by @celinval in model-checking#3695
* Remove CBMC viewer and visualize option by @zhassan-aws in model-checking#3699
* Ignore derivative in Cargo deny by @qinheping in model-checking#3708
* Upgrade Rust toolchain to 2024-11-08 by @zhassan-aws in model-checking#3703
* Automatic cargo update to 2024-11-11 by @github-actions in model-checking#3704
* Update verify-std-check workflow to enable loop contracts by @qinheping in model-checking#3705
* Automatic toolchain upgrade to nightly-2024-11-09 by @github-actions in model-checking#3709
* Bump tests/perf/s2n-quic from `65d55a4` to `cb41b35` by @dependabot in model-checking#3706
* Add support for f16 and f128 in float_to_int_unchecked intrinsic by @zhassan-aws in model-checking#3701
* Upgrade toolchain to nightly-2024-11-11 by @qinheping in model-checking#3710
* Automatic toolchain upgrade to nightly-2024-11-12 by @github-actions in model-checking#3713
* Update charon submodule by @zhassan-aws in model-checking#3716
* Revert "Ignore derivative in Cargo deny" by @qinheping in model-checking#3712
* Upgrade toolchain to nightly-2024-11-13 by @qinheping in model-checking#3715
* Automatic toolchain upgrade to nightly-2024-11-14 by @github-actions in model-checking#3719
* Automatic toolchain upgrade to nightly-2024-11-15 by @github-actions in model-checking#3720
* Fix codegen for rvalue aggregate raw pointer to an adt with slice tail by @carolynzech in model-checking#3644
* Improve Kani handling of function markers by @celinval in model-checking#3718
* Automatic toolchain upgrade to nightly-2024-11-16 by @github-actions in model-checking#3722
* Automatic toolchain upgrade to nightly-2024-11-17 by @github-actions in model-checking#3724
* Automatic cargo update to 2024-11-18 by @github-actions in model-checking#3723
* Bump tests/perf/s2n-quic from `cb41b35` to `4c3ba69` by @dependabot in model-checking#3725
* Automatic toolchain upgrade to nightly-2024-11-18 by @github-actions in model-checking#3727
* Enable contracts for const generic functions by @qinheping in model-checking#3726
* List Subcommand Improvements by @carolynzech in model-checking#3729
* Automatic toolchain upgrade to nightly-2024-11-19 by @github-actions in model-checking#3730
* add support for enum, struct, tuple in llbc backend by @thanhnguyen-aws in model-checking#3721
* Fix issues with how we compute DST size by @celinval in model-checking#3687
* Bump tests/perf/s2n-quic from `4c3ba69` to `c84ba19` by @dependabot in model-checking#3736
* Fix size and alignment computation for intrinsics by @celinval in model-checking#3734
* Automatic cargo update to 2024-11-25 by @github-actions in model-checking#3735
* Cleanup a few internal compiler deps by @celinval in model-checking#3739
* Add a Kani function that checks if the range of a float is valid for conversion to int by @zhassan-aws in model-checking#3742
* Dropping support for Ubuntu 18.04 / AL2. by @thanhnguyen-aws in model-checking#3744
* Update toolchain to nightly-2024-11-26 by @celinval in model-checking#3740
* Automatic upgrade of CBMC from 6.4.0 to 6.4.1 by @github-actions in model-checking#3748
* Automatic cargo update to 2024-12-02 by @github-actions in model-checking#3749
* Update download-artifact, upload-artifact and checkout to v4 by @thanhnguyen-aws in model-checking#3745
* Bump tests/perf/s2n-quic from `c84ba19` to `96d2e22` by @dependabot in model-checking#3750
* Upgrade toolchain to 2024-11-27 by @tautschnig in model-checking#3751
* Upgrade toolchain to 2024-11-28 by @tautschnig in model-checking#3753
* Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 by @tautschnig in model-checking#3758
* Automatic cargo update to 2024-12-09 by @github-actions in model-checking#3766
* Bump tests/perf/s2n-quic from `96d2e22` to `e4a2365` by @dependabot in model-checking#3767
* Upgrade toolchain to 2024-12-09 by @carolynzech in model-checking#3768
* Add out of bounds check for `offset` intrinsics by @celinval in model-checking#3755
* Upgrade toolchain to 2024-12-12 by @carolynzech in model-checking#3774
* Automatic toolchain upgrade to nightly-2024-12-13 by @github-actions in model-checking#3775
## New Contributors
* @c410-f3r made their first contribution in model-checking#3666
* @workingjubilee made their first contribution in model-checking#3675
* @Alexander-Aghili made their first contribution in model-checking#3360
* @AlgebraicWolf made their first contribution in model-checking#3692
* @thanhnguyen-aws made their first contribution in model-checking#3721
**Full Changelog**: model-checking/kani@kani-0.56.0...kani-0.57.0
github-merge-queue bot
pushed a commit
that referenced
this pull request
Dec 16, 2024
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml
-exec sed -i 's/version = "0.56.0"/version = "0.57.0"/' {} \;`) and ran
`cargo build-dev` to have `Cargo.lock` files updated.
GitHub generated release notes:
## What's Changed
* Remove the overflow checks for wrapping_offset by @zhassan-aws in
#3589
* `kani-cov`: A coverage tool for Kani by @adpaco-aws in
#3121
* Automatic toolchain upgrade to nightly-2024-10-04 by @github-actions
in #3570
* Automatic toolchain upgrade to nightly-2024-10-05 by @github-actions
in #3591
* Automatic toolchain upgrade to nightly-2024-10-06 by @github-actions
in #3592
* Exclude Charon from workspace by @zhassan-aws in
#3580
* Support fully-qualified --package arguments by @celinval in
#3593
* Automatic toolchain upgrade to nightly-2024-10-07 by @github-actions
in #3595
* Automatic toolchain upgrade to nightly-2024-10-08 by @github-actions
in #3597
* Automatic cargo update to 2024-10-14 by @github-actions in
#3598
* Bump tests/perf/s2n-quic from `17171ec` to `7752afb` by @dependabot in
#3601
* Automatic toolchain upgrade to nightly-2024-10-09 by @github-actions
in #3600
* Automatic toolchain upgrade to nightly-2024-10-10 by @github-actions
in #3602
* Automatic toolchain upgrade to nightly-2024-10-11 by @github-actions
in #3603
* Loop Contracts Annotation for While-Loop by @qinheping in
#3151
* Automatic toolchain upgrade to nightly-2024-10-12 by @github-actions
in #3604
* Update toolchain to 2024-10-15 by @zhassan-aws in
#3605
* Automatic toolchain upgrade to nightly-2024-10-16 by @github-actions
in #3607
* Implement proper function pointer handling for validity checks by
@celinval in #3606
* Update toolchain to 2024-10-17 by @zhassan-aws in
#3610
* Add fn that checks pointers point to same allocation by @celinval in
#3583
* Automatic toolchain upgrade to nightly-2024-10-18 by @github-actions
in #3613
* [aeneas] Preserve variable names by @zhassan-aws in
#3560
* [Breaking change] Make `kani::check` private by @celinval in
#3614
* Emit an error when proof_for_contract function is not found by
@zhassan-aws in #3609
* Automatic toolchain upgrade to nightly-2024-10-19 by @github-actions
in #3617
* Automatic toolchain upgrade to nightly-2024-10-20 by @github-actions
in #3619
* Update test small_slice_eq by @qinheping in
#3618
* Automatic toolchain upgrade to nightly-2024-10-21 by @github-actions
in #3621
* Automatic cargo update to 2024-10-21 by @github-actions in
#3622
* Bump tests/perf/s2n-quic from `7752afb` to `cd0314b` by @dependabot in
#3625
* Update coverage flag in docs by @zhassan-aws in
#3626
* Automatic toolchain upgrade to nightly-2024-10-22 by @github-actions
in #3628
* Automatic toolchain upgrade to nightly-2024-10-23 by @github-actions
in #3635
* Remove dead Option layer from run_piped by @zhassan-aws in
#3634
* Add `free(0)` to codegen of loop contracts by @qinheping in
#3637
* [Lean] Rename user-facing options from Aeneas to Lean by @zhassan-aws
in #3630
* Fix ICE due to mishandling of Aggregate rvalue for raw pointers to
trait objects by @carolynzech in
#3636
* Automatic toolchain upgrade to nightly-2024-10-24 by @github-actions
in #3639
* Add regular & fixme tests for function contracts by @celinval in
#3371
* Call `goto-instrument` with `DFCC` only once by @qinheping in
#3642
* Build and include `kani-cov` in the bundle by @adpaco-aws in
#3641
* Fix loop contracts transformation when loops in branching by
@qinheping in #3640
* Update toolchain to 10/25 by @carolynzech in
#3648
* Automatic toolchain upgrade to nightly-2024-10-26 by @github-actions
in #3651
* Automatic toolchain upgrade to nightly-2024-10-27 by @github-actions
in #3652
* Bump tests/perf/s2n-quic from `cd0314b` to `ed9db08` by @dependabot in
#3655
* Automatic cargo update to 2024-10-28 by @github-actions in
#3654
* Automatic toolchain upgrade to nightly-2024-10-28 by @github-actions
in #3653
* Reduce the number of object bits for refcell test by @zhassan-aws in
#3656
* Move any_slice_from_array to kani_core by @qinheping in
#3646
* Upgrade toolchain to 2024-10-29 by @zhassan-aws in
#3658
* Add a timeout option by @zhassan-aws in
#3649
* Upgrade toolchain to 2024-10-30 by @tautschnig in
#3661
* Upgrade Rust toolchain to 2024-10-31 by @zhassan-aws in
#3668
* Upgrade toolchain to 2024-11-01 by @tautschnig in
#3671
* Automatic toolchain upgrade to nightly-2024-11-02 by @github-actions
in #3673
* Implement `Arbitrary` for `Range*` by @c410-f3r in
#3666
* Automatic toolchain upgrade to nightly-2024-11-03 by @github-actions
in #3674
* codegen: Ask the layout if it is uninhabited, not its impl detail by
@workingjubilee in #3675
* Automatic cargo update to 2024-11-04 by @github-actions in
#3677
* Bump tests/perf/s2n-quic from `192de7d` to `65d55a4` by @dependabot in
#3678
* Update dependencies following Audit workflow failure. by
@remi-delmas-3000 in #3680
* Harness output individual files by @Alexander-Aghili in
#3360
* Update Charon submodule to 2024-11-04 by @zhassan-aws in
#3686
* Add support for float_to_int_unchecked by @zhassan-aws in
#3660
* Change `same_allocation` to accept wide pointers by @celinval in
#3684
* Automatic upgrade of CBMC from 6.3.1 to 6.4.0 by @github-actions in
#3689
* Derive `Arbitrary` for enums with a single variant by @AlgebraicWolf
in #3692
* Update cbmc-viewer to 3.10 by @remi-delmas-3000 in
#3683
* Apply loop contracts only if there exists some usage by @qinheping in
#3694
* Remove symtab json support by @celinval in
#3695
* Remove CBMC viewer and visualize option by @zhassan-aws in
#3699
* Ignore derivative in Cargo deny by @qinheping in
#3708
* Upgrade Rust toolchain to 2024-11-08 by @zhassan-aws in
#3703
* Automatic cargo update to 2024-11-11 by @github-actions in
#3704
* Update verify-std-check workflow to enable loop contracts by
@qinheping in #3705
* Automatic toolchain upgrade to nightly-2024-11-09 by @github-actions
in #3709
* Bump tests/perf/s2n-quic from `65d55a4` to `cb41b35` by @dependabot in
#3706
* Add support for f16 and f128 in float_to_int_unchecked intrinsic by
@zhassan-aws in #3701
* Upgrade toolchain to nightly-2024-11-11 by @qinheping in
#3710
* Automatic toolchain upgrade to nightly-2024-11-12 by @github-actions
in #3713
* Update charon submodule by @zhassan-aws in
#3716
* Revert "Ignore derivative in Cargo deny" by @qinheping in
#3712
* Upgrade toolchain to nightly-2024-11-13 by @qinheping in
#3715
* Automatic toolchain upgrade to nightly-2024-11-14 by @github-actions
in #3719
* Automatic toolchain upgrade to nightly-2024-11-15 by @github-actions
in #3720
* Fix codegen for rvalue aggregate raw pointer to an adt with slice tail
by @carolynzech in #3644
* Improve Kani handling of function markers by @celinval in
#3718
* Automatic toolchain upgrade to nightly-2024-11-16 by @github-actions
in #3722
* Automatic toolchain upgrade to nightly-2024-11-17 by @github-actions
in #3724
* Automatic cargo update to 2024-11-18 by @github-actions in
#3723
* Bump tests/perf/s2n-quic from `cb41b35` to `4c3ba69` by @dependabot in
#3725
* Automatic toolchain upgrade to nightly-2024-11-18 by @github-actions
in #3727
* Enable contracts for const generic functions by @qinheping in
#3726
* List Subcommand Improvements by @carolynzech in
#3729
* Automatic toolchain upgrade to nightly-2024-11-19 by @github-actions
in #3730
* add support for enum, struct, tuple in llbc backend by
@thanhnguyen-aws in #3721
* Fix issues with how we compute DST size by @celinval in
#3687
* Bump tests/perf/s2n-quic from `4c3ba69` to `c84ba19` by @dependabot in
#3736
* Fix size and alignment computation for intrinsics by @celinval in
#3734
* Automatic cargo update to 2024-11-25 by @github-actions in
#3735
* Cleanup a few internal compiler deps by @celinval in
#3739
* Add a Kani function that checks if the range of a float is valid for
conversion to int by @zhassan-aws in
#3742
* Dropping support for Ubuntu 18.04 / AL2. by @thanhnguyen-aws in
#3744
* Update toolchain to nightly-2024-11-26 by @celinval in
#3740
* Automatic upgrade of CBMC from 6.4.0 to 6.4.1 by @github-actions in
#3748
* Automatic cargo update to 2024-12-02 by @github-actions in
#3749
* Update download-artifact, upload-artifact and checkout to v4 by
@thanhnguyen-aws in #3745
* Bump tests/perf/s2n-quic from `c84ba19` to `96d2e22` by @dependabot in
#3750
* Upgrade toolchain to 2024-11-27 by @tautschnig in
#3751
* Upgrade toolchain to 2024-11-28 by @tautschnig in
#3753
* Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable
24.04 by @tautschnig in #3758
* Automatic cargo update to 2024-12-09 by @github-actions in
#3766
* Bump tests/perf/s2n-quic from `96d2e22` to `e4a2365` by @dependabot in
#3767
* Upgrade toolchain to 2024-12-09 by @carolynzech in
#3768
* Add out of bounds check for `offset` intrinsics by @celinval in
#3755
* Upgrade toolchain to 2024-12-12 by @carolynzech in
#3774
* Automatic toolchain upgrade to nightly-2024-12-13 by @github-actions
in #3775
## New Contributors
* @c410-f3r made their first contribution in
#3666
* @workingjubilee made their first contribution in
#3675
* @Alexander-Aghili made their first contribution in
#3360
* @AlgebraicWolf made their first contribution in
#3692
* @thanhnguyen-aws made their first contribution in
#3721
**Full Changelog**:
kani-0.56.0...kani-0.57.0
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
---------
Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Co-authored-by: Carolyn Zech <cmzech@amazon.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Update Rust toolchain from nightly-2024-10-21 to nightly-2024-10-22 without any other source changes.