Change license name

25 files changed, 27 insertions, 29 deletions

diff --git a/LICENSE b/LICENSE
index d5b662d..4e5d50b 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 BSD 3-Clause License
 
-Copyright (c) 2018-2019, Yann Herklotz Grave
+Copyright (c) 2018-2019, Yann Herklotz
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
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
diff --git a/stack.yaml b/stack.yaml
index 29e52e6..2b0c944 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -6,5 +6,4 @@ extra-deps:
   - QuickCheck-2.9.2@sha256:93cebf9f9c55e8a941bd3166272680d67b80d9b5d95bd836765e3d4a4ef278d0
   - fgl-arbitrary-0.2.0.3@sha256:d80598d16963ba151bf5dfaed5cfb8bb1cf441ce9b60bccce82367cc575c1622
   - fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e
-  - haskell-src-exts-1.21.0@sha256:02421cacaa48c055551b8e5796efc543301b7ea9527a38e1385403d2b85512fb
-resolver: lts-13.7
+resolver: lts-13.14
diff --git a/verifuzz.cabal b/verifuzz.cabal
index f77ba38..81b71e3 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -7,15 +7,14 @@ description:
 homepage: https://github.com/ymherklotz/VeriFuzz#readme
 license: BSD3
 license-file: LICENSE
-author: Yann Herklotz Grave
-maintainer: yann [at] yannherklotzgrave [dot] com
-copyright: 2018 Yann Herklotz Grave
+author: Yann Herklotz
+maintainer: yann [at] ymhg [dot] org
+copyright: 2018 Yann Herklotz
 category: Web
 build-type: Simple
 cabal-version: >=1.10
 extra-source-files: README.md
                   , data/*.v
-                  , examples/*.v
 
 library
   hs-source-dirs: src