From f16bde32c50099ef9e161fb9b54b770a8c37a508 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 28 Dec 2018 19:45:31 +0100 Subject: Fix documentation and copyright --- src/Test/VeriFuzz/Circuit.hs | 6 +++--- src/Test/VeriFuzz/Graph/ASTGen.hs | 6 +++--- src/Test/VeriFuzz/Graph/CodeGen.hs | 6 +++--- src/Test/VeriFuzz/Graph/Random.hs | 6 +++--- src/Test/VeriFuzz/Helpers.hs | 6 +++--- src/Test/VeriFuzz/Internal/Gen.hs | 6 +++--- src/Test/VeriFuzz/Internal/Shared.hs | 6 +++--- src/Test/VeriFuzz/Simulator.hs | 6 +++--- src/Test/VeriFuzz/Simulator/General.hs | 6 +++--- src/Test/VeriFuzz/Simulator/Icarus.hs | 6 +++--- src/Test/VeriFuzz/Simulator/Xst.hs | 6 +++--- src/Test/VeriFuzz/Simulator/Yosys.hs | 6 +++--- src/Test/VeriFuzz/Verilog.hs | 6 +++--- src/Test/VeriFuzz/Verilog/AST.hs | 6 +++--- src/Test/VeriFuzz/Verilog/CodeGen.hs | 6 +++--- src/Test/VeriFuzz/Verilog/Mutate.hs | 6 +++--- 16 files changed, 48 insertions(+), 48 deletions(-) (limited to 'src/Test/VeriFuzz') diff --git a/src/Test/VeriFuzz/Circuit.hs b/src/Test/VeriFuzz/Circuit.hs index dc0ec81..96f550b 100644 --- a/src/Test/VeriFuzz/Circuit.hs +++ b/src/Test/VeriFuzz/Circuit.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Circuit Description : Definition of the circuit graph. -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/Graph/ASTGen.hs b/src/Test/VeriFuzz/Graph/ASTGen.hs index 5382123..748824f 100644 --- a/src/Test/VeriFuzz/Graph/ASTGen.hs +++ b/src/Test/VeriFuzz/Graph/ASTGen.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Graph.ASTGen Description : Generates the AST from the graph directly. -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/Graph/CodeGen.hs b/src/Test/VeriFuzz/Graph/CodeGen.hs index bfceb4c..64abb0a 100644 --- a/src/Test/VeriFuzz/Graph/CodeGen.hs +++ b/src/Test/VeriFuzz/Graph/CodeGen.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Graph.Random Description : Code generation directly from DAG. -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/Graph/Random.hs b/src/Test/VeriFuzz/Graph/Random.hs index 1bedf7f..3c826c5 100644 --- a/src/Test/VeriFuzz/Graph/Random.hs +++ b/src/Test/VeriFuzz/Graph/Random.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Graph.Random Description : Random generation for DAG -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/Helpers.hs b/src/Test/VeriFuzz/Helpers.hs index 157e56c..6632938 100644 --- a/src/Test/VeriFuzz/Helpers.hs +++ b/src/Test/VeriFuzz/Helpers.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Default Description : Defaults and common functions. -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/Internal/Gen.hs b/src/Test/VeriFuzz/Internal/Gen.hs index 8f7462b..fdd958d 100644 --- a/src/Test/VeriFuzz/Internal/Gen.hs +++ b/src/Test/VeriFuzz/Internal/Gen.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Internal.Gen Description : Internal helpers for generation. -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/Internal/Shared.hs b/src/Test/VeriFuzz/Internal/Shared.hs index 0e08d5a..f2adda3 100644 --- a/src/Test/VeriFuzz/Internal/Shared.hs +++ b/src/Test/VeriFuzz/Internal/Shared.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Internal.Shared Description : Shared high level code used in the other modules internally. -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/Simulator.hs b/src/Test/VeriFuzz/Simulator.hs index 6eb01ad..cadaffd 100644 --- a/src/Test/VeriFuzz/Simulator.hs +++ b/src/Test/VeriFuzz/Simulator.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Simulator Description : Simulator module. -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/Simulator/General.hs b/src/Test/VeriFuzz/Simulator/General.hs index e5307ea..d52b7cd 100644 --- a/src/Test/VeriFuzz/Simulator/General.hs +++ b/src/Test/VeriFuzz/Simulator/General.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Simulator.General Description : Class of the simulator. -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/Simulator/Icarus.hs b/src/Test/VeriFuzz/Simulator/Icarus.hs index 10b72e0..eaf7aff 100644 --- a/src/Test/VeriFuzz/Simulator/Icarus.hs +++ b/src/Test/VeriFuzz/Simulator/Icarus.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Simulator.Icarus Description : Icarus verilog module. -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/Simulator/Xst.hs b/src/Test/VeriFuzz/Simulator/Xst.hs index cfa229d..3372ae0 100644 --- a/src/Test/VeriFuzz/Simulator/Xst.hs +++ b/src/Test/VeriFuzz/Simulator/Xst.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Simulator.Xst Description : Xst (ise) simulator implementation. -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/Simulator/Yosys.hs b/src/Test/VeriFuzz/Simulator/Yosys.hs index 33752c4..a3034eb 100644 --- a/src/Test/VeriFuzz/Simulator/Yosys.hs +++ b/src/Test/VeriFuzz/Simulator/Yosys.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Simulator.Yosys Description : Yosys simulator implementation. -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.hs b/src/Test/VeriFuzz/Verilog.hs index e910d4d..3fa4747 100644 --- a/src/Test/VeriFuzz/Verilog.hs +++ b/src/Test/VeriFuzz/Verilog.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Verilog Description : The main verilog module with the syntax and code generation. -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/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 -- cgit