aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Verilog
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-28 19:45:31 +0100
committerYann Herklotz <ymherklotz@gmail.com>2018-12-28 19:45:31 +0100
commitf16bde32c50099ef9e161fb9b54b770a8c37a508 (patch)
treec7e0badade322ba5e559e22e532d27419c1524d4 /src/Test/VeriFuzz/Verilog
parent87c6dc6cf92b581273ee273a3a93714a1d32456e (diff)
downloadverismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.tar.gz
verismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.zip
Fix documentation and copyright
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