diff options
Diffstat (limited to 'src/Test/VeriFuzz/Verilog')
-rw-r--r-- | src/Test/VeriFuzz/Verilog/AST.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Verilog/CodeGen.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Verilog/Mutate.hs | 6 |
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 |