From 19cfb9b5486cee353a8056b08b9c78ba3a1a60f5 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Fri, 8 Nov 2024 09:39:41 -0500 Subject: [PATCH 1/2] Require building with Copilot 4.1. Refs #72. --- 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 d862a44..51b6ea1 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.0 +Version: 4.1 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.0 && < 4.1, - copilot-core >= 4.0 && < 4.1, - copilot-theorem >= 4.0 && < 4.1, + copilot-c99 >= 4.1 && < 4.2, + copilot-core >= 4.1 && < 4.2, + copilot-theorem >= 4.1 && < 4.2, 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.0 && < 4.1, - copilot-language >= 4.0 && < 4.1, - copilot-prettyprinter >= 4.0 && < 4.1, + copilot >= 4.1 && < 4.2, + copilot-language >= 4.1 && < 4.2, + copilot-prettyprinter >= 4.1 && < 4.2, copilot-verifier exposed-modules: Copilot.Verifier.Examples From 073ae58903ab6b617807ad2c130b59cdf37353c9 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Fri, 8 Nov 2024 09:41:23 -0500 Subject: [PATCH 2/2] Document changes in the CHANGELOG. Refs #72. --- copilot-verifier/CHANGELOG | 3 +++ 1 file changed, 3 insertions(+) diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG index b66d619..a5a01b8 100644 --- a/copilot-verifier/CHANGELOG +++ b/copilot-verifier/CHANGELOG @@ -1,3 +1,6 @@ +2024-11-08 + * Version bump (4.1). (#72) + 2024-09-09 * Version bump (4.0). (#69) * Support verifying programs that use array updates. (#63)