Merge branch 'master' of github.com:ymherklotz/verifuzz

3 files changed, 48 insertions, 16 deletions

diff --git a/scripts/size.py b/scripts/size.py
new file mode 100755
index 0000000..5fe2f48
--- /dev/null
+++ b/scripts/size.py
@@ -0,0 +1,23 @@
+#!/usr/bin/env python3
+
+import subprocess
+import statistics
+
+def file_len(fname):
+    with open(fname) as f:
+        for i, l in enumerate(f):
+            pass
+    return i + 1
+
+def main():
+    l = []
+    for x in range(0, 10):
+        subprocess.call(["verifuzz", "generate", "-o", "main.v", "-c", "config.toml"])
+        l.append(file_len("main.v"))
+    print("mean: ", statistics.mean(l))
+    print("median: ", statistics.median(l))
+    print("stdev: ", statistics.stdev(l))
+    print("variance: ", statistics.variance(l))
+
+if __name__ == '__main__':
+    main()
diff --git a/stack-8.4.2.yaml b/stack-8.4.2.yaml
new file mode 100644
index 0000000..4c9cdda
--- /dev/null
+++ b/stack-8.4.2.yaml
@@ -0,0 +1,10 @@
+flags: {}
+packages:
+  - .
+extra-deps:
+  - fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e
+  - tomland-1.0.0@sha256:a6eb99963469c3c047f7f6a54ccbadc87c2ec046eec82c6f22e535f7edfbc292
+  - dotgen-0.4.2@sha256:309b7cc8a3593a8e48bee7b53020d5f72db156d58edf78a0214f58fbb84b292b
+  - megaparsec-7.0.5@sha256:45e1f1348fab2783646fdb4d9e6097568981a740951c7356d36d794e2baba305
+  - hedgehog-fn-0.5
+resolver: nightly-2018-05-30
diff --git a/verifuzz.cabal b/verifuzz.cabal
index a7886e7..1b220f3 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -62,17 +62,17 @@ library
                  , VeriFuzz.Verilog.Quote
                  , VeriFuzz.Verilog.Token
   build-depends: base >=4.7 && <5
-               , hedgehog >= 0.6 && <0.7
-               , fgl >=5.7 && <5.8
+               , hedgehog >= 0.5.3 && <0.7
+               , fgl >=5.6 && <5.8
                , fgl-visualize >=0.1 && <0.2
-               , lens >=4.17 && <4.18
+               , lens >=4.16.1 && <4.18
                , random >=1.1 && <1.2
                , shakespeare >=2 && <2.1
                , shelly >=1.8.0 && <1.9
                , text >=1.2 && <1.3
                , bytestring >=0.10 && <0.11
                , filepath >=1.4.2 && <1.5
-               , binary >= 0.8.6 && <0.9
+               , binary >= 0.8.5.1 && <0.9
                , cryptonite >=0.25 && <0.26
                , memory >=0.14 && <0.15
                , DRBG >=0.5 && <0.6
@@ -80,19 +80,18 @@ library
                , transformers >=0.5 && <0.6
                , transformers-base >=0.4.5 && <0.5
                , tomland >=1.0 && <1.1
-               , prettyprinter >=1.2.1 && <1.3
+               , prettyprinter >=1.2.0.1 && <1.3
                , array >=0.5 && <0.6
-               , recursion-schemes >=5.1 && <5.2
-               , prettyprinter >= 1.2.1 && < 1.3
+               , recursion-schemes >=5.0.2 && <5.2
                , time >= 1.8.0.2 && <1.9
                , lifted-base >=0.2.3 && <0.3
                , monad-control >=1.0.2 && <1.1
                , gitrev >= 1.3.1 && <1.4
-               , deepseq >= 1.4.4.0 && <1.5
-               , template-haskell >=2.14.0 && <2.15
+               , deepseq >= 1.4.3.0 && <1.5
+               , template-haskell >=2.13.0 && <2.15
                , optparse-applicative >=0.14 && <0.15
-               , exceptions >=0.10.2 && <0.11
-               , blaze-html >=0.9.1 && <0.10
+               , exceptions >=0.10.0 && <0.11
+               , blaze-html >=0.9.0.1 && <0.10
   default-extensions: OverloadedStrings
 
 executable verifuzz
@@ -115,13 +114,13 @@ test-suite test
                , Parser
   build-depends: base >=4 && <5
                , verifuzz
-               , fgl >=5.7 && <5.8
-               , tasty >=1.2 && <1.3
+               , fgl >=5.6 && <5.8
+               , tasty >=1.0.1.1 && <1.3
                , tasty-hunit >=0.10 && <0.11
                , tasty-hedgehog >=0.2 && <0.3
-               , hedgehog >=0.6 && <0.7
-               , hedgehog-fn >=0.6 && <0.7
-               , lens >=4.17 && <4.18
+               , hedgehog >=0.5.3 && <0.7
+               , hedgehog-fn >=0.5 && <0.7
+               , lens >=4.16.1 && <4.18
                , shakespeare >=2 && <2.1
                , text >=1.2 && <1.3
                , parsec >= 3.1 && < 3.2