Update license notices

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