lib:verismith
Modules
- Verismith
- Verismith.Circuit
- Verismith.Circuit.Base
- Verismith.Circuit.Gen
- Verismith.Circuit.Internal
- Verismith.Circuit.Random
- Verismith.Config
- Verismith.CounterEg
- Verismith.Fuzz
- Verismith.Generate
- Verismith.Internal
- Verismith.OptParser
- Verismith.Reduce
- Verismith.Report
- Verismith.Result
- Verismith.Tool
- Verismith.Tool.Icarus
- Verismith.Tool.Identity
- Verismith.Tool.Internal
- Verismith.Tool.Quartus
- Verismith.Tool.QuartusLight
- Verismith.Tool.Template
- Verismith.Tool.Vivado
- Verismith.Tool.XST
- Verismith.Tool.Yosys
- Verismith.Verilog
- Verismith.Verilog.AST
- Verismith.Verilog.BitVec
- Verismith.Verilog.CodeGen
- Verismith.Verilog.Eval
- Verismith.Verilog.Internal
- Verismith.Verilog.Lex
- Verismith.Verilog.Mutate
- Verismith.Verilog.Parser
- Verismith.Verilog.Preprocess
- Verismith.Verilog.Quote
- Verismith.Verilog.Token
Dependencies
- DRBG lib:DRBG >=0.5 && <0.6
- array lib:array >=0.5 && <0.6
- base lib:base >=4.7 && <5
- binary lib:binary >=0.8.5.1 && <0.9
- blaze-html lib:blaze-html >=0.9.0.1 && <0.10
- bytestring lib:bytestring >=0.10 && <0.11
- cryptonite lib:cryptonite >=0.25 && <0.27
- deepseq lib:deepseq >=1.4.3.0 && <1.5
- exceptions lib:exceptions >=0.10.0 && <0.11
- fgl lib:fgl >=5.6 && <5.8
- fgl-visualize lib:fgl-visualize >=0.1 && <0.2
- filepath lib:filepath >=1.4.2 && <1.5
- gitrev lib:gitrev >=1.3.1 && <1.4
- hedgehog lib:hedgehog >=1.0 && <1.2
- lens lib:lens >=4.16.1 && <4.19
- lifted-base lib:lifted-base >=0.2.3 && <0.3
- memory lib:memory >=0.14 && <0.16
- monad-control lib:monad-control >=1.0.2 && <1.1
- mtl lib:mtl >=2.2.2 && <2.3
- optparse-applicative lib:optparse-applicative >=0.14 && <0.16
- parsec lib:parsec >=3.1 && <3.2
- prettyprinter lib:prettyprinter >=1.2.0.1 && <1.7
- random lib:random >=1.1 && <1.2
- recursion-schemes lib:recursion-schemes >=5.0.2 && <5.2
- shakespeare lib:shakespeare >=2 && <2.1
- shelly lib:shelly >=1.8.0 && <1.10
- statistics lib:statistics >=0.14.0.2 && <0.16
- template-haskell lib:template-haskell >=2.13.0 && <2.16
- text lib:text >=1.2 && <1.3
- time lib:time >=1.8.0.2 && <1.10
- tomland lib:tomland >=1.0 && <1.3
- transformers lib:transformers >=0.5 && <0.6
- transformers-base lib:transformers-base >=0.4.5 && <0.5
- unordered-containers lib:unordered-containers >=0.2.10 && <0.3
- vector lib:vector >=0.12.0.1 && <0.13
Reverse dependencies
Direct only. Not exhaustive.