The latest version of copilot-verifier is 4.0-0.
lib:copilot-verifier
Modules
Dependencies
- aeson lib:aeson >=1.5 && <2.3
- base lib:base >=4.8 && <4.18
- bv-sized lib:bv-sized >=1.0.0 && <1.1
- bytestring lib:bytestring >=0
- containers lib:containers >=0.5.9.0
- copilot-c99 lib:copilot-c99 >=3.20 && <3.21
- copilot-core lib:copilot-core >=3.20 && <3.21
- copilot-theorem lib:copilot-theorem >=3.20 && <3.21
- crucible lib:crucible >=0.7 && <0.8
- crucible-llvm lib:crucible-llvm >=0.6 && <0.7
- crux lib:crux >=0.7 && <0.8
- crux-llvm lib:crux-llvm >=0.8 && <0.9
- filepath lib:filepath >=0
- lens lib:lens >=0
- llvm-pretty lib:llvm-pretty >=0
- mtl lib:mtl >=0
- panic lib:panic >=0.3
- parameterized-utils lib:parameterized-utils >=2.1.4 && <2.2
- prettyprinter lib:prettyprinter >=1.7.0
- text lib:text >=0
- transformers lib:transformers >=0
- vector lib:vector >=0
- what4 lib:what4 >=0.4
Reverse dependencies
Direct only. Not exhaustive.
- copilot-verifier exe:verify-examples
- copilot-verifier lib:copilot-verifier-examples
- copilot-verifier test:copilot-verifier-test