lib:crucible-llvm

Modules

• Lang.Crucible.LLVM
• Lang.Crucible.LLVM.Arch.Util
• Lang.Crucible.LLVM.Arch.X86
• Lang.Crucible.LLVM.ArraySizeProfile
• Lang.Crucible.LLVM.Bytes
• Lang.Crucible.LLVM.Ctors
• Lang.Crucible.LLVM.DataLayout
• Lang.Crucible.LLVM.Errors
• Lang.Crucible.LLVM.Errors.MemoryError
• Lang.Crucible.LLVM.Errors.Poison
• Lang.Crucible.LLVM.Errors.UndefinedBehavior
• Lang.Crucible.LLVM.Eval
• Lang.Crucible.LLVM.Extension
• Lang.Crucible.LLVM.Functions
• Lang.Crucible.LLVM.Globals
• Lang.Crucible.LLVM.Intrinsics
• Lang.Crucible.LLVM.Intrinsics.Cast
• Lang.Crucible.LLVM.Intrinsics.LLVM
• Lang.Crucible.LLVM.Intrinsics.Libc
• Lang.Crucible.LLVM.MalformedLLVMModule
• Lang.Crucible.LLVM.MemModel
• Lang.Crucible.LLVM.MemModel.CallStack
• Lang.Crucible.LLVM.MemModel.CallStack.Internal
• Lang.Crucible.LLVM.MemModel.Generic
• Lang.Crucible.LLVM.MemModel.MemLog
• Lang.Crucible.LLVM.MemModel.Partial
• Lang.Crucible.LLVM.MemModel.Pointer
• Lang.Crucible.LLVM.MemType
• Lang.Crucible.LLVM.PrettyPrint
• Lang.Crucible.LLVM.Printf
• Lang.Crucible.LLVM.QQ
• Lang.Crucible.LLVM.SimpleLoopFixpoint
• Lang.Crucible.LLVM.SimpleLoopFixpointCHC
• Lang.Crucible.LLVM.SimpleLoopInvariant
• Lang.Crucible.LLVM.SymIO
• Lang.Crucible.LLVM.Translation
• Lang.Crucible.LLVM.Translation.Aliases
• Lang.Crucible.LLVM.TypeContext

Dependencies

• attoparsec lib:attoparsec >=0
• base lib:base >=4.13 && <4.20
• bv-sized lib:bv-sized >=1.0.0
• bytestring lib:bytestring >=0
• containers lib:containers >=0.5.8.0
• crucible lib:crucible >=0.5
• crucible-symio lib:crucible-symio >=0
• extra lib:extra >=0
• itanium-abi lib:itanium-abi >=0.1.1.1 && <0.2
• lens lib:lens >=0
• llvm-pretty lib:llvm-pretty >=0.12.1 && <0.13
• mtl lib:mtl >=0
• parameterized-utils lib:parameterized-utils >=2.1.5 && <2.2
• pretty lib:pretty >=0
• prettyprinter lib:prettyprinter >=1.7.0
• template-haskell lib:template-haskell >=0
• text lib:text >=0
• transformers lib:transformers >=0
• utf8-string lib:utf8-string >=0
• vector lib:vector >=0
• what4 lib:what4 >=0.4.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-llvm test:crucible-llvm-tests
• 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