lib:crucible

Modules

• Lang.Crucible.Analysis.DFS
• Lang.Crucible.Analysis.Fixpoint
• Lang.Crucible.Analysis.Fixpoint.Components
• Lang.Crucible.Analysis.ForwardDataflow
• Lang.Crucible.Analysis.Postdom
• Lang.Crucible.Analysis.Reachable
• Lang.Crucible.Backend
• Lang.Crucible.Backend.AssumptionStack
• Lang.Crucible.Backend.Online
• Lang.Crucible.Backend.ProofGoals
• Lang.Crucible.Backend.Prove
• Lang.Crucible.Backend.Simple
• Lang.Crucible.CFG.Common
• Lang.Crucible.CFG.Core
• Lang.Crucible.CFG.EarlyMergeLoops
• Lang.Crucible.CFG.Expr
• Lang.Crucible.CFG.Extension
• Lang.Crucible.CFG.ExtractSubgraph
• Lang.Crucible.CFG.Generator
• Lang.Crucible.CFG.Reg
• Lang.Crucible.CFG.SSAConversion
• Lang.Crucible.Concretize
• Lang.Crucible.FunctionHandle
• Lang.Crucible.Panic
• Lang.Crucible.Simulator
• Lang.Crucible.Simulator.BoundedExec
• Lang.Crucible.Simulator.BoundedRecursion
• Lang.Crucible.Simulator.Breakpoint
• Lang.Crucible.Simulator.CallFrame
• Lang.Crucible.Simulator.EvalStmt
• Lang.Crucible.Simulator.Evaluation
• Lang.Crucible.Simulator.ExecutionTree
• Lang.Crucible.Simulator.GlobalState
• Lang.Crucible.Simulator.Intrinsics
• Lang.Crucible.Simulator.Operations
• Lang.Crucible.Simulator.OverrideSim
• Lang.Crucible.Simulator.PathSatisfiability
• Lang.Crucible.Simulator.PathSplitting
• Lang.Crucible.Simulator.PositionTracking
• Lang.Crucible.Simulator.Profiling
• Lang.Crucible.Simulator.RegMap
• Lang.Crucible.Simulator.RegValue
• Lang.Crucible.Simulator.SimError
• Lang.Crucible.Simulator.SymSequence
• Lang.Crucible.Syntax
• Lang.Crucible.Types
• Lang.Crucible.Utils.BitSet
• Lang.Crucible.Utils.CoreRewrite
• Lang.Crucible.Utils.MonadVerbosity
• Lang.Crucible.Utils.MuxTree
• Lang.Crucible.Utils.PrettyPrint
• Lang.Crucible.Utils.RegRewrite
• Lang.Crucible.Utils.Seconds
• Lang.Crucible.Utils.StateContT
• Lang.Crucible.Utils.Structural
• Lang.Crucible.Utils.Timeout
• Lang.Crucible.Vector

Dependencies

• async lib:async >=0
• base lib:base >=4.13 && <4.20
• bimap lib:bimap >=0
• bv-sized lib:bv-sized >=1.0.0 && <1.1
• containers lib:containers >=0.5.9.0
• exceptions lib:exceptions >=0
• fgl lib:fgl >=0
• hashable lib:hashable >=0
• json lib:json >=0.9 && <1.0
• lens lib:lens >=0
• mtl lib:mtl >=0
• panic lib:panic >=0.3
• parameterized-utils lib:parameterized-utils >=1.0.8 && <2.2
• prettyprinter lib:prettyprinter >=1.7.0
• template-haskell lib:template-haskell >=0
• text lib:text >=0
• th-abstraction lib:th-abstraction >=0.1 && <0.7
• time lib:time >=1.8 && <2.0
• transformers lib:transformers >=0
• unordered-containers lib:unordered-containers >=0
• vector lib:vector >=0
• what4 lib:what4 >=1.6.1

Reverse dependencies

Direct only. Not exhaustive.

• copilot-verifier exe:verify-examples
• copilot-verifier lib:copilot-verifier
• copilot-verifier lib:copilot-verifier-examples
• copilot-verifier test:copilot-verifier-test
• crucible test:absint-tests
• crucible test:helper-tests
• crucible-llvm lib:crucible-llvm
• crucible-llvm test:crucible-llvm-tests
• crucible-symio lib:crucible-symio
• crucible-symio test:crucible-symio-tests
• crux lib:crux
• crux-llvm exe:crux-llvm
• crux-llvm exe:crux-llvm-for-ide
• crux-llvm exe:crux-llvm-svcomp
• crux-llvm lib:crux-llvm
• crux-llvm test:crux-llvm-test