The latest version of crucible is 0.7.1-1.
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.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.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.StateContT
- Lang.Crucible.Utils.Structural
- Lang.Crucible.Vector
Dependencies
- base lib:base >=4.13 && <4.19
- 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.6
- time lib:time >=1.8 && <2.0
- transformers lib:transformers >=0
- unordered-containers lib:unordered-containers >=0
- vector lib:vector >=0
- what4 lib:what4 >=0.4
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