Update copyright year

GaloisInc · May 17, 2022 · 9ebc1bc · 9ebc1bc
1 parent cb3af79
commit 9ebc1bc
Show file tree

Hide file tree

Showing 20 changed files with 20 additions and 20 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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