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/Circuit.hs | 2 +- src/Verismith/Circuit/Base.hs | 2 +- src/Verismith/Circuit/Gen.hs | 2 +- src/Verismith/Circuit/Internal.hs | 2 +- src/Verismith/Circuit/Random.hs | 2 +- src/Verismith/Config.hs | 2 +- src/Verismith/CounterEg.hs | 2 +- src/Verismith/Fuzz.hs | 2 +- src/Verismith/Generate.hs | 2 +- src/Verismith/Internal.hs | 2 +- src/Verismith/Reduce.hs | 2 +- src/Verismith/Report.hs | 2 +- src/Verismith/Result.hs | 2 +- src/Verismith/Tool.hs | 2 +- src/Verismith/Tool/Icarus.hs | 2 +- src/Verismith/Tool/Identity.hs | 2 +- src/Verismith/Tool/Internal.hs | 2 +- src/Verismith/Tool/Quartus.hs | 2 +- src/Verismith/Tool/QuartusLight.hs | 2 +- src/Verismith/Tool/Template.hs | 2 +- src/Verismith/Tool/Vivado.hs | 2 +- src/Verismith/Tool/XST.hs | 2 +- src/Verismith/Tool/Yosys.hs | 2 +- src/Verismith/Verilog.hs | 2 +- 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 +- 34 files changed, 34 insertions(+), 34 deletions(-) (limited to 'src/Verismith') diff --git a/src/Verismith/Circuit.hs b/src/Verismith/Circuit.hs index 81eec12..9a72cee 100644 --- a/src/Verismith/Circuit.hs +++ b/src/Verismith/Circuit.hs @@ -2,7 +2,7 @@ Module : Verismith.Circuit Description : Definition of the circuit graph. 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/Circuit/Base.hs b/src/Verismith/Circuit/Base.hs index 9a5ab34..29e345b 100644 --- a/src/Verismith/Circuit/Base.hs +++ b/src/Verismith/Circuit/Base.hs @@ -2,7 +2,7 @@ Module : Verismith.Circuit.Base Description : Base types for the circuit module. 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/Circuit/Gen.hs b/src/Verismith/Circuit/Gen.hs index c5cb697..2d91ce8 100644 --- a/src/Verismith/Circuit/Gen.hs +++ b/src/Verismith/Circuit/Gen.hs @@ -2,7 +2,7 @@ Module : Verilog.Circuit.Gen Description : Generate verilog from circuit. 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/Circuit/Internal.hs b/src/Verismith/Circuit/Internal.hs index 4de2252..a63d687 100644 --- a/src/Verismith/Circuit/Internal.hs +++ b/src/Verismith/Circuit/Internal.hs @@ -2,7 +2,7 @@ Module : Verismith.Circuit.Internal Description : Internal helpers for generation. 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/Circuit/Random.hs b/src/Verismith/Circuit/Random.hs index 0eabf56..90c5dec 100644 --- a/src/Verismith/Circuit/Random.hs +++ b/src/Verismith/Circuit/Random.hs @@ -2,7 +2,7 @@ Module : Verismith.Circuit.Random Description : Random generation for DAG 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/Config.hs b/src/Verismith/Config.hs index 2c239d7..3f211f3 100644 --- a/src/Verismith/Config.hs +++ b/src/Verismith/Config.hs @@ -2,7 +2,7 @@ Module : Verismith.Config Description : Configuration file format and parser. 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/CounterEg.hs b/src/Verismith/CounterEg.hs index a3fee84..5094999 100644 --- a/src/Verismith/CounterEg.hs +++ b/src/Verismith/CounterEg.hs @@ -2,7 +2,7 @@ Module : Verismith.CounterEg Description : Counter example parser to load the counter example Copyright : (c) 2019, Yann Herklotz -License : BSD-3 +License : GPLv3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Fuzz.hs b/src/Verismith/Fuzz.hs index 50d6ae7..b7f1fcc 100644 --- a/src/Verismith/Fuzz.hs +++ b/src/Verismith/Fuzz.hs @@ -2,7 +2,7 @@ Module : Verismith.Fuzz Description : Environment to run the simulator and synthesisers in a matrix. 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/Generate.hs b/src/Verismith/Generate.hs index c77016b..612d4c1 100644 --- a/src/Verismith/Generate.hs +++ b/src/Verismith/Generate.hs @@ -2,7 +2,7 @@ Module : Verismith.Generate Description : Various useful generators. 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/Internal.hs b/src/Verismith/Internal.hs index b47c924..55f2816 100644 --- a/src/Verismith/Internal.hs +++ b/src/Verismith/Internal.hs @@ -2,7 +2,7 @@ Module : Verismith.Internal Description : Shared high level code used in the other modules internally. 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/Reduce.hs b/src/Verismith/Reduce.hs index d16ac8b..36c2074 100644 --- a/src/Verismith/Reduce.hs +++ b/src/Verismith/Reduce.hs @@ -2,7 +2,7 @@ Module : Verismith.Reduce Description : Test case reducer implementation. 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/Report.hs b/src/Verismith/Report.hs index e2707ea..28b18a8 100644 --- a/src/Verismith/Report.hs +++ b/src/Verismith/Report.hs @@ -3,7 +3,7 @@ Module : Verismith.Report Description : Generate a report from a fuzz run. 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/Result.hs b/src/Verismith/Result.hs index 78c8dd6..5bc8296 100644 --- a/src/Verismith/Result.hs +++ b/src/Verismith/Result.hs @@ -2,7 +2,7 @@ Module : Verismith.Result Description : Result monadic type. 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/Tool.hs b/src/Verismith/Tool.hs index a9a153d..3dd18fc 100644 --- a/src/Verismith/Tool.hs +++ b/src/Verismith/Tool.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool Description : Simulator implementations. 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/Tool/Icarus.hs b/src/Verismith/Tool/Icarus.hs index 4ced505..273b46f 100644 --- a/src/Verismith/Tool/Icarus.hs +++ b/src/Verismith/Tool/Icarus.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.Icarus Description : Icarus verilog module. 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/Tool/Identity.hs b/src/Verismith/Tool/Identity.hs index 93b05d5..3d3e554 100644 --- a/src/Verismith/Tool/Identity.hs +++ b/src/Verismith/Tool/Identity.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.Identity Description : The identity simulator and synthesiser. 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/Tool/Internal.hs b/src/Verismith/Tool/Internal.hs index dfa3f46..512df0f 100644 --- a/src/Verismith/Tool/Internal.hs +++ b/src/Verismith/Tool/Internal.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.Internal Description : Class of the simulator. 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/Tool/Quartus.hs b/src/Verismith/Tool/Quartus.hs index 128ad70..070e0a5 100644 --- a/src/Verismith/Tool/Quartus.hs +++ b/src/Verismith/Tool/Quartus.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.Quartus Description : Quartus synthesiser 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/Tool/QuartusLight.hs b/src/Verismith/Tool/QuartusLight.hs index 17f8570..433c76f 100644 --- a/src/Verismith/Tool/QuartusLight.hs +++ b/src/Verismith/Tool/QuartusLight.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.QuartusLight Description : QuartusLight synthesiser 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/Tool/Template.hs b/src/Verismith/Tool/Template.hs index ffa7240..b5c7cd2 100644 --- a/src/Verismith/Tool/Template.hs +++ b/src/Verismith/Tool/Template.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.Template Description : Template file for different configuration files 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/Tool/Vivado.hs b/src/Verismith/Tool/Vivado.hs index 272311e..431be35 100644 --- a/src/Verismith/Tool/Vivado.hs +++ b/src/Verismith/Tool/Vivado.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.Vivado Description : Vivado Synthesiser 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/Tool/XST.hs b/src/Verismith/Tool/XST.hs index c713e0b..dddd942 100644 --- a/src/Verismith/Tool/XST.hs +++ b/src/Verismith/Tool/XST.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.XST Description : XST (ise) simulator implementation. 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/Tool/Yosys.hs b/src/Verismith/Tool/Yosys.hs index 3507ac2..16288e2 100644 --- a/src/Verismith/Tool/Yosys.hs +++ b/src/Verismith/Tool/Yosys.hs @@ -2,7 +2,7 @@ Module : Verismith.Tool.Yosys Description : Yosys simulator implementation. 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.hs b/src/Verismith/Verilog.hs index f3d9e85..1e35e37 100644 --- a/src/Verismith/Verilog.hs +++ b/src/Verismith/Verilog.hs @@ -2,7 +2,7 @@ Module : Verismith.Verilog Description : Verilog implementation with random generation and mutations. 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/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