diff options
Diffstat (limited to 'src/VeriFuzz/Internal')
-rw-r--r-- | src/VeriFuzz/Internal/AST.hs | 2 | ||||
-rw-r--r-- | src/VeriFuzz/Internal/Circuit.hs | 2 | ||||
-rw-r--r-- | src/VeriFuzz/Internal/Simulator.hs | 2 | ||||
-rw-r--r-- | src/VeriFuzz/Internal/Template.hs | 2 |
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 |