Dependencies for copilot-verifier-4.5
Libraries
copilot-verifier
- aeson (>=1.5 && <2.3)
- base (>=4.8 && <4.20)
- bv-sized (>=1.0.0 && <1.1)
- bytestring
- containers (>=0.5.9.0)
- copilot-c99 (>=4.5 && <4.6)
- copilot-core (>=4.5 && <4.6)
- copilot-theorem (>=4.5 && <4.6)
- crucible (>=0.7.1 && <0.8)
- crucible-llvm (>=0.7 && <0.8)
- crux (>=0.7.1 && <0.8)
- crux-llvm (>=0.9 && <0.10)
- filepath
- lens
- llvm-pretty (>=0.12.1.0 && <0.13)
- mtl
- panic (>=0.3)
- parameterized-utils (>=2.1.4 && <2.2)
- prettyprinter (>=1.7.0)
- text
- transformers
- vector
- what4 (>=1.6.1 && <1.7)
copilot-verifier:copilot-verifier-examples
- aeson (>=1.5 && <2.3)
- base (>=4.8 && <4.20)
- bv-sized (>=1.0.0 && <1.1)
- bytestring
- case-insensitive
- containers (>=0.5.9.0)
- copilot (>=4.5 && <4.6)
- copilot-c99 (>=4.5 && <4.6)
- copilot-core (>=4.5 && <4.6)
- copilot-language (>=4.5 && <4.6)
- copilot-libraries (>=4.5 && <4.6)
- copilot-prettyprinter (>=4.5 && <4.6)
- copilot-theorem (>=4.5 && <4.6)
- copilot-verifier
- crucible (>=0.7.1 && <0.8)
- crucible-llvm (>=0.7 && <0.8)
- crux (>=0.7.1 && <0.8)
- crux-llvm (>=0.9 && <0.10)
- filepath
- lens
- llvm-pretty (>=0.12.1.0 && <0.13)
- mtl
- panic (>=0.3)
- parameterized-utils (>=2.1.4 && <2.2)
- prettyprinter (>=1.7.0)
- text
- transformers
- vector
- what4 (>=1.6.1 && <1.7)
Executables
verify-examples
- aeson (>=1.5 && <2.3)
- base (>=4.8 && <4.20)
- bv-sized (>=1.0.0 && <1.1)
- bytestring
- case-insensitive
- containers (>=0.5.9.0)
- copilot-c99 (>=4.5 && <4.6)
- copilot-core (>=4.5 && <4.6)
- copilot-theorem (>=4.5 && <4.6)
- copilot-verifier
- crucible (>=0.7.1 && <0.8)
- crucible-llvm (>=0.7 && <0.8)
- crux (>=0.7.1 && <0.8)
- crux-llvm (>=0.9 && <0.10)
- filepath
- lens
- llvm-pretty (>=0.12.1.0 && <0.13)
- mtl
- optparse-applicative
- panic (>=0.3)
- parameterized-utils (>=2.1.4 && <2.2)
- prettyprinter (>=1.7.0)
- text
- transformers
- vector
- what4 (>=1.6.1 && <1.7)