Package copilot-verifier version 3.20-0 component lib:copilot-verifier-examples :: Monadoc

The latest version of copilot-verifier is 4.1-0.

lib:copilot-verifier-examples

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
case-insensitive lib:case-insensitive >=0
containers lib:containers >=0.5.9.0
copilot lib:copilot >=3.20 && <3.21
copilot-c99 lib:copilot-c99 >=3.20 && <3.21
copilot-core lib:copilot-core >=3.20 && <3.21
copilot-language lib:copilot-language >=3.20 && <3.21
copilot-prettyprinter lib:copilot-prettyprinter >=3.20 && <3.21
copilot-theorem lib:copilot-theorem >=3.20 && <3.21
copilot-verifier lib:copilot-verifier >=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
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 test:copilot-verifier-test