lib:what4
Modules
- Test.Verification
- What4.BaseTypes
- What4.Concrete
- What4.Config
- What4.Expr
- What4.Expr.Allocator
- What4.Expr.App
- What4.Expr.AppTheory
- What4.Expr.ArrayUpdateMap
- What4.Expr.BoolMap
- What4.Expr.Builder
- What4.Expr.GroundEval
- What4.Expr.MATLAB
- What4.Expr.Simplify
- What4.Expr.StringSeq
- What4.Expr.UnaryBV
- What4.Expr.VarIdentification
- What4.Expr.WeightedSum
- What4.FloatMode
- What4.FunctionName
- What4.IndexLit
- What4.Interface
- What4.InterpretedFloatingPoint
- What4.LabeledPred
- What4.Panic
- What4.Partial
- What4.ProblemFeatures
- What4.ProgramLoc
- What4.Protocol.Online
- What4.Protocol.PolyRoot
- What4.Protocol.ReadDecimal
- What4.Protocol.SExp
- What4.Protocol.SMTLib2
- What4.Protocol.SMTLib2.Parse
- What4.Protocol.SMTLib2.Response
- What4.Protocol.SMTLib2.Syntax
- What4.Protocol.SMTWriter
- What4.Protocol.VerilogWriter
- What4.Protocol.VerilogWriter.ABCVerilog
- What4.Protocol.VerilogWriter.AST
- What4.Protocol.VerilogWriter.Backend
- What4.SFloat
- What4.SWord
- What4.SatResult
- What4.SemiRing
- What4.Serialize.FastSExpr
- What4.Serialize.Log
- What4.Serialize.Normalize
- What4.Serialize.Parser
- What4.Serialize.Printer
- What4.Serialize.SETokens
- What4.Solver
- What4.Solver.Adapter
- What4.Solver.Bitwuzla
- What4.Solver.Boolector
- What4.Solver.CVC4
- What4.Solver.CVC5
- What4.Solver.DReal
- What4.Solver.ExternalABC
- What4.Solver.STP
- What4.Solver.Yices
- What4.Solver.Z3
- What4.SpecialFunctions
- What4.Symbol
- What4.Utils.AbstractDomains
- What4.Utils.AnnotatedMap
- What4.Utils.Arithmetic
- What4.Utils.BVDomain
- What4.Utils.BVDomain.Arith
- What4.Utils.BVDomain.Bitwise
- What4.Utils.BVDomain.XOR
- What4.Utils.Complex
- What4.Utils.Endian
- What4.Utils.Environment
- What4.Utils.FloatHelpers
- What4.Utils.HandleReader
- What4.Utils.IncrHash
- What4.Utils.LeqMap
- What4.Utils.MonadST
- What4.Utils.OnlyIntRepr
- What4.Utils.Process
- What4.Utils.ResolveBounds.BV
- What4.Utils.Serialize
- What4.Utils.Streams
- What4.Utils.StringLiteral
- What4.Utils.Versions
- What4.Utils.Word16String
- What4.WordMap
Dependencies
- BoundedChan lib:BoundedChan >=1 && <2
- async lib:async >=0
- attoparsec lib:attoparsec >=0.13
- base lib:base >=4.10 && <5
- bifunctors lib:bifunctors >=5
- bimap lib:bimap >=0.2
- bv-sized lib:bv-sized >=1.0.0
- bytestring lib:bytestring >=0.10
- concurrent-extra lib:concurrent-extra >=0.7 && <0.8
- config-value lib:config-value >=0.8 && <0.9
- containers lib:containers >=0.5.0.0
- deepseq lib:deepseq >=1.3
- deriving-compat lib:deriving-compat >=0.5
- directory lib:directory >=1.2.2
- exceptions lib:exceptions >=0.10
- filepath lib:filepath >=1.3
- fingertree lib:fingertree >=0.1.4
- ghc-prim lib:ghc-prim >=0.5.2
- hashable lib:hashable >=1.3
- hashtables lib:hashtables >=1.2.3
- io-streams lib:io-streams >=1.5
- lens lib:lens >=4.18
- libBF lib:libBF >=0.6 && <0.7
- megaparsec lib:megaparsec >=8 && <10
- mtl lib:mtl >=2.2.1
- ordered-containers lib:ordered-containers >=0.2 && <0.3
- panic lib:panic >=0.3
- parameterized-utils lib:parameterized-utils >=2.1 && <2.2
- parsec lib:parsec >=3 && <4
- prettyprinter lib:prettyprinter >=1.7.0
- process lib:process >=1.2
- s-cargot lib:s-cargot >=0.1 && <0.2
- scientific lib:scientific >=0.3.6
- stm lib:stm >=0
- template-haskell lib:template-haskell >=0
- temporary lib:temporary >=1.2
- text lib:text >=1.2.4.0 && <2.2
- th-lift lib:th-lift >=0.8.2 && <0.9
- th-lift-instances lib:th-lift-instances >=0.1 && <0.2
- time lib:time >=1.8 && <1.13
- transformers lib:transformers >=0.4
- unliftio lib:unliftio >=0.2 && <0.3
- unordered-containers lib:unordered-containers >=0.2.10
- utf8-string lib:utf8-string >=1.0.1
- vector lib:vector >=0.12.1
- versions lib:versions >=6.0.2 && <6.1
- zenc lib:zenc >=0.1.0 && <0.2.0
Reverse dependencies
Direct only. Not exhaustive.