From 15f5b03e7acd0b6f2ccbfede9e3cb922c8e8de39 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 8 May 2025 12:54:42 -0400 Subject: [PATCH 1/2] Require building with Copilot 4.4. Refs #85. --- copilot-verifier/copilot-verifier.cabal | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/copilot-verifier/copilot-verifier.cabal b/copilot-verifier/copilot-verifier.cabal index 7ea6f19..f7151df 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.3 +Version: 4.4 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.3 && < 4.4, - copilot-core >= 4.3 && < 4.4, - copilot-theorem >= 4.3 && < 4.4, + copilot-c99 >= 4.4 && < 4.5, + copilot-core >= 4.4 && < 4.5, + copilot-theorem >= 4.4 && < 4.5, crucible >= 0.7.1 && < 0.8, crucible-llvm >= 0.7 && < 0.8, crux >= 0.7.1 && < 0.8, @@ -80,10 +80,10 @@ library copilot-verifier-examples hs-source-dirs: examples build-depends: case-insensitive, - copilot >= 4.3 && < 4.4, - copilot-language >= 4.3 && < 4.4, - copilot-libraries >= 4.3 && < 4.4, - copilot-prettyprinter >= 4.3 && < 4.4, + copilot >= 4.4 && < 4.5, + copilot-language >= 4.4 && < 4.5, + copilot-libraries >= 4.4 && < 4.5, + copilot-prettyprinter >= 4.4 && < 4.5, copilot-verifier exposed-modules: Copilot.Verifier.Examples From d20fc8f767ec73f5f088387442f39dbda5abb968 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 8 May 2025 12:55:23 -0400 Subject: [PATCH 2/2] Document changes in CHANGELOG. Refs #85. --- copilot-verifier/CHANGELOG | 3 +++ 1 file changed, 3 insertions(+) diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG index b7a6937..2923ff5 100644 --- a/copilot-verifier/CHANGELOG +++ b/copilot-verifier/CHANGELOG @@ -1,3 +1,6 @@ +2025-05-08 + * Version bump (4.4). (#85) + 2025-03-10 * Version bump (4.3). (#82) * Add `smtSolver` option to `VerifierOptions`. (#78)