copilot-verifier 3.19 → 3.20
raw patch · 3 files changed
+21/−8 lines, 3 filesdep −copilot-librariesdep ~copilotdep ~copilot-c99dep ~copilot-core
Dependencies removed: copilot-libraries
Dependency ranges changed: copilot, copilot-c99, copilot-core, copilot-language, copilot-prettyprinter, copilot-theorem
Files
- CHANGELOG +3/−0
- README.md +11/−0
- copilot-verifier.cabal +7/−8
CHANGELOG view
@@ -1,3 +1,6 @@+2024-07-11+ * Version bump (3.20). (#58)+ 2024-03-08 * Version bump (3.19). (#53) * Provide more detailed feedback upon a successful run of the verifier.
README.md view
@@ -49,6 +49,17 @@ suite. If you have performed all of the steps above correctly, the test suite should pass. +We also provide a [Dockerfile](Dockerfile) which automates the process of+installing Copilot and the verifier. The Dockerfile can be built and run using+the following commands:++```+$ docker build -t <tag> .+$ docker run -it <tag>+```++Where `<tag>` is a unique name for the Docker image.+ ## Using the Copilot Verifier The main interface to the verifier is the `Copilot.Verifier.verify`
copilot-verifier.cabal view
@@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: copilot-verifier-Version: 3.19+Version: 3.20 Author: Galois Inc. Maintainer: rscott@galois.com Copyright: (c) Galois, Inc 2021-2024@@ -45,13 +45,9 @@ bv-sized >= 1.0.0 && < 1.1, bytestring, containers >= 0.5.9.0,- copilot >= 3.19 && < 3.20,- copilot-c99 >= 3.19 && < 3.20,- copilot-core >= 3.19 && < 3.20,- copilot-libraries >= 3.19 && < 3.20,- copilot-language >= 3.19 && < 3.20,- copilot-prettyprinter >= 3.19 && < 3.20,- copilot-theorem >= 3.19 && < 3.20,+ 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,@@ -82,6 +78,9 @@ hs-source-dirs: examples build-depends: case-insensitive,+ copilot >= 3.20 && < 3.21,+ copilot-language >= 3.20 && < 3.21,+ copilot-prettyprinter >= 3.20 && < 3.21, copilot-verifier exposed-modules: Copilot.Verifier.Examples