Merge branch 'main' into challenge-0003-ptr-arith

.github/CODEOWNERS

@@ -1,4 +1 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 *   @model-checking/kani-devs

.github/ISSUE_TEMPLATE/tracking_issue.md

@@ -0,0 +1,12 @@
+---
+name: Tracking issue for challenge
+about: Create a new tracking issue for a challenge
+title: "[Tracking Challenge] "
+labels: Challenge
+---
+
+> **IMPORTANT:** Before submitting this issue, please add this challenge to the runbook and include the link below.
+
+## Runbook Link
+
+[Paste the link to the runbook page for this challenge here]

.github/dependabot.yml

@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 # https://docs.github.com/en/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
 
 version: 2

.github/workflows/book.yml

@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 # This workflow is responsible for building and releasing the book.
 
 name: Build Book

.github/workflows/kani.yml

@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 # This workflow is responsible for verifying the standard library with Kani.
 
 name: Kani
@@ -62,4 +59,3 @@ jobs:
         run: |
           kani verify-std -Z unstable-options ./library --target-dir ${{ runner.temp }} -Z function-contracts \
             -Z mem-predicates -Z ptr-to-ref-cast-checks
-          

.github/workflows/rustc.yml

@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 # This workflow is responsible for building the standard library using the bootstrap script
 # and executing the Rust regression.
 

.gitignore

@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 ## File system
 .DS_Store
 desktop.ini

doc/book.toml

@@ -1,5 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
 [book]
 title = "Verify Rust Std Lib"
 description = "How & What?"

library/contracts/safety/Cargo.toml

@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 [package]
 name = "safety"
 version = "0.1.0"

rust-toolchain.toml

@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 # This version should be updated whenever we update the version of the Rust
 # standard library we currently track.