From 201efc1937fda2e0c5d9a81fcc1bfbe35e9e2d5a Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 20 Jan 2025 15:57:55 -0500 Subject: [PATCH 1/2] Require building with Copilot 4.2. Refs #76. --- copilot-verifier/copilot-verifier.cabal | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/copilot-verifier/copilot-verifier.cabal b/copilot-verifier/copilot-verifier.cabal index 51b6ea1..48ca8c5 100644 --- a/copilot-verifier/copilot-verifier.cabal +++ b/copilot-verifier/copilot-verifier.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: copilot-verifier -Version: 4.1 +Version: 4.2 Author: Galois Inc. Maintainer: rscott@galois.com Copyright: (c) Galois, Inc 2021-2024 @@ -45,9 +45,9 @@ common bldflags bv-sized >= 1.0.0 && < 1.1, bytestring, containers >= 0.5.9.0, - copilot-c99 >= 4.1 && < 4.2, - copilot-core >= 4.1 && < 4.2, - copilot-theorem >= 4.1 && < 4.2, + copilot-c99 >= 4.2 && < 4.3, + copilot-core >= 4.2 && < 4.3, + copilot-theorem >= 4.2 && < 4.3, crucible >= 0.7.1 && < 0.8, crucible-llvm >= 0.7 && < 0.8, crux >= 0.7.1 && < 0.8, @@ -78,9 +78,9 @@ library copilot-verifier-examples hs-source-dirs: examples build-depends: case-insensitive, - copilot >= 4.1 && < 4.2, - copilot-language >= 4.1 && < 4.2, - copilot-prettyprinter >= 4.1 && < 4.2, + copilot >= 4.2 && < 4.3, + copilot-language >= 4.2 && < 4.3, + copilot-prettyprinter >= 4.2 && < 4.3, copilot-verifier exposed-modules: Copilot.Verifier.Examples From c355139486ccaea3a534eac6f8aa48f612029d99 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 20 Jan 2025 15:58:41 -0500 Subject: [PATCH 2/2] Document changes in the CHANGELOG. Refs #76. --- copilot-verifier/CHANGELOG | 1 + 1 file changed, 1 insertion(+) diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG index 74f1dc6..09b1f13 100644 --- a/copilot-verifier/CHANGELOG +++ b/copilot-verifier/CHANGELOG @@ -1,4 +1,5 @@ 2025-01-20 + * Version bump (4.2). (#76) * Reject specs that use multiple triggers with the same name. (#74) 2024-11-08