Bump Kani version (#4511)

0.67.0 Kani release

Raw release notes:
```
## What's Changed
* Upgrade Rust toolchain to 2025-11-06 by @tautschnig in #4451
* Upgrade Rust toolchain to 2025-11-07 by @tautschnig in #4454
* Automatic toolchain upgrade to nightly-2025-11-08 by @github-actions[bot] in #4456
* Automatic toolchain upgrade to nightly-2025-11-09 by @github-actions[bot] in #4457
* Automatic cargo update to 2025-11-10 by @github-actions[bot] in #4459
* Gracefully fail when compiling structs with too large array by @tautschnig in #4461
* Upgrade Rust toolchain to 2025-11-10 by @tautschnig in #4460
* Bump tests/perf/s2n-quic from `e726f08` to `cf77e2b` by @dependabot[bot] in #4462
* Automatic toolchain upgrade to nightly-2025-11-11 by @github-actions[bot] in #4463
* fix: Make kani attribute nameres work with generic args having `::` by @ShoyuVanilla in #4427
* NixOS: patch binaries if the dynamic linker is a stub by @GrigorenkoPV in #4413
* Update charon submodule by 15 commits by @tautschnig in #4464
* Arrays with more than 64 elements no longer cause spurious failures by @tautschnig in #4470
* Upgrade Rust toolchain to 2025-11-12 by @tautschnig in #4469
* Upgrade Rust toolchain to 2025-11-13 by @tautschnig in #4473
* Automatic cargo update to 2025-11-17 by @github-actions[bot] in #4476
* Upgrade Rust toolchain to 2025-11-16 by @tautschnig in #4477
* Automatic toolchain upgrade to nightly-2025-11-18 by @github-actions[bot] in #4478
* Upgrade Rust toolchain to 2025-11-19 by @tautschnig in #4482
* Automatic toolchain upgrade to nightly-2025-11-20 by @github-actions[bot] in #4483
* Automatic cargo update to 2025-11-24 by @github-actions[bot] in #4487
* Bump tests/perf/s2n-quic from `cf77e2b` to `25d7f4e` by @dependabot[bot] in #4489
* Bump actions/checkout from 5 to 6 by @dependabot[bot] in #4488
* Automatic cargo update to 2025-12-01 by @github-actions[bot] in #4491
* Bump tests/perf/s2n-quic from `25d7f4e` to `77f104c` by @dependabot[bot] in #4492
* Automatic cargo update to 2025-12-08 by @github-actions[bot] in #4493
* Bump tests/perf/s2n-quic from `77f104c` to `1ac1364` by @dependabot[bot] in #4494
* docs: Correct `default-unwind` Cargo.toml examples by @hashcatHitman in #4496
* Automatic cargo update to 2025-12-15 by @github-actions[bot] in #4497
* Bump peter-evans/create-pull-request from 7 to 8 by @dependabot[bot] in #4498
* Bump actions/download-artifact from 6 to 7 by @dependabot[bot] in #4499
* Bump tests/perf/s2n-quic from `1ac1364` to `8445d10` by @dependabot[bot] in #4500
* Bump mdbook version by @zhassan-aws in #4503
* Bump tests/perf/s2n-quic from `8445d10` to `112439c` by @dependabot[bot] in #4502
* Automatic cargo update to 2025-12-22 by @github-actions[bot] in #4501
* Bump tests/perf/s2n-quic from `112439c` to `dce0a3c` by @dependabot[bot] in #4506
* Automatic cargo update to 2025-12-29 by @github-actions[bot] in #4505
* Automatic cargo update to 2026-01-05 by @github-actions[bot] in #4508
* Add a section with recommended setup for Rust Analyzer by @zhassan-aws in #4504
* Automatic cargo update to 2026-01-12 by @github-actions[bot] in #4509
* Bump tests/perf/s2n-quic from `dce0a3c` to `058783f` by @dependabot[bot] in #4510
* Upgrade Rust toolchain to 2025-11-21 by @tautschnig in #4486

## New Contributors
* @hashcatHitman made their first contribution in #4496

**Full Changelog**: kani-0.66.0...kani-0.67.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: Michael Tautschnig <mt@debian.org>

Author: zhassan-aws

CHANGELOG.md

@@ -4,6 +4,23 @@ This file contains notable changes (e.g. breaking changes, major changes, etc.)
 
 This file was introduced starting Kani 0.23.0, so it only contains changes from version 0.23.0 onwards.
 
+## [0.67.0]
+
+### What's Changed
+* Gracefully fail when compiling structs with too large array by @tautschnig in https://github.com/model-checking/kani/pull/4461
+* fix: Make kani attribute nameres work with generic args having `::` by @ShoyuVanilla in https://github.com/model-checking/kani/pull/4427
+* NixOS: patch binaries if the dynamic linker is a stub by @GrigorenkoPV in https://github.com/model-checking/kani/pull/4413
+* Update charon submodule by 15 commits by @tautschnig in https://github.com/model-checking/kani/pull/4464
+* Arrays with more than 64 elements no longer cause spurious failures by @tautschnig in https://github.com/model-checking/kani/pull/4470
+* docs: Correct `default-unwind` Cargo.toml examples by @hashcatHitman in https://github.com/model-checking/kani/pull/4496
+* Add a section with recommended setup for Rust Analyzer by @zhassan-aws in https://github.com/model-checking/kani/pull/4504
+* Upgrade Rust toolchain to 2025-11-21 by @tautschnig, @zhassan-aws
+
+### New Contributors
+* @hashcatHitman made their first contribution in https://github.com/model-checking/kani/pull/4496
+
+**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.66.0...kani-0.67.0
+
 ## [0.66.0]
 
 ### Breaking Changes

Cargo.lock

@@ -181,7 +181,7 @@ dependencies = [
 
 [[package]]
 name = "build-kani"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -434,7 +434,7 @@ checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b"
 
 [[package]]
 name = "cprover_bindings"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "lazy_static",
  "linear-map",
@@ -947,15 +947,15 @@ dependencies = [
 
 [[package]]
 name = "kani"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "kani_core",
  "kani_macros",
 ]
 
 [[package]]
 name = "kani-compiler"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "charon",
  "clap",
@@ -994,7 +994,7 @@ dependencies = [
 
 [[package]]
 name = "kani-driver"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -1024,7 +1024,7 @@ dependencies = [
 
 [[package]]
 name = "kani-verifier"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "anyhow",
  "home",
@@ -1033,14 +1033,14 @@ dependencies = [
 
 [[package]]
 name = "kani_core"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "kani_macros",
 ]
 
 [[package]]
 name = "kani_macros"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "proc-macro-error2",
  "proc-macro2",
@@ -1052,7 +1052,7 @@ dependencies = [
 
 [[package]]
 name = "kani_metadata"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "clap",
  "cprover_bindings",
@@ -1958,7 +1958,7 @@ dependencies = [
 
 [[package]]
 name = "std"
-version = "0.66.0"
+version = "0.67.0"
 dependencies = [
  "kani",
 ]

Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani-verifier"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 description = "A bit-precise model checker for Rust."
 readme = "README.md"

cprover_bindings/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "cprover_bindings"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 publish = false

kani-compiler/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani-compiler"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 publish = false

kani-driver/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani-driver"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 description = "Build a project with Kani and run all proof harnesses"
 license = "MIT OR Apache-2.0"

kani_metadata/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani_metadata"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 publish = false

library/kani/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 publish = false

library/kani_core/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani_core"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 publish = false

library/kani_macros/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani_macros"
-version = "0.66.0"
+version = "0.67.0"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 publish = false