From 11afcaa69e2c4c1142642683733debf7714b9e09 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 30 Mar 2019 13:39:43 +0000 Subject: Change license name --- src/VeriFuzz/AST.hs | 2 +- src/VeriFuzz/ASTGen.hs | 2 +- src/VeriFuzz/Circuit.hs | 2 +- src/VeriFuzz/CodeGen.hs | 2 +- src/VeriFuzz/Config.hs | 2 +- src/VeriFuzz/Env.hs | 2 +- src/VeriFuzz/Gen.hs | 2 +- src/VeriFuzz/Icarus.hs | 2 +- src/VeriFuzz/Internal.hs | 2 +- src/VeriFuzz/Internal/AST.hs | 2 +- src/VeriFuzz/Internal/Circuit.hs | 2 +- src/VeriFuzz/Internal/Simulator.hs | 2 +- src/VeriFuzz/Internal/Template.hs | 2 +- src/VeriFuzz/Lexer.hs | 2 +- src/VeriFuzz/Mutate.hs | 2 +- src/VeriFuzz/Parser.hs | 2 +- src/VeriFuzz/Random.hs | 2 +- src/VeriFuzz/RandomAlt.hs | 2 +- src/VeriFuzz/Reduce.hs | 2 +- src/VeriFuzz/XST.hs | 2 +- src/VeriFuzz/Yosys.hs | 2 +- 21 files changed, 21 insertions(+), 21 deletions(-) (limited to 'src/VeriFuzz') diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index e0c74a1..4ec966b 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.AST Description : Definition of the Verilog AST types. -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/ASTGen.hs b/src/VeriFuzz/ASTGen.hs index 5dd2c73..7c295e1 100644 --- a/src/VeriFuzz/ASTGen.hs +++ b/src/VeriFuzz/ASTGen.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.ASTGen Description : Generates the AST from the graph directly. -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/Circuit.hs b/src/VeriFuzz/Circuit.hs index 4d3fac1..b3f8dcd 100644 --- a/src/VeriFuzz/Circuit.hs +++ b/src/VeriFuzz/Circuit.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Circuit Description : Definition of the circuit graph. -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/CodeGen.hs b/src/VeriFuzz/CodeGen.hs index 3a2f9b0..141d1ff 100644 --- a/src/VeriFuzz/CodeGen.hs +++ b/src/VeriFuzz/CodeGen.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.CodeGen Description : Code generation for Verilog AST. -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/Config.hs b/src/VeriFuzz/Config.hs index 1c1b3bb..eb08b1e 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Config Description : Configuration file format and parser. -Copyright : (c) 2019, Yann Herklotz Grave +Copyright : (c) 2019, Yann Herklotz License : GPL-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental diff --git a/src/VeriFuzz/Env.hs b/src/VeriFuzz/Env.hs index b7cfae0..6448bdf 100644 --- a/src/VeriFuzz/Env.hs +++ b/src/VeriFuzz/Env.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Env Description : Environment to run the simulator and synthesisers in a matrix. -Copyright : (c) 2019, Yann Herklotz Grave +Copyright : (c) 2019, Yann Herklotz License : GPL-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs index 8dbbe24..5c3af9b 100644 --- a/src/VeriFuzz/Gen.hs +++ b/src/VeriFuzz/Gen.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Gen Description : Various useful generators. -Copyright : (c) 2019, Yann Herklotz Grave +Copyright : (c) 2019, Yann Herklotz License : GPL-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs index dc2474d..32c4013 100644 --- a/src/VeriFuzz/Icarus.hs +++ b/src/VeriFuzz/Icarus.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Icarus Description : Icarus verilog module. -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.hs b/src/VeriFuzz/Internal.hs index 541e517..4f85629 100644 --- a/src/VeriFuzz/Internal.hs +++ b/src/VeriFuzz/Internal.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Internal Description : Shared high level code used in the other modules internally. -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/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 diff --git a/src/VeriFuzz/Lexer.hs b/src/VeriFuzz/Lexer.hs index fe71abb..02e1ebf 100644 --- a/src/VeriFuzz/Lexer.hs +++ b/src/VeriFuzz/Lexer.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Lexer Description : Lexer for Verilog. -Copyright : (c) 2019, Yann Herklotz Grave +Copyright : (c) 2019, Yann Herklotz License : GPL-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental diff --git a/src/VeriFuzz/Mutate.hs b/src/VeriFuzz/Mutate.hs index e8b510f..4985993 100644 --- a/src/VeriFuzz/Mutate.hs +++ b/src/VeriFuzz/Mutate.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Mutation Description : Functions to mutate the Verilog AST. -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/Parser.hs b/src/VeriFuzz/Parser.hs index 3e5ddb2..2c26b56 100644 --- a/src/VeriFuzz/Parser.hs +++ b/src/VeriFuzz/Parser.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Parser Description : Minimal Verilog parser to reconstruct the AST. -Copyright : (c) 2019, Yann Herklotz Grave +Copyright : (c) 2019, Yann Herklotz License : GPL-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental diff --git a/src/VeriFuzz/Random.hs b/src/VeriFuzz/Random.hs index c937043..ef9e14c 100644 --- a/src/VeriFuzz/Random.hs +++ b/src/VeriFuzz/Random.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Random Description : Random generation for DAG -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/RandomAlt.hs b/src/VeriFuzz/RandomAlt.hs index 82bc743..8548a1a 100644 --- a/src/VeriFuzz/RandomAlt.hs +++ b/src/VeriFuzz/RandomAlt.hs @@ -1,7 +1,7 @@ {-|p Module : VeriFuzz.RandomAlt Description : RandomAlt generation for DAG -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/Reduce.hs b/src/VeriFuzz/Reduce.hs index b09055e..4f1ccea 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Reduce Description : Test case reducer implementation. -Copyright : (c) 2019, Yann Herklotz Grave +Copyright : (c) 2019, Yann Herklotz License : GPL-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental diff --git a/src/VeriFuzz/XST.hs b/src/VeriFuzz/XST.hs index 337ad2e..3f4f6c3 100644 --- a/src/VeriFuzz/XST.hs +++ b/src/VeriFuzz/XST.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.XST Description : Xst (ise) simulator implementation. -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/Yosys.hs b/src/VeriFuzz/Yosys.hs index 9f605db..b6da8c2 100644 --- a/src/VeriFuzz/Yosys.hs +++ b/src/VeriFuzz/Yosys.hs @@ -1,7 +1,7 @@ {-| Module : VeriFuzz.Yosys Description : Yosys simulator implementation. -Copyright : (c) 2018-2019, Yann Herklotz Grave +Copyright : (c) 2018-2019, Yann Herklotz License : BSD-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental -- cgit