diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-05-13 01:15:44 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-13 01:15:44 +0100 |
commit | 501cac8b2eda9e68c200231bdabca17ac48264d7 (patch) | |
tree | 9be8adf9c93e430dcb1c0c6d3b39b0aa33a2ea15 /verismith.cabal | |
parent | d79412813c44767df06bce0d33f7472b30814a30 (diff) | |
parent | d50a0b5b57aae1c7558fa77c362ae2e36038b63c (diff) | |
download | verismith-501cac8b2eda9e68c200231bdabca17ac48264d7.tar.gz verismith-501cac8b2eda9e68c200231bdabca17ac48264d7.zip |
Merge branch 'master' into dev/reducerdev/reducer
Diffstat (limited to 'verismith.cabal')
-rw-r--r-- | verismith.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/verismith.cabal b/verismith.cabal index 42a785b..35369b0 100644 --- a/verismith.cabal +++ b/verismith.cabal @@ -64,6 +64,7 @@ library , Verismith.Verilog.AST , Verismith.Verilog.BitVec , Verismith.Verilog.CodeGen + , Verismith.Verilog.Distance , Verismith.Verilog.Eval , Verismith.Verilog.Internal , Verismith.Verilog.Lex @@ -133,6 +134,7 @@ test-suite test , Property , Reduce , Parser + , Distance build-depends: base >=4 && <5 , verismith , fgl >=5.6 && <5.8 |