The latest version of what4 is 1.6.2-0.
lib:what4
Modules
- Test.Verification
- What4.BaseTypes
- What4.Concrete
- What4.Config
- What4.Expr
- 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.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.Syntax
- What4.Protocol.SMTWriter
- What4.SWord
- What4.SatResult
- What4.SemiRing
- What4.Solver
- What4.Solver.Adapter
- What4.Solver.Boolector
- What4.Solver.CVC4
- What4.Solver.DReal
- What4.Solver.STP
- What4.Solver.Yices
- What4.Solver.Z3
- 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.HandleReader
- What4.Utils.IncrHash
- What4.Utils.LeqMap
- What4.Utils.MonadST
- What4.Utils.OnlyNatRepr
- What4.Utils.Process
- What4.Utils.Streams
- What4.Utils.StringLiteral
- What4.Utils.Word16String
- What4.WordMap
Dependencies
- ansi-wl-pprint lib:ansi-wl-pprint >=0.6.8
- attoparsec lib:attoparsec >=0.13
- base lib:base >=4.8 && <5
- bifunctors lib:bifunctors >=5
- bimap lib:bimap >=0.2
- bv-sized lib:bv-sized >=1.0.0
- bytestring lib:bytestring >=0.10
- containers lib:containers >=0.5.0.0
- data-binary-ieee754 lib:data-binary-ieee754 >=0
- deepseq lib:deepseq >=1.3
- deriving-compat lib:deriving-compat >=0.5
- directory lib:directory >=1.2.2
- exceptions lib:exceptions >=0.10
- extra lib:extra >=1.6
- filepath lib:filepath >=1.3
- fingertree lib:fingertree >=0.1.4
- ghc-prim lib:ghc-prim >=0.5.3
- hashable lib:hashable >=1.3
- hashtables lib:hashtables >=1.2.3
- io-streams lib:io-streams >=1.5
- lens lib:lens >=4.18
- mtl lib:mtl >=2.2.1
- panic lib:panic >=0.3
- parameterized-utils lib:parameterized-utils >=2.1 && <2.2
- process lib:process >=1.2
- scientific lib:scientific >=0.3.6
- template-haskell lib:template-haskell >=0
- temporary lib:temporary >=1.2
- text lib:text >=1.1
- th-abstraction lib:th-abstraction >=0.1 && <0.4
- transformers lib:transformers >=0.4
- 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 >=3.5.2
- zenc lib:zenc >=0.1.0 && <0.2.0
Reverse dependencies
Direct only. Not exhaustive.
- copilot-theorem lib:copilot-theorem
- cryptol lib:cryptol
- what4 exe:quickstart
- what4 test:adapter-test
- what4 test:bvdomain_tests
- what4 test:bvdomain_tests_hh
- what4 test:config-test
- what4 test:expr-builder-smtlib2
- what4 test:exprs_tests
- what4 test:iteexprs_tests
- what4 test:online-solver-test
- what4 test:solver_parsing_tests
- what4 test:template_tests