Merge pull request #371 from VeriFIT/change_licence_to_mit

Change licence to MIT #major
VeriFIT · Oct 14, 2023 · 9df355e · 9df355e
2 parents f2da27e + 9c552f4
commit 9df355e
Show file tree

Hide file tree

Showing 46 changed files with 82 additions and 1,181 deletions.
diff --git a/AUTHORS.md b/AUTHORS.md
@@ -0,0 +1,20 @@
+This list reflects only the core team around Mata, and it may be incomplete.
+
+For a list of all people who have contributed to the codebase, see
+[GitHub's list of contributors](https://github.com/VeriFIT/mata/graphs/contributors).
+
+## The Core Mata Group
+
+- **Lukáš Holík** ([kilohsakul](https://github.com/kilohsakul), [[email protected]](mailto:[email protected])): the supreme leader, the emperor of theory;
+- **Ondřej Lengál** ([ondrik](https://github.com/ondrik), [[email protected]](mailto:[email protected])): prototype developer and the world's tallest hobbit;
+- **David Chocholatý** ([Adda0](https://github.com/Adda0), [[email protected]](mailto:[email protected])): library maintainer;
+- **Tomáš Fiedor** ([tfiedor](https://github.com/tfiedor), [[email protected]](mailto:[email protected])): python binding maintainer;
+- **Juraj Síč** ([jurajsic](https://github.com/jurajsic), [[email protected]](mailto:[email protected])): library developer;
+- **Vojtěch Havlena** ([vhavlena](https://github.com/vhavlena/), [[email protected]](mailto:[email protected])): library developer;
+- **Martin Hruška** ([martinhruska](https://github.com/martinhruska), [[email protected]](mailto:[email protected])): library design advisor, former library developer;
+- **Tomáš Vojnar** ([vojnar](https://github.com/vojnar), [[email protected]](mailto:[email protected])): the spiritual leader;
+
+## Special Thanks To
+
+- Tomáš Kocourek ([kocotom](https://github.com/kocotom/), [[email protected]](mailto:[email protected])): library developer for first AFA design;
+- Michal Horký ([MichalHorky](https://github.com/MichalHorky), [[email protected]](mailto:[email protected])): RE2 parser interface developer;
diff --git a/LICENSE b/LICENSE
diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@ Mata is an open source automata library that offers interface for different kind
 
 # Building from sources
 
-To build the the library run the following:
+To build the library, run the following:
 
 ```
 git clone https://github.com/VeriFIT/mata
@@ -205,9 +205,9 @@ When creating a new issue, please, try to include everything necessary for us to
 ## Note to main contributors
 
 By default, each merge automatically increases the `minor` version of the library
-(i.e., `0.0.0 -> 0.1.0` ). This can be overruled using either tag `#patch` (increasing 
-patch version, i.e., `0.0.0 -> 0.0.1`) or `#major` (increasing major version, i.e., 
-`0.0.0 -> 1.0.0`). This tag is specified in the merge message. 
+(i.e., `0.0.0 -> 0.1.0` ). This can be overruled using either tag `#patch` (increasing
+patch version, i.e., `0.0.0 -> 0.0.1`) or `#major` (increasing major version, i.e.,
+`0.0.0 -> 1.0.0`). This tag is specified in the merge message.
 
 Generally, it is recommended to use `#major` for changes that introduces backward-incompatible
 changes for people that used previous versions, and `#patch` for minor changes, such as bug-fixes,
@@ -232,18 +232,13 @@ formal methods, verification and many more:
 
 # Licensing
 
-The code of this project is licensed under GNU GPLv3 license.
+The code of Mata is licensed under MIT licence. See [LICENSE](LICENSE).
+
+The folder [`3rdparty/`](3rdparty) contains 3rd party applications licensed under their own licences, included with the code.
 
 # Contacts
 
-  - **Lukáš Holík** ([kilohsakul](https://github.com/kilohsakul)): the supreme leader, the emperor of theory;
-  - **Ondřej Lengál** ([ondrik](https://github.com/ondrik)): prototype developer and the world's talest hobbit;
-  - Martin Hruška ([martinhruska](https://github.com/martinhruska)): library maintainer;
-  - Tomáš Fiedor ([tfiedor](https://github.com/tfiedor)): python binding maintainer;
-  - David Chocholatý ([Adda0](https://github.com/Adda0)) library and binding developer;
-  - Juraj Síč ([jurajsic](https://github.com/jurajsic)): library developer;
-  - Vojtěch Havlena([vhavlena](https://github.com/vhavlena)): library developer;
-  - Tomáš Vojnar ([vojnar](https://github.com/vojnar)): the spiritual leader;
+See [AUTHORS.md](AUTHORS.md)
 
 # Acknowledgements
 

diff --git a/include/mata/alphabet.hh b/include/mata/alphabet.hh
@@ -1,16 +1,4 @@
 /* alphabet.hh -- File containing alphabets for automata.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_ALPHABET_HH

diff --git a/include/mata/nfa/algorithms.hh b/include/mata/nfa/algorithms.hh
@@ -1,16 +1,4 @@
 /* algorithms.hh -- Wrapping up algorithms for Nfa manipulation which would be otherwise in anonymous namespaces.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_NFA_INTERNALS_HH_

diff --git a/include/mata/nfa/nfa.hh b/include/mata/nfa/nfa.hh
@@ -1,16 +1,4 @@
 /* nfa.hh -- Nondeterministic finite automaton (over finite words).
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_NFA_HH_

diff --git a/include/mata/nfa/plumbing.hh b/include/mata/nfa/plumbing.hh
@@ -1,16 +1,4 @@
 /* nfa-plumbings.hh -- Wrapping up different supporting functions.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_NFA_PLUMBING_HH_

diff --git a/include/mata/nfa/strings.hh b/include/mata/nfa/strings.hh
@@ -1,16 +1,4 @@
 /* nfa-strings.hh -- Operations on NFAs for string solving.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_NFA_STRING_SOLVING_HH_

diff --git a/include/mata/parser/inter-aut.hh b/include/mata/parser/inter-aut.hh
@@ -1,21 +1,8 @@
 //TODO: rename to intermediate_afa / afa-intermediate, or something like that.
 /*
  * inter-aut.hh -- intermediate representation of automata.
- * It represents automaton after parsing and before translation to particular automaton.
- *
- * Copyright (c) 2022 Martin Hruska <[email protected]>
- *
- * This file is a part of libmata.
  *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
+ * It represents automaton after parsing and before translation to particular automaton.
  */
 
 #ifndef MATA_INTER_AUT_HH

diff --git a/include/mata/parser/mintermization.hh b/include/mata/parser/mintermization.hh
@@ -1,17 +1,6 @@
 /* mintermization.hh -- Mintermization of automaton.
- * It transforms an automaton with a bitvector formula used as a symbol to minterminized version of the automaton.
- *
- * This file is a part of libmata.
  *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
+ * It transforms an automaton with a bitvector formula used as a symbol to minterminized version of the automaton.
  */
 
 #ifndef MATA_MINTERM_HH

diff --git a/include/mata/parser/parser.hh b/include/mata/parser/parser.hh
@@ -1,16 +1,4 @@
 /* parser.hh -- Mata Format (MF) parser.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_PARSER_HH_

diff --git a/include/mata/parser/re2parser.hh b/include/mata/parser/re2parser.hh
@@ -1,16 +1,4 @@
 /* re2parser.hh -- Parser transforming re2 regular expressions to their corresponding automata representations.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_RE2PARSER_HH

diff --git a/include/mata/utils/closed-set.hh b/include/mata/utils/closed-set.hh
@@ -1,18 +1,3 @@
-/* closed-set.hh --- Downward and upward closed sets.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- */
-
 /**
  * @file closed_set.hh
  * @brief Definition of a downward and upward closed set.

diff --git a/include/mata/utils/ord-vector.hh b/include/mata/utils/ord-vector.hh
@@ -1,16 +1,4 @@
 /* ord-vector.hh -- Implementation of a set (ordered vector) using std::vector.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_ORD_VECTOR_HH_

diff --git a/include/mata/utils/sparse-set.hh b/include/mata/utils/sparse-set.hh
@@ -1,5 +1,3 @@
-//
-// Created by Lukáš Holík on 10.06.2023.
 // Based on
 /**
 	SparseSet.h

diff --git a/include/mata/utils/synchronized-iterator.hh b/include/mata/utils/synchronized-iterator.hh
@@ -1,16 +1,4 @@
 /* parser.hh -- Classes for synchronized iteration.
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_SYNCHRONIZED_ITERATOR_HH

diff --git a/include/mata/utils/utils.hh b/include/mata/utils/utils.hh
@@ -1,18 +1,4 @@
 /* utils.hh -- various utilities
- *
- * Copyright (c) 2018 Ondrej Lengal <[email protected]>
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #ifndef MATA_UTIL_HH_

diff --git a/misc/header.cc b/misc/header.cc
@@ -0,0 +1,15 @@
+/**
+ * @file
+ *
+ * @brief <Brief description of the file.>
+ *
+ * <(Optional) More elaborate description of the file.>
+ *
+ * @copyright @parblock
+ * Mata: An automata library.
+ * Copyright (C) 2022-2023, Mata group and contributors.
+ *
+ * Distributed under the MIT License.
+ * (See accompanying file LICENSE or copy at https://opensource.org/license/mit/.)
+ * @endparblock
+ */
diff --git a/misc/header.py b/misc/header.py
@@ -0,0 +1,10 @@
+"""
+<Brief description of the file.>
+
+<(Optional) More elaborate description of the file.>
+
+Mata: An automata library.
+Copyright (C) 2022-2023, Mata group and contributors.
+Distributed under the MIT License.
+(See accompanying file LICENSE or copy at https://opensource.org/license/mit/.)
+"""
diff --git a/src/alphabet.cc b/src/alphabet.cc
@@ -1,16 +1,4 @@
 /* alphabet.cc -- File containing alphabets for automata
- *
- * This file is a part of libmata.
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
  */
 
 #include <mata/alphabet.hh>

diff --git a/src/config.cc.in b/src/config.cc.in
@@ -1,8 +1,4 @@
  /* config.cc -- definition of global symbols used in library
- *
- * Copyright (c) TODO
- *
- * This file is a part of libmata.
  */
 
 #include "mata/utils/utils.hh"

diff --git a/src/inter-aut.cc b/src/inter-aut.cc
@@ -1,20 +1,7 @@
 /*
  * inter-aut.hh -- intermediate representation of automata.
- * It represents automaton after parsing and before translation to particular automaton.
- *
- * Copyright (c) 2022 Martin Hruska <[email protected]>
- *
- * This file is a part of libmata.
  *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
+ * It represents automaton after parsing and before translation to particular automaton.
  */
 
 #include "mata/parser/inter-aut.hh"

diff --git a/src/mintermization.cc b/src/mintermization.cc
@@ -1,18 +1,7 @@
 /*
  * mintermization.hh -- Mintermization of automaton.
- * It transforms an automaton with a bitvector formula used a symbol to mintermized version of the automaton.
- *
- * This file is a part of libmata.
  *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
+ * It transforms an automaton with a bitvector formula used a symbol to mintermized version of the automaton.
  */
 
 #include "mata/parser/mintermization.hh"