diff options
author | Yann Herklotz <git@ymhg.org> | 2019-03-30 13:39:43 +0000 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-03-30 13:39:43 +0000 |
commit | 11afcaa69e2c4c1142642683733debf7714b9e09 (patch) | |
tree | 84ddd7db8654439207ca03e343db6941881e1bcd /src/VeriFuzz/Internal | |
parent | 858615d4e4cb6cfda09425f9f05e3eb0769b1661 (diff) | |
download | verismith-11afcaa69e2c4c1142642683733debf7714b9e09.tar.gz verismith-11afcaa69e2c4c1142642683733debf7714b9e09.zip |
Change license name
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 |