From 2a5af864ae59f5346f4b4828fea2168b82688749 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Fri, 22 Apr 2022 17:57:39 -0400 Subject: [PATCH] Ensure MIT-0 license in all source files --- src/cbmc_starter_kit/__init__.py | 2 ++ src/cbmc_starter_kit/arguments.py | 2 +- src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh | 3 +++ src/cbmc_starter_kit/migrate_license.py | 3 +++ src/cbmc_starter_kit/repository.py | 3 +++ src/cbmc_starter_kit/version.py | 2 +- 6 files changed, 13 insertions(+), 2 deletions(-) diff --git a/src/cbmc_starter_kit/__init__.py b/src/cbmc_starter_kit/__init__.py index e69de29b..cd4ae9de 100644 --- a/src/cbmc_starter_kit/__init__.py +++ b/src/cbmc_starter_kit/__init__.py @@ -0,0 +1,2 @@ +# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. +# SPDX-License-Identifier: MIT-0 diff --git a/src/cbmc_starter_kit/arguments.py b/src/cbmc_starter_kit/arguments.py index d3e73db1..5023c381 100644 --- a/src/cbmc_starter_kit/arguments.py +++ b/src/cbmc_starter_kit/arguments.py @@ -1,5 +1,5 @@ # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. -# SPDX-License-Identifier: Apache-2.0 +# SPDX-License-Identifier: MIT-0 """Methods for common command-line argument parsing.""" diff --git a/src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh b/src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh index f22223d2..e273c4e6 100644 --- a/src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh +++ b/src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh @@ -1,5 +1,8 @@ #!/bin/bash +# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. +# SPDX-License-Identifier: MIT-0 + ################################################################ # Documentation # diff --git a/src/cbmc_starter_kit/migrate_license.py b/src/cbmc_starter_kit/migrate_license.py index 187180c1..46d836b0 100755 --- a/src/cbmc_starter_kit/migrate_license.py +++ b/src/cbmc_starter_kit/migrate_license.py @@ -1,5 +1,8 @@ #!/usr/bin/env python3 +# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. +# SPDX-License-Identifier: MIT-0 + import logging import os import re diff --git a/src/cbmc_starter_kit/repository.py b/src/cbmc_starter_kit/repository.py index bfde8582..f6918947 100644 --- a/src/cbmc_starter_kit/repository.py +++ b/src/cbmc_starter_kit/repository.py @@ -1,5 +1,8 @@ """Discover repository properties like repository root, proof root, etc.""" +# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. +# SPDX-License-Identifier: MIT-0 + from pathlib import Path from subprocess import Popen, PIPE import json diff --git a/src/cbmc_starter_kit/version.py b/src/cbmc_starter_kit/version.py index 23ed9f35..5d18e503 100644 --- a/src/cbmc_starter_kit/version.py +++ b/src/cbmc_starter_kit/version.py @@ -1,5 +1,5 @@ # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. -# SPDX-License-Identifier: Apache-2.0 +# SPDX-License-Identifier: MIT-0 """Version number."""