diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-20 15:55:15 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-20 15:55:15 +0000 |
commit | 7b79d6b2014e65410a75a9b804a4dc5fdc2b21aa (patch) | |
tree | eb30c6c0542648cee9379af7b552caa1c982141a /verifuzz.cabal | |
parent | c22396d8d80dc090897631ab89a35ab91d0e0c07 (diff) | |
download | verismith-7b79d6b2014e65410a75a9b804a4dc5fdc2b21aa.tar.gz verismith-7b79d6b2014e65410a75a9b804a4dc5fdc2b21aa.zip |
Add internal simulator module
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 7ea2d2c..575365b 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -20,8 +20,9 @@ library hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall - other-modules: VeriFuzz.Internal.Shared - , VeriFuzz.Internal.Gen + other-modules: , VeriFuzz.Internal.Gen + , VeriFuzz.Internal.Shared + , VeriFuzz.Simulator.Internal.Template exposed-modules: VeriFuzz , VeriFuzz.Circuit , VeriFuzz.Graph.ASTGen |