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 | |
| parent | c22396d8d80dc090897631ab89a35ab91d0e0c07 (diff) | |
| download | verismith-7b79d6b2014e65410a75a9b804a4dc5fdc2b21aa.tar.gz verismith-7b79d6b2014e65410a75a9b804a4dc5fdc2b21aa.zip | |
Add internal simulator module
| -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 |