From 64bde1f01b64bdff2744ad75ebe9ca187d68a4e2 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 6 Jan 2020 20:57:38 +0000 Subject: Update license to dual license GPLv3 --- src/Verismith/Verilog/AST.hs | 2 +- src/Verismith/Verilog/BitVec.hs | 2 +- src/Verismith/Verilog/CodeGen.hs | 2 +- src/Verismith/Verilog/Eval.hs | 2 +- src/Verismith/Verilog/Internal.hs | 2 +- src/Verismith/Verilog/Mutate.hs | 2 +- src/Verismith/Verilog/Parser.hs | 2 +- src/Verismith/Verilog/Preprocess.hs | 2 +- src/Verismith/Verilog/Quote.hs | 2 +- src/Verismith/Verilog/Token.hs | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) (limited to 'src/Verismith/Verilog') diff --git a/src/Verismith/Verilog/AST.hs b/src/Verismith/Verilog/AST.hs index fbe4347..60bd6f4 100644 --- a/src/Verismith/Verilog/AST.hs +++ b/src/Verismith/Verilog/AST.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.AST Description : Definition of the Verilog AST types. Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Poratbility : POSIX diff --git a/src/Verismith/Verilog/BitVec.hs b/src/Verismith/Verilog/BitVec.hs index bc594a3..e6c1a2a 100644 --- a/src/Verismith/Verilog/BitVec.hs +++ b/src/Verismith/Verilog/BitVec.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.BitVec Description : Unsigned BitVec implementation. Copyright : (c) 2019, Yann Herklotz Grave -License : GPL-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/CodeGen.hs b/src/Verismith/Verilog/CodeGen.hs index 842394d..ee3a940 100644 --- a/src/Verismith/Verilog/CodeGen.hs +++ b/src/Verismith/Verilog/CodeGen.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.CodeGen Description : Code generation for Verilog AST. Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/Eval.hs b/src/Verismith/Verilog/Eval.hs index cbc2563..c4e2946 100644 --- a/src/Verismith/Verilog/Eval.hs +++ b/src/Verismith/Verilog/Eval.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.Eval Description : Evaluation of Verilog expressions and statements. Copyright : (c) 2019, Yann Herklotz Grave -License : GPL-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/Internal.hs b/src/Verismith/Verilog/Internal.hs index b3bf07a..05d68c7 100644 --- a/src/Verismith/Verilog/Internal.hs +++ b/src/Verismith/Verilog/Internal.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.Internal Description : Defaults and common functions. Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/Mutate.hs b/src/Verismith/Verilog/Mutate.hs index a4a188b..e6572c1 100644 --- a/src/Verismith/Verilog/Mutate.hs +++ b/src/Verismith/Verilog/Mutate.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.Mutate Description : Functions to mutate the Verilog AST. Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/Parser.hs b/src/Verismith/Verilog/Parser.hs index a6eaf24..9d1c83a 100644 --- a/src/Verismith/Verilog/Parser.hs +++ b/src/Verismith/Verilog/Parser.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.Parser Description : Minimal Verilog parser to reconstruct the AST. Copyright : (c) 2019, Yann Herklotz -License : GPL-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/Preprocess.hs b/src/Verismith/Verilog/Preprocess.hs index 91356f1..80ff4c5 100644 --- a/src/Verismith/Verilog/Preprocess.hs +++ b/src/Verismith/Verilog/Preprocess.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.Preprocess Description : Simple preprocessor for `define and comments. Copyright : (c) 2011-2015 Tom Hawkins, 2019 Yann Herklotz -License : GPL-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/Quote.hs b/src/Verismith/Verilog/Quote.hs index 879b8fd..0303fa6 100644 --- a/src/Verismith/Verilog/Quote.hs +++ b/src/Verismith/Verilog/Quote.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.Quote Description : QuasiQuotation for verilog code in Haskell. Copyright : (c) 2019, Yann Herklotz Grave -License : GPL-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog/Token.hs b/src/Verismith/Verilog/Token.hs index b303e18..a0dde67 100644 --- a/src/Verismith/Verilog/Token.hs +++ b/src/Verismith/Verilog/Token.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog.Token Description : Tokens for Verilog parsing. Copyright : (c) 2019, Yann Herklotz Grave -License : GPL-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX -- cgit