Change license name

22 files changed, 22 insertions, 22 deletions

diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs
index de7cc90..efbb244 100644
--- a/src/VeriFuzz.hs
+++ b/src/VeriFuzz.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz
 Description : VeriFuzz
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs
index e0c74a1..4ec966b 100644
--- a/src/VeriFuzz/AST.hs
+++ b/src/VeriFuzz/AST.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.AST
 Description : Definition of the Verilog AST types.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/ASTGen.hs b/src/VeriFuzz/ASTGen.hs
index 5dd2c73..7c295e1 100644
--- a/src/VeriFuzz/ASTGen.hs
+++ b/src/VeriFuzz/ASTGen.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.ASTGen
 Description : Generates the AST from the graph directly.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Circuit.hs b/src/VeriFuzz/Circuit.hs
index 4d3fac1..b3f8dcd 100644
--- a/src/VeriFuzz/Circuit.hs
+++ b/src/VeriFuzz/Circuit.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Circuit
 Description : Definition of the circuit graph.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/CodeGen.hs b/src/VeriFuzz/CodeGen.hs
index 3a2f9b0..141d1ff 100644
--- a/src/VeriFuzz/CodeGen.hs
+++ b/src/VeriFuzz/CodeGen.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.CodeGen
 Description : Code generation for Verilog AST.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs
index 1c1b3bb..eb08b1e 100644
--- a/src/VeriFuzz/Config.hs
+++ b/src/VeriFuzz/Config.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Config
 Description : Configuration file format and parser.
-Copyright   : (c) 2019, Yann Herklotz Grave
+Copyright   : (c) 2019, Yann Herklotz
 License     : GPL-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Env.hs b/src/VeriFuzz/Env.hs
index b7cfae0..6448bdf 100644
--- a/src/VeriFuzz/Env.hs
+++ b/src/VeriFuzz/Env.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Env
 Description : Environment to run the simulator and synthesisers in a matrix.
-Copyright   : (c) 2019, Yann Herklotz Grave
+Copyright   : (c) 2019, Yann Herklotz
 License     : GPL-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs
index 8dbbe24..5c3af9b 100644
--- a/src/VeriFuzz/Gen.hs
+++ b/src/VeriFuzz/Gen.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Gen
 Description : Various useful generators.
-Copyright   : (c) 2019, Yann Herklotz Grave
+Copyright   : (c) 2019, Yann Herklotz
 License     : GPL-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs
index dc2474d..32c4013 100644
--- a/src/VeriFuzz/Icarus.hs
+++ b/src/VeriFuzz/Icarus.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Icarus
 Description : Icarus verilog module.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Internal.hs b/src/VeriFuzz/Internal.hs
index 541e517..4f85629 100644
--- a/src/VeriFuzz/Internal.hs
+++ b/src/VeriFuzz/Internal.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Internal
 Description : Shared high level code used in the other modules internally.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Internal/AST.hs b/src/VeriFuzz/Internal/AST.hs
index 0130287..16d40a3 100644
--- a/src/VeriFuzz/Internal/AST.hs
+++ b/src/VeriFuzz/Internal/AST.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Internal.AST
 Description : Defaults and common functions.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Internal/Circuit.hs b/src/VeriFuzz/Internal/Circuit.hs
index d752c83..832d0a4 100644
--- a/src/VeriFuzz/Internal/Circuit.hs
+++ b/src/VeriFuzz/Internal/Circuit.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Internal.Circuit
 Description : Internal helpers for generation.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Internal/Simulator.hs b/src/VeriFuzz/Internal/Simulator.hs
index 1454a0f..9437fab 100644
--- a/src/VeriFuzz/Internal/Simulator.hs
+++ b/src/VeriFuzz/Internal/Simulator.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Internal.Simulator
 Description : Class of the simulator.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Internal/Template.hs b/src/VeriFuzz/Internal/Template.hs
index 70216bc..1b0e241 100644
--- a/src/VeriFuzz/Internal/Template.hs
+++ b/src/VeriFuzz/Internal/Template.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Internal.Template
 Description : Template file for different configuration files
-Copyright   : (c) 2019, Yann Herklotz Grave
+Copyright   : (c) 2019, Yann Herklotz
 License     : GPL-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Lexer.hs b/src/VeriFuzz/Lexer.hs
index fe71abb..02e1ebf 100644
--- a/src/VeriFuzz/Lexer.hs
+++ b/src/VeriFuzz/Lexer.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Lexer
 Description : Lexer for Verilog.
-Copyright   : (c) 2019, Yann Herklotz Grave
+Copyright   : (c) 2019, Yann Herklotz
 License     : GPL-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Mutate.hs b/src/VeriFuzz/Mutate.hs
index e8b510f..4985993 100644
--- a/src/VeriFuzz/Mutate.hs
+++ b/src/VeriFuzz/Mutate.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Mutation
 Description : Functions to mutate the Verilog AST.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Parser.hs b/src/VeriFuzz/Parser.hs
index 3e5ddb2..2c26b56 100644
--- a/src/VeriFuzz/Parser.hs
+++ b/src/VeriFuzz/Parser.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Parser
 Description : Minimal Verilog parser to reconstruct the AST.
-Copyright   : (c) 2019, Yann Herklotz Grave
+Copyright   : (c) 2019, Yann Herklotz
 License     : GPL-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Random.hs b/src/VeriFuzz/Random.hs
index c937043..ef9e14c 100644
--- a/src/VeriFuzz/Random.hs
+++ b/src/VeriFuzz/Random.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Random
 Description : Random generation for DAG
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/RandomAlt.hs b/src/VeriFuzz/RandomAlt.hs
index 82bc743..8548a1a 100644
--- a/src/VeriFuzz/RandomAlt.hs
+++ b/src/VeriFuzz/RandomAlt.hs
@@ -1,7 +1,7 @@
 {-|p
 Module      : VeriFuzz.RandomAlt
 Description : RandomAlt generation for DAG
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs
index b09055e..4f1ccea 100644
--- a/src/VeriFuzz/Reduce.hs
+++ b/src/VeriFuzz/Reduce.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Reduce
 Description : Test case reducer implementation.
-Copyright   : (c) 2019, Yann Herklotz Grave
+Copyright   : (c) 2019, Yann Herklotz
 License     : GPL-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/XST.hs b/src/VeriFuzz/XST.hs
index 337ad2e..3f4f6c3 100644
--- a/src/VeriFuzz/XST.hs
+++ b/src/VeriFuzz/XST.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.XST
 Description : Xst (ise) simulator implementation.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental
diff --git a/src/VeriFuzz/Yosys.hs b/src/VeriFuzz/Yosys.hs
index 9f605db..b6da8c2 100644
--- a/src/VeriFuzz/Yosys.hs
+++ b/src/VeriFuzz/Yosys.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : VeriFuzz.Yosys
 Description : Yosys simulator implementation.
-Copyright   : (c) 2018-2019, Yann Herklotz Grave
+Copyright   : (c) 2018-2019, Yann Herklotz
 License     : BSD-3
 Maintainer  : ymherklotz [at] gmail [dot] com
 Stability   : experimental