Dependencies for copilot-verifier-3.20
Libraries
copilot-verifier
- aeson (>=1.5 && <2.3)
- base (>=4.8 && <4.18)
- bv-sized (>=1.0.0 && <1.1)
- bytestring
- containers (>=0.5.9.0)
- copilot-c99 (>=3.20 && <3.21)
- copilot-core (>=3.20 && <3.21)
- copilot-theorem (>=3.20 && <3.21)
- crucible (>=0.7 && <0.8)
- crucible-llvm (>=0.6 && <0.7)
- crux (>=0.7 && <0.8)
- crux-llvm (>=0.8 && <0.9)
- filepath
- lens
- llvm-pretty
- mtl
- panic (>=0.3)
- parameterized-utils (>=2.1.4 && <2.2)
- prettyprinter (>=1.7.0)
- text
- transformers
- vector
- what4 (>=0.4)
copilot-verifier:copilot-verifier-examples
- aeson (>=1.5 && <2.3)
- base (>=4.8 && <4.18)
- bv-sized (>=1.0.0 && <1.1)
- bytestring
- case-insensitive
- containers (>=0.5.9.0)
- copilot (>=3.20 && <3.21)
- copilot-c99 (>=3.20 && <3.21)
- copilot-core (>=3.20 && <3.21)
- copilot-language (>=3.20 && <3.21)
- copilot-prettyprinter (>=3.20 && <3.21)
- copilot-theorem (>=3.20 && <3.21)
- copilot-verifier
- crucible (>=0.7 && <0.8)
- crucible-llvm (>=0.6 && <0.7)
- crux (>=0.7 && <0.8)
- crux-llvm (>=0.8 && <0.9)
- filepath
- lens
- llvm-pretty
- mtl
- panic (>=0.3)
- parameterized-utils (>=2.1.4 && <2.2)
- prettyprinter (>=1.7.0)
- text
- transformers
- vector
- what4 (>=0.4)
Executables
verify-examples
- aeson (>=1.5 && <2.3)
- base (>=4.8 && <4.18)
- bv-sized (>=1.0.0 && <1.1)
- bytestring
- case-insensitive
- containers (>=0.5.9.0)
- copilot-c99 (>=3.20 && <3.21)
- copilot-core (>=3.20 && <3.21)
- copilot-theorem (>=3.20 && <3.21)
- copilot-verifier
- crucible (>=0.7 && <0.8)
- crucible-llvm (>=0.6 && <0.7)
- crux (>=0.7 && <0.8)
- crux-llvm (>=0.8 && <0.9)
- filepath
- lens
- llvm-pretty
- mtl
- optparse-applicative
- panic (>=0.3)
- parameterized-utils (>=2.1.4 && <2.2)
- prettyprinter (>=1.7.0)
- text
- transformers
- vector
- what4 (>=0.4)