lib:crux

Modules

• Crux
• Crux.Config
• Crux.Config.Common
• Crux.Config.Doc
• Crux.Config.Load
• Crux.Config.Solver
• Crux.FormatOut
• Crux.Goal
• Crux.Log
• Crux.Loops
• Crux.Model
• Crux.Overrides
• Crux.ProgressBar
• Crux.Report
• Crux.SVCOMP
• Crux.SVCOMP.Witness
• Crux.Types
• Crux.UI.JS
• Crux.Version

Dependencies

• Glob lib:Glob >=0.10 && <0.11
• aeson lib:aeson <2.3
• ansi-terminal lib:ansi-terminal >=0
• async lib:async >=0
• attoparsec lib:attoparsec >=0
• base lib:base >=4 && <5
• bv-sized lib:bv-sized >=1.0.0
• bytestring lib:bytestring >=0
• config-schema lib:config-schema >=1.2.2.0
• config-value lib:config-value >=0
• containers lib:containers >=0
• contravariant lib:contravariant >=1.5 && <1.6
• crucible lib:crucible >=0
• directory lib:directory >=0
• filepath lib:filepath >=0
• generic-lens lib:generic-lens >=0
• lens lib:lens >=0
• libBF lib:libBF >=0.6 && <0.7
• lumberjack lib:lumberjack >=1.0 && <1.1
• parameterized-utils lib:parameterized-utils >=1.0 && <2.2
• prettyprinter lib:prettyprinter >=1.7.0
• raw-strings-qq lib:raw-strings-qq >=0
• semigroupoids lib:semigroupoids >=0
• simple-get-opt lib:simple-get-opt <0.5
• split lib:split >=0.2
• terminal-size lib:terminal-size >=0
• text lib:text >=0
• time lib:time >=1.9 && <2.0
• vector lib:vector >=0.7
• what4 lib:what4 >=0.4.1
• xml lib:xml >=0
• yaml lib:yaml >=0.11 && <0.12

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 lib:crux-llvm
• crux-llvm test:crux-llvm-test