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. 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 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..8e6a1a138 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";