aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Internal
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/Internal')
-rw-r--r--src/VeriFuzz/Internal/AST.hs2
-rw-r--r--src/VeriFuzz/Internal/Circuit.hs2
-rw-r--r--src/VeriFuzz/Internal/Simulator.hs2
-rw-r--r--src/VeriFuzz/Internal/Template.hs2
4 files changed, 4 insertions, 4 deletions
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