From 9ebc1bcec5d38d5ad5eeced2ccce8ffded93ef0e Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 17 May 2022 09:12:19 -0400 Subject: [PATCH] Update copyright year --- crucible-concurrency/LICENSE | 2 +- crucible-go/LICENSE | 2 +- crucible-jvm/LICENSE | 2 +- crucible-jvm/crucible-jvm.cabal | 2 +- crucible-llvm/LICENSE | 2 +- crucible-llvm/crucible-llvm.cabal | 2 +- crucible-mc/LICENSE | 2 +- crucible-symio/LICENSE | 2 +- crucible-syntax/LICENSE | 2 +- crucible-wasm/LICENSE | 2 +- crucible-wasm/crucible-wasm.cabal | 2 +- crucible/LICENSE | 2 +- crucible/crucible.cabal | 2 +- crux-llvm/LICENSE | 2 +- crux-llvm/crux-llvm.cabal | 2 +- crux-mir/LICENSE | 2 +- crux/LICENSE | 2 +- crux/crux.cabal | 2 +- uc-crux-llvm/LICENSE | 2 +- uc-crux-llvm/uc-crux-llvm.cabal | 2 +- 20 files changed, 20 insertions(+), 20 deletions(-) diff --git a/crucible-concurrency/LICENSE b/crucible-concurrency/LICENSE index 9a6807cde..231493fa9 100644 --- a/crucible-concurrency/LICENSE +++ b/crucible-concurrency/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2021 Galois, Inc. +Copyright (c) 2021-2022 Galois, Inc. All rights reserved. diff --git a/crucible-go/LICENSE b/crucible-go/LICENSE index e4bf9042d..a9d4c787b 100644 --- a/crucible-go/LICENSE +++ b/crucible-go/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2017-2020, Galois Inc +Copyright (c) 2017-2022, Galois Inc All rights reserved. diff --git a/crucible-jvm/LICENSE b/crucible-jvm/LICENSE index ad1127d3c..16e32c770 100644 --- a/crucible-jvm/LICENSE +++ b/crucible-jvm/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2018 Galois Inc. +Copyright (c) 2018-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crucible-jvm/crucible-jvm.cabal b/crucible-jvm/crucible-jvm.cabal index b1ceb2be5..9aa550f77 100644 --- a/crucible-jvm/crucible-jvm.cabal +++ b/crucible-jvm/crucible-jvm.cabal @@ -1,7 +1,7 @@ Name: crucible-jvm Version: 0.2 Author: Galois Inc. -Copyright: (c) Galois, Inc. 2018 +Copyright: (c) Galois, Inc. 2018-2022 Maintainer: huffman@galois.com, sweirich@galois.com License: BSD3 License-file: LICENSE diff --git a/crucible-llvm/LICENSE b/crucible-llvm/LICENSE index 0b558b495..067cc2ceb 100644 --- a/crucible-llvm/LICENSE +++ b/crucible-llvm/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2013-2018 Galois Inc. +Copyright (c) 2013-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal index 77557ba42..fe8375da7 100644 --- a/crucible-llvm/crucible-llvm.cabal +++ b/crucible-llvm/crucible-llvm.cabal @@ -2,7 +2,7 @@ Cabal-version: 2.2 Name: crucible-llvm Version: 0.4 Author: Galois Inc. -Copyright: (c) Galois, Inc 2014-2021 +Copyright: (c) Galois, Inc 2014-2022 Maintainer: rdockins@galois.com License: BSD-3-Clause License-file: LICENSE diff --git a/crucible-mc/LICENSE b/crucible-mc/LICENSE index b1ade936b..56e18d41f 100644 --- a/crucible-mc/LICENSE +++ b/crucible-mc/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2019 Iavor Diatchki +Copyright (c) 2019-2022 Iavor Diatchki Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice diff --git a/crucible-symio/LICENSE b/crucible-symio/LICENSE index 446025b26..d8745a975 100644 --- a/crucible-symio/LICENSE +++ b/crucible-symio/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2021 Galois Inc. +Copyright (c) 2021-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crucible-syntax/LICENSE b/crucible-syntax/LICENSE index 0b558b495..067cc2ceb 100644 --- a/crucible-syntax/LICENSE +++ b/crucible-syntax/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2013-2018 Galois Inc. +Copyright (c) 2013-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crucible-wasm/LICENSE b/crucible-wasm/LICENSE index 712cdc5af..a7b8df355 100644 --- a/crucible-wasm/LICENSE +++ b/crucible-wasm/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2020-2021 Galois Inc. +Copyright (c) 2020-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crucible-wasm/crucible-wasm.cabal b/crucible-wasm/crucible-wasm.cabal index 5d803ae10..dc4267ee3 100644 --- a/crucible-wasm/crucible-wasm.cabal +++ b/crucible-wasm/crucible-wasm.cabal @@ -1,7 +1,7 @@ Name: crucible-wasm Version: 0.1 Author: Galois Inc. -Copyright: (c) Galois, Inc. 2020 +Copyright: (c) Galois, Inc. 2020-2022 Maintainer: rdockins@galois.com License: BSD3 License-file: LICENSE diff --git a/crucible/LICENSE b/crucible/LICENSE index 0b558b495..067cc2ceb 100644 --- a/crucible/LICENSE +++ b/crucible/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2013-2018 Galois Inc. +Copyright (c) 2013-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal index 85ad6409e..47f8ada62 100644 --- a/crucible/crucible.cabal +++ b/crucible/crucible.cabal @@ -3,7 +3,7 @@ Name: crucible Version: 0.6 Author: Galois Inc. Maintainer: jhendrix@galois.com, rdockins@galois.com -Copyright: (c) Galois, Inc 2014-2021 +Copyright: (c) Galois, Inc 2014-2022 License: BSD-3-Clause License-file: LICENSE Build-type: Simple diff --git a/crux-llvm/LICENSE b/crux-llvm/LICENSE index ad1127d3c..16e32c770 100644 --- a/crux-llvm/LICENSE +++ b/crux-llvm/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2018 Galois Inc. +Copyright (c) 2018-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal index 720cbe40c..ed90d398b 100644 --- a/crux-llvm/crux-llvm.cabal +++ b/crux-llvm/crux-llvm.cabal @@ -3,7 +3,7 @@ Name: crux-llvm Version: 0.6.0.99 Author: Galois Inc. Maintainer: iavor.diatchki@gmail.com -Copyright: (c) Galois, Inc 2014-2021 +Copyright: (c) Galois, Inc 2014-2022 License: BSD-3-Clause License-file: LICENSE Build-type: Simple diff --git a/crux-mir/LICENSE b/crux-mir/LICENSE index d0139af91..58a5b4c94 100644 --- a/crux-mir/LICENSE +++ b/crux-mir/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2017 Galois, Inc. +Copyright (c) 2017-2022 Galois, Inc. All rights reserved. diff --git a/crux/LICENSE b/crux/LICENSE index ad1127d3c..16e32c770 100644 --- a/crux/LICENSE +++ b/crux/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2018 Galois Inc. +Copyright (c) 2018-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/crux/crux.cabal b/crux/crux.cabal index 265fee084..273c50f9a 100644 --- a/crux/crux.cabal +++ b/crux/crux.cabal @@ -1,7 +1,7 @@ Cabal-version: 2.2 Name: crux Version: 0.6.0.99 -Copyright: (c) Galois, Inc. 2018-2021 +Copyright: (c) Galois, Inc. 2018-2022 Author: sweirich@galois.com Maintainer: rdockins@galois.com License: BSD-3-Clause diff --git a/uc-crux-llvm/LICENSE b/uc-crux-llvm/LICENSE index 446025b26..d8745a975 100644 --- a/uc-crux-llvm/LICENSE +++ b/uc-crux-llvm/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2021 Galois Inc. +Copyright (c) 2021-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/uc-crux-llvm/uc-crux-llvm.cabal b/uc-crux-llvm/uc-crux-llvm.cabal index 3abb038aa..c1e7cf11f 100644 --- a/uc-crux-llvm/uc-crux-llvm.cabal +++ b/uc-crux-llvm/uc-crux-llvm.cabal @@ -3,7 +3,7 @@ Name: uc-crux-llvm Version: 0.2 Author: Galois Inc. Maintainer: Langston Barrett, Scott Moore, Tristan Ravitch -Copyright: (c) Galois, Inc 2021 +Copyright: (c) Galois, Inc 2021-2022 License: BSD-3-Clause License-file: LICENSE Build-type: Simple