Code

Bump Kani version to 0.54.0#3430

Code

Merged

feliperodri merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom feliperodri:release-0.54.0feliperodri/kani:release-0.54.0Copy head branch name to clipboardAug 9, 2024

+60-20

Commits

Commits on Aug 8, 2024

• Bump Kani version to 0.54.0

  Show description for b4c55a3
  feliperodri

  committed
  b4c55a3

  Copy full SHA for b4c55a3