Skip to content

Commit 78ec764

Browse files
ana-pantiliegithub-actionsrv-jenkins
authored
Relicense as BSD 3 clause (#2742)
* Modify LICENSE * Modify license in all code files * Modify LICENSE in kore/kore * Materialize Nix expressions * Change maintainer * Materialize Nix expressions * Update copyright years Co-authored-by: github-actions <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
1 parent 53ff6b8 commit 78ec764

File tree

378 files changed

+782
-810
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

378 files changed

+782
-810
lines changed

‎LICENSE

+26-40
Original file line numberDiff line numberDiff line change
@@ -1,43 +1,29 @@
1-
==============================================================================
2-
The Kore Semantics of K Release License
3-
==============================================================================
4-
University of Illinois/NCSA
5-
Open Source License
1+
BSD 3-Clause License
62

7-
Copyright (c) 2018-2019 University of Illinois at Urbana-Champaign.
3+
Copyright (c) 2018-2021, Runtime Verification, Inc.
84
All rights reserved.
95

10-
Developed by:
11-
12-
K Team (http://kframework.org)
13-
with members from:
14-
15-
* University of Illinois at Urbana-Champaign (http://fsl.cs.illinois.edu/)
16-
* Runtime Verification, Inc (https://www.runtimeverification.com)
17-
18-
Permission is hereby granted, free of charge, to any person obtaining a copy of
19-
this software and associated documentation files (the "Software"), to deal with
20-
the Software without restriction, including without limitation the rights to
21-
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
22-
of the Software, and to permit persons to whom the Software is furnished to do
23-
so, subject to the following conditions:
24-
25-
* Redistributions of source code must retain the above copyright notice,
26-
this list of conditions and the following disclaimers.
27-
28-
* Redistributions in binary form must reproduce the above copyright notice,
29-
this list of conditions and the following disclaimers in the
30-
documentation and/or other materials provided with the distribution.
31-
32-
* Neither the names of the K Team, Runtime Verification, the University of
33-
Illinois at Urbana-Champaign, the University Alexandru-Ioan Cuza, nor
34-
the names of its contributors may be used to endorse or promote products
35-
derived from this Software without specific prior written permission.
36-
37-
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
38-
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
39-
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
40-
CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
41-
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
42-
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE
43-
SOFTWARE.
6+
Redistribution and use in source and binary forms, with or without
7+
modification, are permitted provided that the following conditions are met:
8+
9+
1. Redistributions of source code must retain the above copyright notice, this
10+
list of conditions and the following disclaimer.
11+
12+
2. Redistributions in binary form must reproduce the above copyright notice,
13+
this list of conditions and the following disclaimer in the documentation
14+
and/or other materials provided with the distribution.
15+
16+
3. Neither the name of the copyright holder nor the names of its
17+
contributors may be used to endorse or promote products derived from
18+
this software without specific prior written permission.
19+
20+
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
21+
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22+
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
23+
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
24+
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25+
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
26+
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
27+
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
28+
OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
29+
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

‎kore/LICENSE

+26-40
Original file line numberDiff line numberDiff line change
@@ -1,43 +1,29 @@
1-
==============================================================================
2-
The Kore Semantics of K Release License
3-
==============================================================================
4-
University of Illinois/NCSA
5-
Open Source License
1+
BSD 3-Clause License
62

7-
Copyright (c) 2018-2019 University of Illinois at Urbana-Champaign.
3+
Copyright (c) 2018-2021, Runtime Verification, Inc.
84
All rights reserved.
95

10-
Developed by:
11-
12-
K Team (http://kframework.org)
13-
with members from:
14-
15-
* University of Illinois at Urbana-Champaign (http://fsl.cs.illinois.edu/)
16-
* Runtime Verification, Inc (https://www.runtimeverification.com)
17-
18-
Permission is hereby granted, free of charge, to any person obtaining a copy of
19-
this software and associated documentation files (the "Software"), to deal with
20-
the Software without restriction, including without limitation the rights to
21-
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
22-
of the Software, and to permit persons to whom the Software is furnished to do
23-
so, subject to the following conditions:
24-
25-
* Redistributions of source code must retain the above copyright notice,
26-
this list of conditions and the following disclaimers.
27-
28-
* Redistributions in binary form must reproduce the above copyright notice,
29-
this list of conditions and the following disclaimers in the
30-
documentation and/or other materials provided with the distribution.
31-
32-
* Neither the names of the K Team, Runtime Verification, the University of
33-
Illinois at Urbana-Champaign, the University Alexandru-Ioan Cuza, nor
34-
the names of its contributors may be used to endorse or promote products
35-
derived from this Software without specific prior written permission.
36-
37-
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
38-
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
39-
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
40-
CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
41-
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
42-
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE
43-
SOFTWARE.
6+
Redistribution and use in source and binary forms, with or without
7+
modification, are permitted provided that the following conditions are met:
8+
9+
1. Redistributions of source code must retain the above copyright notice, this
10+
list of conditions and the following disclaimer.
11+
12+
2. Redistributions in binary form must reproduce the above copyright notice,
13+
this list of conditions and the following disclaimer in the documentation
14+
and/or other materials provided with the distribution.
15+
16+
3. Neither the name of the copyright holder nor the names of its
17+
contributors may be used to endorse or promote products derived from
18+
this software without specific prior written permission.
19+
20+
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
21+
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22+
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
23+
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
24+
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25+
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
26+
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
27+
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
28+
OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
29+
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

‎kore/kore.cabal

+2-2
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,9 @@ category: Language
66
homepage: https://github.com/kframework/kore#readme
77
bug-reports: https://github.com/kframework/kore/issues
88
author: Runtime Verification Inc
9-
maintainer: thomas.tuegel@runtimeverification.com
9+
maintainer: ana.pantilie@runtimeverification.com
1010
copyright: 2018-2021 Runtime Verification Inc
11-
license: NCSA
11+
license: BSD-3-Clause
1212
license-file: LICENSE
1313
build-type: Simple
1414
extra-source-files:

‎kore/src/Changed.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2020
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2020-2021
3+
License : BSD-3-Clause
44
-}
55
module Changed (
66
Changed (..),

‎kore/src/Control/Monad/Counter.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
{- |
44
Module : Control.Monad.Counter
55
Description : Monads carrying a monotonically-increasing counter
6-
Copyright : (c) Runtime Verification, 2018
7-
License : NCSA
6+
Copyright : (c) Runtime Verification, 2018-2021
7+
License : BSD-3-Clause
88
Maintainer : [email protected]
99
1010
The class 'MonadCounter' describes a monad carrying a monotonically-increasing

‎kore/src/Data/Graph/TopologicalSort.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Data.Graph.TopologicalSort
33
Description : Topological sorting algorithm.
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
Stability : experimental
88
Portability : portable

‎kore/src/Data/Limit.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Data.Limit
33
Description : Optionally-limited quantities
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
This module is intended to be imported qualified:
88
@

‎kore/src/Data/Sup.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Data.Sup
33
Description : Extend ordered types with a least upper bound
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Data.Sup (

‎kore/src/Debug.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{-# LANGUAGE UndecidableInstances #-}
22

33
{- |
4-
Copyright : (c) Runtime Verification, 2019
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2019-2021
5+
License : BSD-3-Clause
66
-}
77
module Debug (
88
-- * Debug

‎kore/src/ErrorContext.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2020
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2020-2021
3+
License : BSD-3-Clause
44
-}
55
module ErrorContext (
66
ErrorContext (..),

‎kore/src/From.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2020
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2020-2021
3+
License : BSD-3-Clause
44
-}
55
module From (
66
From (..),

‎kore/src/Injection.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2020
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2020-2021
3+
License : BSD-3-Clause
44
-}
55
module Injection (
66
Injection (..),

‎kore/src/Kore/AST/ApplicativeKore.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2019
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2019-2021
3+
License : BSD-3-Clause
44
-}
55
module Kore.AST.ApplicativeKore (completeDefinition) where
66

‎kore/src/Kore/AST/AstWithLocation.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.AST.AstWithLocation
33
Description : Class for extracting locations from AST terms.
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
Stability : experimental
88
Portability : POSIX

‎kore/src/Kore/AST/Common.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2018
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2018-2021
3+
License : BSD-3-Clause
44
55
This module includes all the data structures necessary for representing
66
the syntactic categories of a Kore definition that do not need unified

‎kore/src/Kore/AST/Error.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.AST.Error
33
Description : Extensions for errors related to the AST.
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
Stability : experimental
88
Portability : POSIX

‎kore/src/Kore/Attribute/Assoc.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.Attribute.Assoc
33
Description : Associativity axiom attribute
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Kore.Attribute.Assoc (

‎kore/src/Kore/Attribute/Attributes.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2019
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2019-2021
3+
License : BSD-3-Clause
44
-}
55
module Kore.Attribute.Attributes (
66
Attributes (..),

‎kore/src/Kore/Attribute/Axiom.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.Attribute.Axiom
33
Description : Axiom sentence attributes
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Kore.Attribute.Axiom (

‎kore/src/Kore/Attribute/Axiom/Concrete.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2019
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2019-2021
3+
License : BSD-3-Clause
44
-}
55
module Kore.Attribute.Axiom.Concrete (
66
Concrete (..),

‎kore/src/Kore/Attribute/Axiom/Constructor.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.Attribute.Axiom.Constructor
33
Description : Constructor axiom attribute
4-
Copyright : (c) Runtime Verification, 2019
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2019-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Kore.Attribute.Axiom.Constructor (

‎kore/src/Kore/Attribute/Axiom/Symbolic.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
2-
Copyright : (c) Runtime Verification, 2020
3-
License : NCSA
2+
Copyright : (c) Runtime Verification, 2020-2021
3+
License : BSD-3-Clause
44
-}
55
module Kore.Attribute.Axiom.Symbolic (
66
Symbolic (..),

‎kore/src/Kore/Attribute/Axiom/Unit.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.Attribute.Axiom.Unit
33
Description : Unit axiom attribute
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Kore.Attribute.Axiom.Unit (

‎kore/src/Kore/Attribute/Comm.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.Attribute.Comm
33
Description : Commutativity axiom attribute
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Kore.Attribute.Comm (

‎kore/src/Kore/Attribute/Constructor.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.Attribute.Constructor
33
Description : Constructor symbol attribute
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Kore.Attribute.Constructor (

‎kore/src/Kore/Attribute/Definition.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{- |
22
Copyright : (c) Runtime Verification, 2021
3-
License : NCSA
3+
License : BSD-3-Clause
44
-}
55
module Kore.Attribute.Definition (
66
parseKFileAttributes,

‎kore/src/Kore/Attribute/Function.hs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{- |
22
Module : Kore.Attribute.Function
33
Description : Function symbol attribute
4-
Copyright : (c) Runtime Verification, 2018
5-
License : NCSA
4+
Copyright : (c) Runtime Verification, 2018-2021
5+
License : BSD-3-Clause
66
Maintainer : [email protected]
77
-}
88
module Kore.Attribute.Function (

0 commit comments

Comments
 (0)