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 /src/Test/VeriFuzz/Graph | |
| parent | 87c6dc6cf92b581273ee273a3a93714a1d32456e (diff) | |
| download | verismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.tar.gz verismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.zip | |
Fix documentation and copyright
Diffstat (limited to 'src/Test/VeriFuzz/Graph')
| -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 |
3 files changed, 9 insertions, 9 deletions
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 |