diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:45:31 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:45:31 +0100 |
commit | f16bde32c50099ef9e161fb9b54b770a8c37a508 (patch) | |
tree | c7e0badade322ba5e559e22e532d27419c1524d4 | |
parent | 87c6dc6cf92b581273ee273a3a93714a1d32456e (diff) | |
download | verismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.tar.gz verismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.zip |
Fix documentation and copyright
-rw-r--r-- | app/Yosys.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Circuit.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Graph/ASTGen.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Graph/CodeGen.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Graph/Random.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Helpers.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Internal/Gen.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Internal/Shared.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Simulator.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Simulator/General.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Simulator/Icarus.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Simulator/Xst.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Simulator/Yosys.hs | 6 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Verilog.hs | 6 | ||||
-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 |
18 files changed, 54 insertions, 54 deletions
diff --git a/app/Yosys.hs b/app/Yosys.hs index 0354254..c67852c 100644 --- a/app/Yosys.hs +++ b/app/Yosys.hs @@ -1,9 +1,9 @@ {-| Module : Main Description : Main Yosys runner -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.hs b/src/Test/VeriFuzz.hs index 8a84fd7..a16b095 100644 --- a/src/Test/VeriFuzz.hs +++ b/src/Test/VeriFuzz.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz Description : VeriFuzz -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/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 |