lib:crux-llvm

Modules

• Crux.LLVM.Compile
• Crux.LLVM.Config
• Crux.LLVM.Log
• Crux.LLVM.Overrides
• Crux.LLVM.Simulate
• CruxLLVMMain
• Paths_crux_llvm

Dependencies

• aeson lib:aeson >=0
• base lib:base >=4.8 && <4.20
• bv-sized lib:bv-sized >=0
• bytestring lib:bytestring >=0
• config-schema lib:config-schema >=1.2.2.0
• containers lib:containers >=0
• crucible lib:crucible >=0
• crucible-llvm lib:crucible-llvm >=0
• crucible-symio lib:crucible-symio >=0
• crux lib:crux >=0
• directory lib:directory >=0
• filepath lib:filepath >=0
• lens lib:lens >=0
• llvm-pretty lib:llvm-pretty >=0
• llvm-pretty-bc-parser lib:llvm-pretty-bc-parser >=0
• logict lib:logict >=0
• mtl lib:mtl >=0
• parameterized-utils lib:parameterized-utils >=0
• prettyprinter lib:prettyprinter >=1.7.0
• process lib:process >=0
• text lib:text >=0
• what4 lib:what4 >=0

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
• crux-llvm exe:crux-llvm
• crux-llvm exe:crux-llvm-for-ide
• crux-llvm exe:crux-llvm-svcomp
• crux-llvm test:crux-llvm-test