diff options
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 |