test:copilot-verifier-test

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
• case-insensitive lib:case-insensitive >=0
• containers lib:containers >=0.5.9.0
• copilot lib:copilot >=3.19 && <3.20
• copilot-c99 lib:copilot-c99 >=3.19 && <3.20
• copilot-core lib:copilot-core >=3.19 && <3.20
• copilot-language lib:copilot-language >=3.19 && <3.20
• copilot-libraries lib:copilot-libraries >=3.19 && <3.20
• copilot-prettyprinter lib:copilot-prettyprinter >=3.19 && <3.20
• copilot-theorem lib:copilot-theorem >=3.19 && <3.20
• copilot-verifier lib:copilot-verifier >=0 && >=0
• copilot-verifier lib:copilot-verifier-examples >=0 && >=0
• 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
• silently lib:silently >=1.2
• tasty lib:tasty >=0.10
• tasty-expected-failure lib:tasty-expected-failure >=0.12
• tasty-hunit lib:tasty-hunit >=0.10
• text lib:text >=0
• transformers lib:transformers >=0
• vector lib:vector >=0
• what4 lib:what4 >=0.4

Reverse dependencies

None.