Maintenance

List view

Restore clang-format check with a pinned down version

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

Status: Open.

#2223 In model-checking/kani;

· adpaco opened on Feb 21, 2023

Create mechanism to enable / disable APIs

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

T-RFCLabel RFC PRs and IssuesLabel RFC PRs and Issues

Status: Open.

#2279 In model-checking/kani;

· celinval opened on Mar 7, 2023

Publish a release whose bundled Rust accepts rust-version = 1.95

Status: Open.

Task

#4685 In model-checking/kani;

· kerberosmansour opened on Jul 28, 2026

Automatic upgrade of CBMC from 6.10.0 to 6.11.0

T-CBMCIssue related to an existing CBMC issueIssue related to an existing CBMC issue

Status: Open (in progress).

model-checking/kaninumber 4754

#4754 In model-checking/kani;

· github-actions opened on Aug 24, 2026