What's Changed
- CI: pin Cygwin libuv1 to 1.52.1-1 and add Windows job timeout by @btj in #1021
- Require linux/amd64 image in devcontainer by @mborland in #1017
- Add Nix Flake build support by @wannestas in #1019
- Fix 3-byte surrogate guard in is_valid_utf8 by @Talha-Dmr in #1020
- [Rust] Allow address-taken locals in functions with projection clauses by @Talha-Dmr in #1023
- [Rust] Add support for &mut str mutable string references by @Talha-Dmr in #1024
- [Rust] Declare reborrow_str_ref in the aliasing prelude by @Talha-Dmr in #1025
- Update CXX Frontend to use LLVM 23 instead of LLVM 16 by @mborland in #1018
- Update GitHub actions versions by @mborland in #1022
- [Rust] Add specs for str::get_unchecked, str::chars, Chars::next, char::len_utf8 and char::encode_utf8 by @Talha-Dmr in #1026
- [Rust] Support in-out &mut [T] parameters in generated contracts by @Talha-Dmr in #1027
- [Rust] Canonicalize the trait name of projection clauses by @Talha-Dmr in #1028
- [Rust] Fix elided-lifetime detection in generated contracts by @Talha-Dmr in #1029
- [Rust] Spec the identity Into<NonNull> for NonNull by @feliperodri in #1032
- Bump Rust toolchain to nightly-2026-09-25 by @btj in #1033
New Contributors
- @mborland made their first contribution in #1017
- @wannestas made their first contribution in #1019
- @Talha-Dmr made their first contribution in #1020
- @feliperodri made their first contribution in #1032
Full Changelog: 26.09.20...26.10
Attestations
- verifast-26.10-macos-aarch.tar.gz: attestation
- verifast-26.10-linux.tar.gz: attestation
- verifast-26.10-windows.zip: attestation