From e716f4cbd77d5671e47a5b7f09ae93ea229e49f5 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Wed, 1 Dec 2021 19:43:52 +0000 Subject: [PATCH 1/4] LICENSE: update license to BSD-3-clause --- LICENSE | 66 +++++++++++++++++++++++---------------------------------- 1 file changed, 26 insertions(+), 40 deletions(-) diff --git a/LICENSE b/LICENSE index 45521619c..a758a13ef 100644 --- a/LICENSE +++ b/LICENSE @@ -1,43 +1,29 @@ -============================================================================== -The IELE Semantics in K Release License -============================================================================== -University of Illinois/NCSA -Open Source License +BSD 3-Clause License -Copyright (c) 2009-2015 University of Illinois at Urbana-Champaign. +Copyright (c) 2016-2021, Runtime Verification, Inc. All rights reserved. -Developed by: - - K Team (http://kframework.org) - with members from: - - * University of Illinois at Urbana-Champaign (http://fsl.cs.illinois.edu/) - * Runtime Verification, Inc (https://www.runtimeverification.com) - -Permission is hereby granted, free of charge, to any person obtaining a copy of -this software and associated documentation files (the "Software"), to deal with -the Software without restriction, including without limitation the rights to -use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies -of the Software, and to permit persons to whom the Software is furnished to do -so, subject to the following conditions: - - * Redistributions of source code must retain the above copyright notice, - this list of conditions and the following disclaimers. - - * Redistributions in binary form must reproduce the above copyright notice, - this list of conditions and the following disclaimers in the - documentation and/or other materials provided with the distribution. - - * Neither the names of the K Team, Runtime Verification, the University of - Illinois at Urbana-Champaign, the University Alexandru-Ioan Cuza, nor - the names of its contributors may be used to endorse or promote products - derived from this Software without specific prior written permission. - -THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR -IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, -FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE -CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER -LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, -OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE -SOFTWARE. +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + +1. Redistributions of source code must retain the above copyright notice, this + list of conditions and the following disclaimer. + +2. Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. + +3. Neither the name of the copyright holder nor the names of its + contributors may be used to endorse or promote products derived from + this software without specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE +FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL +DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR +SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER +CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, +OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. From ef54c1683b74b255d556eb78f01ccc1938dd35c5 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Wed, 1 Dec 2021 19:46:58 +0000 Subject: [PATCH 2/4] licenses: update to BSD3 --- iele-assemble/LICENSE | 66 ++++++++----------- iele-assemble/iele-assemble.cabal | 2 +- .../iele-assemble/iele-assemble.nix | 4 +- 3 files changed, 29 insertions(+), 43 deletions(-) diff --git a/iele-assemble/LICENSE b/iele-assemble/LICENSE index 45521619c..a758a13ef 100644 --- a/iele-assemble/LICENSE +++ b/iele-assemble/LICENSE @@ -1,43 +1,29 @@ -============================================================================== -The IELE Semantics in K Release License -============================================================================== -University of Illinois/NCSA -Open Source License +BSD 3-Clause License -Copyright (c) 2009-2015 University of Illinois at Urbana-Champaign. +Copyright (c) 2016-2021, Runtime Verification, Inc. All rights reserved. -Developed by: - - K Team (http://kframework.org) - with members from: - - * University of Illinois at Urbana-Champaign (http://fsl.cs.illinois.edu/) - * Runtime Verification, Inc (https://www.runtimeverification.com) - -Permission is hereby granted, free of charge, to any person obtaining a copy of -this software and associated documentation files (the "Software"), to deal with -the Software without restriction, including without limitation the rights to -use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies -of the Software, and to permit persons to whom the Software is furnished to do -so, subject to the following conditions: - - * Redistributions of source code must retain the above copyright notice, - this list of conditions and the following disclaimers. - - * Redistributions in binary form must reproduce the above copyright notice, - this list of conditions and the following disclaimers in the - documentation and/or other materials provided with the distribution. - - * Neither the names of the K Team, Runtime Verification, the University of - Illinois at Urbana-Champaign, the University Alexandru-Ioan Cuza, nor - the names of its contributors may be used to endorse or promote products - derived from this Software without specific prior written permission. - -THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR -IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, -FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE -CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER -LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, -OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE -SOFTWARE. +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + +1. Redistributions of source code must retain the above copyright notice, this + list of conditions and the following disclaimer. + +2. Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. + +3. Neither the name of the copyright holder nor the names of its + contributors may be used to endorse or promote products derived from + this software without specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE +FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL +DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR +SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER +CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, +OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/iele-assemble/iele-assemble.cabal b/iele-assemble/iele-assemble.cabal index a36b9b110..1f598683c 100644 --- a/iele-assemble/iele-assemble.cabal +++ b/iele-assemble/iele-assemble.cabal @@ -4,7 +4,7 @@ version: 0.0.1.0 -- synopsis: -- description: homepage: https://github.com/runtimeverification/iele-semantics#readme -license: NCSA +license: BSD3 license-file: LICENSE author: Virgil Serbanuta maintainer: virgil.serbanuta@runtimeverification.com diff --git a/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix b/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix index fa0c98467..da31d5ab2 100644 --- a/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix +++ b/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix @@ -12,7 +12,7 @@ package = { specVersion = "1.10"; identifier = { name = "iele-assemble"; version = "0.0.1.0"; }; - license = "LicenseRef-NCSA"; + license = "BSD-3-Clause"; copyright = "2017 Runtime Verification"; maintainer = "virgil.serbanuta@runtimeverification.com"; author = "Virgil Serbanuta"; @@ -89,4 +89,4 @@ }; } // rec { src = (pkgs.lib).mkDefault ./.; - } \ No newline at end of file + } From 6c3623bfc157c990264939443abdcbec224cd8f3 Mon Sep 17 00:00:00 2001 From: github-actions Date: Wed, 1 Dec 2021 19:50:36 +0000 Subject: [PATCH 3/4] Materialize Nix expressions --- nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix b/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix index da31d5ab2..8e6a1a138 100644 --- a/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix +++ b/nix/iele-assemble.nix.d/iele-assemble/iele-assemble.nix @@ -89,4 +89,4 @@ }; } // rec { src = (pkgs.lib).mkDefault ./.; - } + } \ No newline at end of file From ecb4d537ad12c9ab5b2ad3bd0484e617a267a32a Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Wed, 1 Dec 2021 20:30:04 +0000 Subject: [PATCH 4/4] deps/k_release: roll back release version --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 019212e62..be367227a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -v5.2.14 +v5.2.2