From 4b5b6a95e6af3aac4d0dead47dda5080ac931519 Mon Sep 17 00:00:00 2001 From: Jaisurya Nanduri Date: Tue, 25 Jun 2024 15:28:02 +0000 Subject: [PATCH 1/2] Remove copyright strings --- .github/CODEOWNERS | 1 - .github/dependabot.yml | 1 - .github/workflows/book.yml | 1 - .github/workflows/kani.yml | 2 -- .github/workflows/rustc.yml | 1 - .gitignore | 1 - doc/book.toml | 1 - library/contracts/safety/Cargo.toml | 1 - rust-toolchain.toml | 1 - 9 files changed, 10 deletions(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index f1a8a10bcd0f4..437f2c4f586fd 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1,4 +1,3 @@ -# 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 index 7647990dd685a..86c3dff32c937 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -1,4 +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 diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml index 55f3688beaab6..d4a17e01ebffd 100644 --- a/.github/workflows/book.yml +++ b/.github/workflows/book.yml @@ -1,4 +1,3 @@ -# Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT # This workflow is responsible for building and releasing the book. diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index 60a142e2d6692..d1b9e1735086a 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -1,4 +1,3 @@ -# Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT # This workflow is responsible for verifying the standard library with Kani. @@ -62,4 +61,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 index da865faa84881..42a4729393584 100644 --- a/.github/workflows/rustc.yml +++ b/.github/workflows/rustc.yml @@ -1,4 +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 diff --git a/.gitignore b/.gitignore index f9fe675ebbe11..f1dff44a9a849 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,3 @@ -# Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT ## File system diff --git a/doc/book.toml b/doc/book.toml index ed71647dd8ad9..39d6a3153895d 100644 --- a/doc/book.toml +++ b/doc/book.toml @@ -1,4 +1,3 @@ -# Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT [book] title = "Verify Rust Std Lib" diff --git a/library/contracts/safety/Cargo.toml b/library/contracts/safety/Cargo.toml index e51487e7266e9..82692ac5f1720 100644 --- a/library/contracts/safety/Cargo.toml +++ b/library/contracts/safety/Cargo.toml @@ -1,4 +1,3 @@ -# Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT [package] diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 31b1f7dd8e678..b613cef9342c8 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,4 +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 From b41e2dfb077a714264f69d4157d26aee4086bc15 Mon Sep 17 00:00:00 2001 From: Jaisurya Nanduri Date: Tue, 25 Jun 2024 17:59:01 +0000 Subject: [PATCH 2/2] Remove license info as well --- .github/CODEOWNERS | 2 -- .github/dependabot.yml | 2 -- .github/workflows/book.yml | 2 -- .github/workflows/kani.yml | 2 -- .github/workflows/rustc.yml | 2 -- .gitignore | 2 -- doc/book.toml | 1 - library/contracts/safety/Cargo.toml | 2 -- rust-toolchain.toml | 2 -- 9 files changed, 17 deletions(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 437f2c4f586fd..02c576aad6c1f 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1,3 +1 @@ -# SPDX-License-Identifier: Apache-2.0 OR MIT - * @model-checking/kani-devs diff --git a/.github/dependabot.yml b/.github/dependabot.yml index 86c3dff32c937..18d711f62625d 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -1,5 +1,3 @@ -# 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 index d4a17e01ebffd..9b1ab637140c3 100644 --- a/.github/workflows/book.yml +++ b/.github/workflows/book.yml @@ -1,5 +1,3 @@ -# 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 index d1b9e1735086a..e2783264cf81a 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -1,5 +1,3 @@ -# SPDX-License-Identifier: Apache-2.0 OR MIT - # This workflow is responsible for verifying the standard library with Kani. name: Kani diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml index 42a4729393584..1903dd98e5b2c 100644 --- a/.github/workflows/rustc.yml +++ b/.github/workflows/rustc.yml @@ -1,5 +1,3 @@ -# 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 index f1dff44a9a849..367d4db4df2f7 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,3 @@ -# SPDX-License-Identifier: Apache-2.0 OR MIT - ## File system .DS_Store desktop.ini diff --git a/doc/book.toml b/doc/book.toml index 39d6a3153895d..7f5e1329fef4d 100644 --- a/doc/book.toml +++ b/doc/book.toml @@ -1,4 +1,3 @@ -# 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 index 82692ac5f1720..937a72c32f0f0 100644 --- a/library/contracts/safety/Cargo.toml +++ b/library/contracts/safety/Cargo.toml @@ -1,5 +1,3 @@ -# 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 index b613cef9342c8..b3927fd5f48c3 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,5 +1,3 @@ -# 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.