diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
| commit | fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0 (patch) | |
| tree | 673439d49fa095bf3ae9b7bbbca5f30d7ff20838 /verifuzz.cabal | |
| parent | c0c799ab3f79c370e4c33b8f824489ce8b1c96ec (diff) | |
| download | verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.tar.gz verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.zip | |
Large refactor with passing tests
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 44 |
1 files changed, 23 insertions, 21 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 9e4a5a6..7830465 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -28,29 +28,31 @@ library ghc-options: -Wall -Werror build-tools: alex >=3 && <4 exposed-modules: VeriFuzz - , VeriFuzz.AST + , VeriFuzz.Circuit + , VeriFuzz.Circuit.Base + , VeriFuzz.Circuit.Gen + , VeriFuzz.Circuit.Internal + , VeriFuzz.Circuit.Random , VeriFuzz.Config , VeriFuzz.Internal - , VeriFuzz.Internal.AST - , VeriFuzz.Internal.Circuit - , VeriFuzz.Internal.Simulator - , VeriFuzz.Internal.Template - , VeriFuzz.ASTGen - , VeriFuzz.Circuit - , VeriFuzz.CodeGen - , VeriFuzz.Env - , VeriFuzz.Gen - , VeriFuzz.Icarus - , VeriFuzz.Mutate - , VeriFuzz.Parser - , VeriFuzz.Parser.Parser - , VeriFuzz.Parser.Preprocess - , VeriFuzz.Parser.Token - , VeriFuzz.Parser.Lex - , VeriFuzz.Random - , VeriFuzz.Reduce - , VeriFuzz.XST - , VeriFuzz.Yosys + , VeriFuzz.Sim + , VeriFuzz.Sim.Env + , VeriFuzz.Sim.Icarus + , VeriFuzz.Sim.Internal + , VeriFuzz.Sim.Reduce + , VeriFuzz.Sim.Template + , VeriFuzz.Sim.XST + , VeriFuzz.Sim.Yosys + , VeriFuzz.Verilog + , VeriFuzz.Verilog.AST + , VeriFuzz.Verilog.CodeGen + , VeriFuzz.Verilog.Gen + , VeriFuzz.Verilog.Internal + , VeriFuzz.Verilog.Lex + , VeriFuzz.Verilog.Mutate + , VeriFuzz.Verilog.Parser + , VeriFuzz.Verilog.Preprocess + , VeriFuzz.Verilog.Token build-depends: base >=4.7 && <5 , hedgehog >= 0.6 && <0.7 , fgl >=5.7 && <5.8 |