aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Verilog
diff options
context:
space:
mode:
Diffstat (limited to 'src/Test/VeriFuzz/Verilog')
-rw-r--r--src/Test/VeriFuzz/Verilog/AST.hs6
-rw-r--r--src/Test/VeriFuzz/Verilog/CodeGen.hs6
-rw-r--r--src/Test/VeriFuzz/Verilog/Mutate.hs6
3 files changed, 9 insertions, 9 deletions
diff --git a/src/Test/VeriFuzz/Verilog/AST.hs b/src/Test/VeriFuzz/Verilog/AST.hs
index 5f6c862..d5dba97 100644
--- a/src/Test/VeriFuzz/Verilog/AST.hs
+++ b/src/Test/VeriFuzz/Verilog/AST.hs
@@ -1,9 +1,9 @@
{-|
Module : Test.VeriFuzz.Verilog.AST
Description : Definition of the Verilog AST types.
-Copyright : (c) Yann Herklotz Grave 2018
-License : GPL-3
-Maintainer : ymherklotz@gmail.com
+Copyright : (c) 2018-2019, Yann Herklotz Grave
+License : BSD-3
+Maintainer : ymherklotz [at] gmail [dot] com
Stability : experimental
Portability : POSIX
diff --git a/src/Test/VeriFuzz/Verilog/CodeGen.hs b/src/Test/VeriFuzz/Verilog/CodeGen.hs
index 0247648..ecc315f 100644
--- a/src/Test/VeriFuzz/Verilog/CodeGen.hs
+++ b/src/Test/VeriFuzz/Verilog/CodeGen.hs
@@ -1,9 +1,9 @@
{-|
Module : Test.VeriFuzz.Verilog.CodeGen
Description : Code generation for Verilog AST.
-Copyright : (c) Yann Herklotz Grave 2018
-License : GPL-3
-Maintainer : ymherklotz@gmail.com
+Copyright : (c) 2018-2019, Yann Herklotz Grave
+License : BSD-3
+Maintainer : ymherklotz [at] gmail [dot] com
Stability : experimental
Portability : POSIX
diff --git a/src/Test/VeriFuzz/Verilog/Mutate.hs b/src/Test/VeriFuzz/Verilog/Mutate.hs
index b903ec9..66e56a1 100644
--- a/src/Test/VeriFuzz/Verilog/Mutate.hs
+++ b/src/Test/VeriFuzz/Verilog/Mutate.hs
@@ -1,9 +1,9 @@
{-|
Module : Test.VeriFuzz.Verilog.Mutation
Description : Functions to mutate the Verilog AST.
-Copyright : (c) Yann Herklotz Grave 2018
-License : GPL-3
-Maintainer : ymherklotz@gmail.com
+Copyright : (c) 2018-2019, Yann Herklotz Grave
+License : BSD-3
+Maintainer : ymherklotz [at] gmail [dot] com
Stability : experimental
Portability : POSIX