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-aws 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