From 9b28c903dc430d0e48b62091053c4c06829e75c7 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 6 Jan 2020 21:09:09 +0000 Subject: Update license notices --- src/Verismith.hs | 2 +- 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 +- test/Parser.hs | 2 +- test/Reduce.hs | 2 +- verismith.cabal | 2 +- 38 files changed, 38 insertions(+), 38 deletions(-) diff --git a/src/Verismith.hs b/src/Verismith.hs index bf4eead..76ce303 100644 --- a/src/Verismith.hs +++ b/src/Verismith.hs @@ -2,7 +2,7 @@ Module : Verismith Description : Verismith Copyright : (c) 2018-2019, Yann Herklotz -License : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Circuit.hs b/src/Verismith/Circuit.hs index 9a72cee..9ca1de7 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 : GPLv3 +License : GPL-3 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 29e345b..9a5ab34 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 : GPLv3 +License : GPL-3 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 2d91ce8..c5cb697 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 : GPLv3 +License : GPL-3 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 a63d687..f727630 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 : GPLv3 +License : GPL-3 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 90c5dec..5389df8 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Config.hs b/src/Verismith/Config.hs index 3f211f3..2c239d7 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/CounterEg.hs b/src/Verismith/CounterEg.hs index 5094999..a2e1210 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Fuzz.hs b/src/Verismith/Fuzz.hs index b7f1fcc..50d6ae7 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Generate.hs b/src/Verismith/Generate.hs index 612d4c1..c77016b 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Internal.hs b/src/Verismith/Internal.hs index 55f2816..02f73ce 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs index 36c2074..d16ac8b 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Report.hs b/src/Verismith/Report.hs index 28b18a8..e2707ea 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Result.hs b/src/Verismith/Result.hs index 5bc8296..78c8dd6 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Tool.hs b/src/Verismith/Tool.hs index 3dd18fc..a9a153d 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 : GPLv3 +License : GPL-3 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 273b46f..4eb5a70 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 : GPLv3 +License : GPL-3 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 3d3e554..93b05d5 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 : GPLv3 +License : GPL-3 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 512df0f..3336729 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 : GPLv3 +License : GPL-3 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 070e0a5..128ad70 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 : GPLv3 +License : GPL-3 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 433c76f..17f8570 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 : GPLv3 +License : GPL-3 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 b5c7cd2..ffa7240 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 : GPLv3 +License : GPL-3 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 431be35..272311e 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 : GPLv3 +License : GPL-3 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 dddd942..5bc1438 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 : GPLv3 +License : GPL-3 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 16288e2..c87e697 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/Verismith/Verilog.hs b/src/Verismith/Verilog.hs index 1e35e37..f3d9e85 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 : GPLv3 +License : GPL-3 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 60bd6f4..f880a5a 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 : GPLv3 +License : GPL-3 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 e6c1a2a..bc594a3 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 : GPLv3 +License : GPL-3 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 ee3a940..303c8a2 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 : GPLv3 +License : GPL-3 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 c4e2946..cbc2563 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 : GPLv3 +License : GPL-3 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 05d68c7..0644d95 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 : GPLv3 +License : GPL-3 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 e6572c1..e80437f 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 : GPLv3 +License : GPL-3 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 9d1c83a..a6eaf24 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 : GPLv3 +License : GPL-3 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 80ff4c5..91356f1 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 : GPLv3 +License : GPL-3 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 0303fa6..879b8fd 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 : GPLv3 +License : GPL-3 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 a0dde67..b303e18 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 : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/test/Parser.hs b/test/Parser.hs index 462a8d6..2de7114 100644 --- a/test/Parser.hs +++ b/test/Parser.hs @@ -2,7 +2,7 @@ Module : Parser Description : Test the parser. Copyright : (c) 2019, Yann Herklotz Grave -License : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/test/Reduce.hs b/test/Reduce.hs index c6e8482..37ef576 100644 --- a/test/Reduce.hs +++ b/test/Reduce.hs @@ -2,7 +2,7 @@ Module : Reduce Description : Test reduction. Copyright : (c) 2019, Yann Herklotz Grave -License : GPLv3 +License : GPL-3 Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/verismith.cabal b/verismith.cabal index 5d4e325..b2f0562 100644 --- a/verismith.cabal +++ b/verismith.cabal @@ -5,7 +5,7 @@ description: Verismith provides random verilog generation modules implementing functions to test supported simulators. homepage: https://github.com/ymherklotz/verismith#readme -license: GPLv3 +license: GPL-3 license-file: LICENSE author: Yann Herklotz maintainer: yann [at] yannherklotz [dot] com -- cgit