Remove copyright strings (#24)

jaisnan · web-flow · commit 52bea58515a9 · 2024-06-25T11:37:20.000-07:00
Removes copyright strings, and allows this project to be in contribution
model sync with upstream.
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -1,4 +1 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 *   @model-checking/kani-devs
diff --git a/.github/dependabot.yml b/.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
diff --git a/.github/workflows/book.yml b/.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
diff --git a/.github/workflows/kani.yml b/.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
-          
diff --git a/.github/workflows/rustc.yml b/.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.
 
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,3 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-
 ## File system
 .DS_Store
 desktop.ini
diff --git a/doc/book.toml b/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?"
diff --git a/library/contracts/safety/Cargo.toml b/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"
diff --git a/rust-toolchain.toml b/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.
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-# Copyright Kani Contributors`
`2`		`-# SPDX-License-Identifier: Apache-2.0 OR MIT`
`3`	`1`	`[book]`
`4`	`2`	`title = "Verify Rust Std Lib"`
`5`	`3`	`description = "How & What?"`