Code

Introduce the Kani Rust verifier#30

Code

Merged

nspin merged 5 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/introduce-kaninspin/rust-sel4:pr/introduce-kaniCopy head branch name to clipboardOct 7, 2023

+192-15

Commits

Commits on Oct 6, 2023

• ci: Remove uninformative comment

  Show description for a57d376
  nspin

  committed
  a57d376

• ci: Remove comment with script snippet

  Show description for 0c15662
  nspin

  committed
  0c15662

• crates/sel4/bitfield-ops: Clarify unit test name

  Show description for 60fd7d8
  nspin

  committed
  60fd7d8

• Introduce the Kani Rust verifier

  Show description for 715a908
  nspin

  committed
  715a908

• ci: Check Kani proofs

  Show description for 0505be2
  nspin

  committed
  0505be2