The latest version of grisette is 0.10.0.0-0.
lib:grisette
Modules
- Grisette
- Grisette.Backend.SBV
- Grisette.Backend.SBV.Data.SMT.Lowering
- Grisette.Backend.SBV.Data.SMT.Solving
- Grisette.Backend.SBV.Data.SMT.SymBiMap
- Grisette.Core
- Grisette.Core.BuiltinUnionWrappers
- Grisette.Core.Control.Exception
- Grisette.Core.Control.Monad.CBMCExcept
- Grisette.Core.Control.Monad.Class.MonadParallelUnion
- Grisette.Core.Control.Monad.Union
- Grisette.Core.Control.Monad.UnionM
- Grisette.Core.Data.BV
- Grisette.Core.Data.Class.BitVector
- Grisette.Core.Data.Class.CEGISSolver
- Grisette.Core.Data.Class.Error
- Grisette.Core.Data.Class.EvaluateSym
- Grisette.Core.Data.Class.ExtractSymbolics
- Grisette.Core.Data.Class.Function
- Grisette.Core.Data.Class.GPretty
- Grisette.Core.Data.Class.GenSym
- Grisette.Core.Data.Class.ITEOp
- Grisette.Core.Data.Class.LogicalOp
- Grisette.Core.Data.Class.Mergeable
- Grisette.Core.Data.Class.ModelOps
- Grisette.Core.Data.Class.SEq
- Grisette.Core.Data.Class.SOrd
- Grisette.Core.Data.Class.SafeDivision
- Grisette.Core.Data.Class.SafeLinearArith
- Grisette.Core.Data.Class.SafeSymRotate
- Grisette.Core.Data.Class.SafeSymShift
- Grisette.Core.Data.Class.SignConversion
- Grisette.Core.Data.Class.SimpleMergeable
- Grisette.Core.Data.Class.Solvable
- Grisette.Core.Data.Class.Solver
- Grisette.Core.Data.Class.SubstituteSym
- Grisette.Core.Data.Class.SymRotate
- Grisette.Core.Data.Class.SymShift
- Grisette.Core.Data.Class.ToCon
- Grisette.Core.Data.Class.ToSym
- Grisette.Core.Data.FileLocation
- Grisette.Core.Data.MemoUtils
- Grisette.Core.Data.Union
- Grisette.Core.TH
- Grisette.Core.THCompat
- Grisette.Experimental
- Grisette.Experimental.GenSymConstrained
- Grisette.IR.SymPrim
- Grisette.IR.SymPrim.Data.IntBitwidth
- Grisette.IR.SymPrim.Data.Prim.Helpers
- Grisette.IR.SymPrim.Data.Prim.InternedTerm.Caches
- Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors
- Grisette.IR.SymPrim.Data.Prim.InternedTerm.SomeTerm
- Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term
- Grisette.IR.SymPrim.Data.Prim.InternedTerm.TermSubstitution
- Grisette.IR.SymPrim.Data.Prim.InternedTerm.TermUtils
- Grisette.IR.SymPrim.Data.Prim.Model
- Grisette.IR.SymPrim.Data.Prim.ModelValue
- Grisette.IR.SymPrim.Data.Prim.PartialEval.BV
- Grisette.IR.SymPrim.Data.Prim.PartialEval.Bits
- Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool
- Grisette.IR.SymPrim.Data.Prim.PartialEval.GeneralFun
- Grisette.IR.SymPrim.Data.Prim.PartialEval.Integral
- Grisette.IR.SymPrim.Data.Prim.PartialEval.Num
- Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval
- Grisette.IR.SymPrim.Data.Prim.PartialEval.TabularFun
- Grisette.IR.SymPrim.Data.Prim.PartialEval.Unfold
- Grisette.IR.SymPrim.Data.Prim.Utils
- Grisette.IR.SymPrim.Data.SymPrim
- Grisette.IR.SymPrim.Data.TabularFun
- Grisette.Internal.Backend.SBV
- Grisette.Internal.Core
- Grisette.Internal.IR.SymPrim
- Grisette.Lib.Base
- Grisette.Lib.Control.Monad
- Grisette.Lib.Control.Monad.Except
- Grisette.Lib.Control.Monad.State.Class
- Grisette.Lib.Control.Monad.Trans
- Grisette.Lib.Control.Monad.Trans.Class
- Grisette.Lib.Control.Monad.Trans.Cont
- Grisette.Lib.Control.Monad.Trans.State
- Grisette.Lib.Control.Monad.Trans.State.Lazy
- Grisette.Lib.Control.Monad.Trans.State.Strict
- Grisette.Lib.Data.Foldable
- Grisette.Lib.Data.List
- Grisette.Lib.Data.Traversable
- Grisette.Qualified.ParallelUnionDo
- Grisette.Utils
- Grisette.Utils.Parameterized
Dependencies
- QuickCheck lib:QuickCheck >=2.14 && <2.15
- array lib:array >=0.5.4 && <0.6
- async lib:async >=2.2.2 && <2.3
- base lib:base >=4.14 && <5
- bytestring lib:bytestring >=0.10.12 && <0.13
- deepseq lib:deepseq >=1.4.4 && <1.6
- generic-deriving lib:generic-deriving >=1.14.1 && <1.15
- hashable lib:hashable >=1.2.3 && <1.5
- hashtables lib:hashtables >=1.2.3.4 && <1.4
- intern lib:intern >=0.9.2 && <0.10
- loch-th lib:loch-th >=0.2.2 && <0.3
- mtl lib:mtl >=2.2.2 && <2.4
- parallel lib:parallel >=3.2.2.0 && <3.3
- prettyprinter lib:prettyprinter >=1.5.0 && <1.8
- sbv lib:sbv >=8.11 && <10.4
- stm lib:stm >=2.5 && <2.6
- template-haskell lib:template-haskell >=2.16 && <2.22
- text lib:text >=1.2.4.1 && <2.2
- th-compat lib:th-compat >=0.1.2 && <0.2
- transformers lib:transformers >=0.5.6 && <0.7
- unordered-containers lib:unordered-containers >=0.2.11 && <0.3
Reverse dependencies
Direct only. Not exhaustive.
- grisette test:doctest
- grisette test:spec
- grisette-monad-coroutine lib:grisette-monad-coroutine
- grisette-monad-coroutine test:spec